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

Lobsters·51 points·sarciszewski·6 months ago·blog.trailofbits.com

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…

Read the full article at blog.trailofbits.com →

Related stories

Related topics