highLogic errorOther
Brevis Pico ZKVM: Quotient domain is completely controlled by prover
- Payout
- $0
- Protocol
- Brevis Pico ZKVM
- Disclosed
- Sep 29, 2025
- Source
- sherlock
Brevis Pico's ZK verifier trusts a prover-supplied value for the size of its FRI quotient domains instead of deriving it from each chip's trace length, as the reference SP1 verifier does. A malicious prover can set the log quotient degree to zero, shrinking th …
Similar reports
- No close matches yet.
References
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.