fix: enforce end-of-transcript validation in WhirR1CS verifier [F]#355

Open

Bisht13 wants to merge 1 commit intov1from

px/fix-eof-validation

Collaborator

Bisht13 commented Mar 20, 2026 •

edited

Loading

Summary

Calls VerifierState::check_eof at the end of WhirR1CSScheme::verify to reject proofs with unparsed trailing bytes in narg_string or hints
Addresses audit Issue F: missing end-of-transcript validation causes proof malleability

Test plan

cargo check -p provekit-verifier passes


          fix: enforce end-of-transcript validation in WhirR1CS verifier [F]

391735e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet