We beat Google’s zero-knowledge proof of quantum cryptanalysis
blog.trailofbits.com | blog | #web3 | #vulnerability-research | #memory-safety | #cryptography | #vulnerabilities | #zero-knowledge | #google | #trail-of-bits | #zkvm
Summary
Trail of Bits forged a zero-knowledge proof beating Google's quantum cryptanalysis results by exploiting memory safety and logic bugs in its Rust zkVM prover code, demonstrating zkVM security risks.
- Published
- Collected
Skip to content