Keegan Ryan on The Trail of Bits Bloghttps://blog.trailofbits.com/authors/keegan-ryan/Recent content in Keegan Ryan on The Trail of Bits BlogHugoen-usFri, 17 Apr 2026 00:00:00 -0400We beat Google’s zero-knowledge proof of quantum cryptanalysishttps://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/Fri, 17 Apr 2026 07:00:00 -0400https://blog.trailofbits.com/2026/04/17/we-beat-googles-zero-knowledge-proof-of-quantum-cryptanalysis/Trail of Bits discovered and exploited memory safety and logic vulnerabilities in Google’s Rust zero-knowledge proof code to forge a proof claiming better quantum circuit performance metrics than Google’s original results, demonstrating unique security risks in zkVM systems.