Awesome to see @Google using SP1 to generate a ZK proof of the quantum circuit at the heart of their Shor’s algorithm attack on ECDSA. Beyond the landmark quantum result itself, this is a genuinely novel application of ZK, one that we should expect to see a lot more of. ZK lets you prove that you know a protocol is insecure without revealing the underlying attack. This opens up a new paradigm, “ZK disclosure”, whereby frontier labs can surface dangerous vulnerabilities without handing a loaded weapon to the world. Quantum computing is a great first use case, but the same logic applies wherever there is a gap between “proving something is broken” and “responsibly sharing the proof”. This includes AI alignment, zero-day exploits in critical infrastructure, and biosecurity. Exciting times for ZK and cryptography more broadly!

Some great work from the @SuccinctLabs team benchmarking and breaking the leading AI image detectors! Image generation models like Nano Banana and Grok have made it possible to generate photorealistic images at mass scale. Just like adversarial examples became commonplace with the advent of GANs, this study shows that simple edits to AI generated images, such as blurring and noise, can fool even the most sophisticated detectors. This suggests the need for an end-to-end solution to the deepfake problem that doesn't rely on a "cat and mouse" game between attacker and defender. That solution is to use cryptography to establish truth at point of capture. In short, to Prove What's Real.