Skip to content
Unfaithful claims: breaking 6 zkVMs
osec.io | blog | #web3 | #vulnerability-research | #cryptography | #vulnerability | #zero-knowledge | #zkvm | #fiat-shamir | #soundness
Summary
OtterSec breaks soundness in six zkVMs — Jolt, Nexus, Cairo-M, Ceno, Expander, Binius64 — where unbound prover values let attackers prove false statements after seeing Fiat-Shamir challenges.
- Published
- Collected