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
Succinct in 2025: Delivering Our Promise to Scale Ethereum
Succinct Joins C2PA to Advance Content Authenticity Standards
SP1 Hypercube Achieves Real Time Proving with 16 GPUs
Recent Posts
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 also like to
Continue Reading
Upgrading the Succinct Prover Network: Private Proving Is Here
Succinct is taking privacy mainstream with a new product: Succinct Private Proving. Proofs can now be generated inside a TEE, combining the power of the Succinct Prover Network with privacy guarantees. Any application can have privacy from day one, enabling a new generation of applications. Use cases include private payments
Continue Reading
Succinct Inks One-Year Exclusive with Tandem by Offchain Labs, Unlocking ZK for the Arbitrum ecosystem
Succinct has entered a one-year exclusive strategic partnership with Tandem, the venture arm of Offchain Labs, to enable ZK proving of Arbitrum chains. This partnership reinforces Succinct’s leadership in ZK and marks a major milestone for the Succinct Prover Network. Succinct is driving the verifiable computing paradigm From the
Continue Reading
Introducing SP1-CC: Unleashing the Full Power of the EVM
Succinct is supercharging the EVM with a new ZK primitive: SP1-Contract-Call (SP1-CC). With SP1-CC, developers get a ZK coprocessor that makes Ethereum more feature complete and programmable than ever, exceeding the limitations of the EVM. The EVM is the most widely adopted smart contract platform, securing over $100B in assets
Continue Reading
Introducing Stage 2.5: The Provers are Coming Online
Stage 2.5 is here — and with it, a major expansion of the Succinct Prover Network. We’re onboarding some of the best hardware teams in zero-knowledge proofs to help create the world’s most efficient and robust proving cluster. These teams will bring cutting-edge infrastructure and experience to the
Continue Reading
FPGA Acceleration of SP1 with AntChain OpenLabs
We’re excited to announce the development of FPGA acceleration for SP1 in collaboration with AntChain OpenLabs. AntChain, a subsidiary of Ant Digital Technologies (incubated from Ant Group) and an affiliate of Chinese multi-national Ant Group and Alibaba Group, has managed to improve SP1’s performance by 20x v.s.
Continue Reading
Using Lean to Formally Verify the Correctness of SP1
Today, we’re sharing progress on formally verifying the correctness of SP1 in collaboration with Nethermind, experts in formal methods with a strong focus on enhancing the security of zero-knowledge proofs. Last week, we announced our work on using formal verification tools to prove the determinism of SP1. While determinism
Continue Reading
SP1 Hypercube: Proving Ethereum in Real-Time
We’re excited to introduce SP1 Hypercube, our next generation zkVM, that delivers real-time proving for Ethereum. SP1 Hypercube is built from the ground up with a brand new proof system architected with multilinear polynomials. It achieves state of the art results in latency and cost, up to 5x better
Continue Reading
Formal Verification of SP1 with Picus
Today, we’re excited to share a progress update on our formal verification efforts for SP1, developed in collaboration with Veridise, a leading firm in zero-knowledge security auditing. Formal verification plays a critical role in establishing mathematical guarantees about SP1’s behavior. This work complements our multi-layered approach to SP1
Continue Reading
1
→