The _verify_proof function lacks a visibility modifier.
Vyper requires explicit visibility modifiers (@internal, @external).
_verify_proof should be marked as @internal.
Tool Used
Manual review
Functions may be misused if not properly restricted.
Add modifiers
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.