How Close Can Proving Get to Computing? Introducing Flock
Introducing Flock: a new SNARK for proving batches of standard hash functions at just 250× the cost of computing them natively.
Continue Reading
How Close Can Proving Get to Computing? Introducing Flock
An Experiment in Formal Verification with Claude
Introducing Confidential Transactions to OP Succinct
VEIL: Adding Zero-Knowledge to Hash-based Proof Systems
Recent Posts
An Experiment in Formal Verification with Claude
Written by Rahul Dalal A few weeks ago, we announced VEIL, a compiler that adds zero-knowledge to hash-based multilinear proof systems with only ~3% prover overhead. The compiler relies on thirty pages of new cryptographic arguments that have not been peer-reviewed yet. As an additional check, we
Continue Reading
Introducing Confidential Transactions to OP Succinct
OP Succinct now supports data confidentiality, letting chains keep transaction data private while still settling to Ethereum. Polygon CDK is the first production-ready implementation to use this feature, letting institutions keep customer data private without fragmenting liquidity.
Continue Reading
Base Adds ZK Proofs to Base Azul with SP1
Base is partnering with Succinct to prove $7.4 billion in deposits with zero-knowledge proofs.
Continue Reading
VEIL: Adding Zero-Knowledge to Hash-based Proof Systems
VEIL adds zero-knowledge to hash-based proof systems with only a 3% increase in prover time.
Continue Reading
Introducing ZCAM: A Cryptographic Camera to Prove What's Real
Using cryptography to restore authenticity on the internet in the age of AI
Continue Reading
What Google's Quantum Paper Means for Crypto
Google Quantum AI paper reveals the quantum threat to blockchain is decades closer than expected. Here are four takeaways the industry needs to know.
Continue Reading
Google Uses SP1 to Prove Quantum Security Threat
Google generated a zero-knowledge proof using SP1 to prove the existence of a major quantum breakthrough, without revealing the exploit.
Continue Reading
Seeing Is Not Believing: Benchmarking AI Image Detectors
Succinct Labs tested 7 leading AI image detectors using AdversIm, a benchmark of 15,630 images. Simple post-processing broke every one.
Continue Reading
SP1 Hypercube Is Now Live on Mainnet
SP1 Hypercube is the most advanced, secure, and trusted zkVM in production. Built by the first team to prove Ethereum in real time.
Continue Reading
Optimism Chooses Succinct to Bring ZK to the Superchain
OP Succinct will become a preferred ZK proving solution for OP Stack rollups. As part of this partnership, Optimism's flagship chain, OP Mainnet, will integrate OP Succinct, making it one of the largest rollups to transition to ZK proving.
Continue Reading
Succinct in 2025: Delivering Our Promise to Scale Ethereum
In 2025, Succinct’s biggest milestones included real-time proving Ethereum, bringing ZK proofs to major rollup stacks like Optimism, Arbitrum, and Polygon, launching the Prover Network and $PROVE, and scaling Ethereum with new ecosystem partners.
Continue Reading
Succinct Joins C2PA to Advance Content Authenticity Standards
Succinct is pleased to announce that we have joined the Coalition for Content Provenance and Authenticity (C2PA), alongside organizations such as Google, OpenAI and other global technology leaders. C2PA’s mission is to establish open technical standards that enable transparent, trustworthy digital contents across the internet. As the volume of
Continue Reading
SP1 Hypercube Achieves Real Time Proving with 16 GPUs
Succinct is the first team to achieve real-time proving with 16 GPUs, a breakthrough towards the Ethereum Foundation’s goal of introducing zkEVM to the L1.
Continue Reading
Formal Verification of SP1 Hypercube
We are happy to announce that the Nethermind Security Formal Verification team and Succinct Labs have joined forces to formally verify the correctness of all of the core RV-64 chips from SP1 Hypercube (https://blog.succinct.xyz/sp1-hypercube/) RISC-V zkVM in the Lean proof assistant. We would
Continue Reading
1
→