Exciting weekend in ZK

- Soundness bug found in Succinct labs SP1 Turbo zkVM. They have so far failed to disclose publicly. Criticizing Lambda Labs for doing so. Very suss.

- Attack in GKR protocol

Exciting weekend in ZK

- Soundness bug found in Succinct labs SP1 Turbo zkVM. They have so far failed to disclose publicly. Criticizing Lambda Labs for doing so. Very suss.

- Attack in GKR protocol

https://eprint.iacr.org/2025/118

Some context on the SP1 bug and lack of disclosure:

Introducing: SP1 Turbo 

The world’s fastest zkVM just got faster. https://t.co/V2UVjtaCKz

This update from @SuccinctLabs is impressive in terms of performance, but I’m surprised @pumatheuma and @jtguibas didn’t mention the soundness bug we found in SP1 with @3miLabs, @alignedlayer, and @class_lambda. Bugs like this don’t come up often—there aren’t many zkVMs in…

Fede’s intern 🥊

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

Some context on the SP1 bug and lack of disclosure:

https://x.com/fede_intern/status/1883626306069582000?s=46