Trail of Bits successfully exploited vulnerabilities in Google's Rust-based zero-knowledge proof system to create a forged proof that outperforms Google's original quantum cryptanalysis benchmarks. Their forged proof reduced total operations from 17M to 8.3M and eliminated Toffoli gates entirely while maintaining cryptographic validity. This demonstrates how implementation flaws in zero-knowledge systems can create attack surfaces even when the underlying cryptography remains sound.
Background
Zero-knowledge proofs allow one party to prove they know a value without revealing the value itself, and are increasingly used in cryptographic systems. Google recently published a proof claiming quantum computers could break elliptic curve cryptography in minutes using optimized quantum circuits.
- Source
- Lobsters
- Published
- Apr 17, 2026 at 09:49 PM
- Score
- 8.0 / 10