F-2026-0011·design-flaw

Fairness 'Verifier' can produce 'Verification Successful' for games that never occurred

Fixedpentesttypescriptbackend
TL;DR

The user-facing Fairness Verifier produced 'Verification Successful' results for arbitrary (serverSeed, clientSeed, nonce) inputs that were never bound to a real game history, undermining the verifier's credibility.

Severity
LOW
Impact
LOW
Likelihood
MEDIUM
Method
MManual review
CAT.
Complexity
LOW
Exploitability
MEDIUM
02Section · Description

Description

The Verifier tool accepted any (serverSeed, clientSeed, nonce) input and ran the outcome-derivation, reporting "Verification Successful" whenever the inputs were syntactically valid. It did not check that the inputs corresponded to a real game in the user's history, so synthetic inputs produced a misleadingly positive verification result.

03Section · Impact

Impact

Verifier output cannot be relied upon as proof that a specific game was fair, only that the inputs are mathematically self-consistent. Trust in the public verification surface is weakened.

04Section · Recommendation

Recommendation

Bind verification results to game IDs the platform records. The Verifier should fetch the recorded (serverSeedHash, clientSeed, nonce) for a game ID and check the user-supplied serverSeed against the recorded hash, instead of accepting freeform inputs.

Fair Casino: Fixed. Zealynx: Verified.

Status
Fixed
F-2026-0011