I have to say, publishing results as zero knowledge proof does have one benefit: it tricks security researchers into learning about quantum circuits. This is some amazing work!

We beat Google’s 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.




