Loading HuntDB...

Race Condition Enables Bypassing Verification Check

High
T
Tools for Humanity
Submitted None

Team Summary

Official summary from Tools for Humanity

A race condition was discovered in the WorldID platform that could enable bypassing the verification check limits under certain conditions. The issue resided in the enforcement of maximum allowed verifications, which was not properly synchronized across parallel requests to the cloud backend service. The fix implemented enforcement of the maximum verifications in the database, making it the source of truth for state. This ensures that only one successful request per nullifier use can occur, even if parallel requests are attempted simultaneously. The vulnerability only affected certain cloud-backed verification flows, not on-chain WorldID applications.

Reported by toormund

Report Details

Additional information and metadata

State

Closed

Substate

Resolved

Bounty

$3000.00

Submitted

Weakness

Concurrent Execution using Shared Resource with Improper Synchronization ('Race Condition')