highLogic errorOther
Brevis Pico ZKVM: read_write chip does not enforce constraints on opcode selectors
- Payout
- $0
- Protocol
- Brevis Pico ZKVM
- Disclosed
- Sep 29, 2025
- Source
- sherlock
Brevis Pico is a zero-knowledge virtual machine whose RISC-V instruction execution is verified by lookup chips. In the read_write chip, the memory-access lookup commits only to the opcode and the a/b/c operand registers while leaving the opcode-selector flags …
Similar reports
- No close matches yet.
References
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.