We beat Google’s zero-knowledge proof of quantum cryptanalysis

Trail of Bits published a zero-knowledge proof that significantly improves Google Quantum AI's quantum cryptanalysis work, reducing operation count from 17M to 8.3M and eliminating the Toffoli gate requirement entirely. The improvement exploits subtle memory safety and logic vulnerabilities in Google's Rust zkVM implementation, which Google has since patched. The research highlights the unique attack surface introduced by zero-knowledge proof systems in cryptographic verification.