Pinned
Base is partnering with Succinct to bring zero-knowledge proofs to Base Azul.
SP1 will prove $7.4 billion in deposits as @base joins a growing list of major L2s adding validity proofs to their roadmap with Succinct.
00:00
Succinct
13.3K posts
Succinct
@SuccinctLabs
Prove what's real
- The Beryl upgrade advances our work to bring ZK proving to @base. The upgrade reduces withdrawal times from Base to Ethereum from 7 days to 5 through any single proof pathway. When TEE and ZK proofs are paired together in a multiproof path, withdrawals are just 1 day.Base adopted ZK proving in May, joining Optimism, Mantle, and Katana in adopting Succinct's SP1 prover. As of today, Succinct secures over $10B in digital assets across major L2s.Base is partnering with Succinct to bring zero-knowledge proofs to Base Azul. SP1 will prove $7.4 billion in deposits as @base joins a growing list of major L2s adding validity proofs to their roadmap with Succinct.00:00
- Succinct's Head of Cryptography, @tamirhemo, joins @QuantumFDN and @AlgoFoundation to discuss the future of our industry in a post-quantum era.Is Crypto Ready for Quantum? x.com/i/broadcasts/1…Google's paper on the quantum threat to crypto kicked off a flurry of conversation. Our 4 key takeaways are: → Quantum risk is a near-term problem → The attack surface is huge → SP1 can be used for responsible disclosure → The PQC migration clock has started
- Succinct reposted
The $2.2M Aztec Connect exploit is a good occasion to explain how OP-Succinct handles the proof-vs-settlement boundary: The Aztec Connect exploit stemmed from a settlement-boundary bug. The validity proof accepted a batch of transactions, but the RollupProcessorV3 L1 contractAn update to the Aztec Connect incident from June 14 2026: aztec-labs.com/blog/aztec-con… - Succinct is bringing ZK to @arbitrum, cutting the asset withdrawal window from 7 days to just minutes using ZK proofs. With Arbitrum, Succinct's addressable Total Value Secured will reach $21B alongside Base, Optimism, Polygon, and other L2s.In Arbitrum’s multiprover architecture, Succinct’s validity proofs will work alongside fraud proofs and TEEs to unlock: → Improved capital efficiency down from days to minutes → Stronger security from multi-prover assurance → Protocol-level privacy for sensitive dataLast year, we began working with Offchain to develop ZK proving for Arbitrum. You can learn more about our joint efforts here 👇ZK is coming to Arbitrum. Succinct is teaming up with Tandem, the venture studio of @offchain, for a one-year exclusive strategic partnership to enable ZK proving of Arbitrum chains — a major vote of confidence in the Succinct Prover Network.
00:00 - Succinct is the default ZK prover for Base, OP Stack chains, and soon, Arbitrum. Once all major rollups transition to ZK, Succinct will prove 90% of all rollup capital. The Ethereum ecosystem is consolidating around ZK and Succinct.
00:00Succinct’s SP1 is production-ready for any rollups that need faster withdrawals and cryptographic security. Get in touch: - Migrating Ethereum to post-quantum security is a herculean task. That's why we released VEIL, a new compiler. Succinct's SP1 — the protocol Google used for generating ZK proofs — relies on a Groth16 wrapper. VEIL swaps the elliptic-curve dependency for a PQS hash-based one.Today a crazy quantum story just got wilder. On March 31, the Google Quantum AI team published a landmark result on Shor's algorithm for elliptic curve cryptography. Technically, the paper was a bombshell: a dramatic 10x improvement over the state-of-the-art. As a stunt andRead how Succinct is preparing for a post-quantum world with VEIL 👇
- With the Azul upgrade, the Base network is now secured by validity proofs through Succinct’s SP1. Base joins Optimism, Katana, and Mantle in adopting ZK proofs, bringing SP1’s total value secured to $13.5 billion.
00:00Succinct’s focus on security and speed make SP1 the most widely used zkVM in production across major rollups, bridges, DA layers, and exchanges. Get in touch to bring speed, security, and privacy to your product with ZK proofs: forms.gle/BgjraLWDSNy2xm…
- Succinct reposted
Today, Celo upgraded its OP-Succinct Lite implementation on mainnet to use SP1 Hypercube from @SuccinctLabs SP1 Hypercube introduces a new proving architecture that reduces proof latency and improves efficiency, further strengthening Celo's zk fault-proof infrastructure
00:00 - Succinct is bringing zero-knowledge proofs to @base. The upcoming Azul upgrade will use SP1 to prove every transaction on the network. Succinct will soon secure over $10 billion across major rollups, making SP1 the most widely deployed zkVM in production.
Ahead of the Azul upgrade, sharing the architecture behind one of its headline changes: multiproofs on Base. Combining TEE and ZK provers unlocks faster withdrawals, security-in-depth, and meets a key technical requirement for Stage 2 decentralization.Read more on how Base integrates SP1 for faster finality and cryptographic security: - AI content is indistinguishable from reality. That's why OpenAI is watermarking its images and adopting C2PA so platforms can flag AI-generated content. But there’s one line that stands out to us, "No single provenance technique is enough." Here's what we're doing about it ↓
- Cryptographers at Succinct experimented with AI to formally verify VEIL, our newly introduced ZK compiler. Our findings echo Vitalik's – formal verification, paired with software verification, builds confidence in cryptographic systems. AI can do this work much faster.Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…We recently announced VEIL, a compiler that adds zero-knowledge to hash-based multilinear proof systems. As an additional check, we used Anthropic’s Claude to formalize VEIL’s main theorems in the Lean 4 theorem prover. Read how we did it:
