Succinct (@SuccinctLabs) / X

Succinct

13.3K posts

Succinct

@SuccinctLabs

Prove what's real

San Francisco

linktr.ee/succinctlabs

Joined August 2022

Pinned
Succinct
@SuccinctLabs
Apr 23
Today, we're launching ZCAM, an iPhone camera app to Prove What’s Real. ZCAM cryptographically signs photos and videos at the moment of capture. Anyone can independently verify the content came from a real device and hasn't been altered or AI-generated.
00:00
128K
Succinct
@SuccinctLabs
Jun 4
Replying to @SuccinctLabs
Succinct’s SP1 is production-ready for any rollups that need faster withdrawals and cryptographic security. Get in touch:
docs.google.com
Partner with Succinct
Let us know what you are interested in building with SP1, this is intended for developers not testnet users.
1.6K
Succinct
@SuccinctLabs
Jun 4
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:00
4.1K
Succinct
@SuccinctLabs
Jun 3
Replying to @SuccinctLabs
Read how Succinct is preparing for a post-quantum world with VEIL 👇
Succinct
@SuccinctLabs
May 1
Article
VEIL: Adding Zero-Knowledge to Hash-based Proof Systems
We built VEIL, a compiler that adds zero-knowledge to hash-based proof systems with only ~3% overhead. This removes another dependency on elliptic curve cryptography, putting proof systems like SP1 on...
1.9K
Succinct
@SuccinctLabs
Jun 3
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.
Justin Drake
@drakefjustin
Jun 2
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 and
11K
Succinct
@SuccinctLabs
May 28
Replying to @SuccinctLabs
Succinct’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…
1.5K
Succinct
@SuccinctLabs
May 28
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:00
00:01
Base
@base
May 28
Base Azul is officially live on mainnet This upgrade makes Base even faster and more secure Making it ready to be the home of global finance
7.7K
Succinct reposted
Celo
@Celo
May 26
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
12K
Succinct
@SuccinctLabs
May 22
Replying to @SuccinctLabs
Read more on how Base integrates SP1 for faster finality and cryptographic security:
Succinct
@SuccinctLabs
May 4
Article
Base Adds ZK Proofs to Base Azul with SP1
Today, we're announcing that Base is partnering with Succinct to bring zero-knowledge proofs to the Base chain. Base’s Azul upgrade will use SP1 to prove $7.4 billion in deposits. This is a defining...
2.5K
Succinct
@SuccinctLabs
May 22
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.
Base Build
@buildonbase
May 21
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.
10K
Succinct
@SuccinctLabs
May 21
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 ↓
OpenAI
@OpenAI
May 19
We’re adding new ways for people to identify AI-generated images and understand where they came from. In addition to C2PA Content Credentials, images now also contain a SynthID watermark, and can be identified using a public verification tool to check whether an image was made
8.7K
Succinct
@SuccinctLabs
May 20
Replying to @SuccinctLabs
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:
An Experiment in Formal Verification with Claude
From blog.succinct.xyz
3.7K
Succinct
@SuccinctLabs
May 20
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.
vitalik.eth
@VitalikButerin
May 18
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…
11K