We're bringing ZK to the Arbitrum ecosystem with Succinct. Today we're unveiling Tandem's partnership with Succinct, enabling faster capital movement and simpler integration for developers through the power of modular ZK provers. 🧵

No rollup will remain unproven

This is pretty cool! hashing into the elliptic curve group is a non-trivial cost in current SP1 proving so this can give a nice improvement

Changing a diaper on a plane was way nicer than I thought it’d be

This is the future of zkVMs! Basic blocks are basically circuits, and zkVMs can take advantage of it at compile time. The portability of VMs with the performance of custom circuits is really the best of both worlds

Whenever I explain ZK to cyber experts of the non-blockchain world, I always take a moment to say that ZK is usable today thanks to huge capital inflow into R&D made by the blockchain industry. If blockchain didn't do it – ZK would still be theoretical or hardly ever usable.

We are delighted to announce that the Nethermind Security Formal Verification team, led by Petar Maksimović | Nethermind, in tandem with Succinct, and with generous support from Ethereum Foundation, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in

Two months after the launch of the trustless Bitcoin vault whitepaper, Babylon has built a PoC that allow native BTC to be used trustlessly as collateral to borrow on Ethereum for the first time. This morning, we will live report on our first end-to-end experiments on

Happy to see this come to life

Super proud of the SP1 team for the integration work. Using existing compiler infrastructure to run untrusted code safely is easily enabled by the universality of the zkVM

Luckily we were paranoid and already on it

Great work by Angus and Ben Diamond! Agree with what’s said below, as an industry we should move to proven regimes

This seems cool 👀

Statement regarding recent results about proximity gaps tl;dr: no change in security of SP1 Turbo As discussed yesterday by many on the timeline, a new work by Gruen and Diamond affects the security parameters of FRI-based provers. This result has been disclosed to us privately

Sitting on the shoulders of giants, I am glad to announce the following paper with Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, and Shubhangi Saraf: eccc.weizmann.ac.il/report/2025/16… On the one hand, we improve the existing decoder analysis from Ben-Sasson, Carmon, Ishai, Kopparty and

Irreducible had a long lasting impact on ZK research and engineering Huge respect for Jim Posen, and Radisav Cojbasic and the whole team