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.

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. 

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.

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.

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

What it's like to Work at Succinct

Succinct exists to solve one of the most important problems of the next decade: how do we prove what’s real? Zero-knowledge proofs (ZKPs) are the breakthrough technology that will define trust on the internet for blockchains, enterprises, AI systems, identity, and beyond. But today, ZK is still too complex

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. The latest version of the SP1 Hypercube zkVM proves 99.7% of L1 Ethereum blocks on 16 NVIDIA RTX 5090 GPUs under 12s, and

Meet Succinct’s First Employee: Kevin Jue on Impact, Crypto, and Zero-Knowledge

What It Was Like to Join Succinct as One of the First Employees We interviewed Kevin Jue, the first employee at Succinct on why he believed in Succinct and what his experience has been like since inception. From employee #1 to now a global company, he shares insights on past,

Interviewing at Succinct

Last updated November 2025 Our Process Our hiring process is designed to give every candidate the opportunity to show the best version of themselves. We’re thoughtful and thorough in our assessments, and we know the process can feel demanding at times. We genuinely appreciate your time and consideration, and

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

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

Mantle Upgrades to OP Succinct on Mainnet, Creating the World’s Largest ZK Rollup

Last year, Mantle Network announced its plan to adopt OP Succinct and transition into a ZK rollup. With today’s mainnet upgrade, the journey is complete: Mantle is now the world’s largest ZK rollup by TVL, with over $2 billion secured by Succinct’s technology. From day one, we’

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

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

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.

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

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

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

The Succinct Testnet Stage 2 is Live

We’re announcing Stage 2: Prove with Us, the next step of the Succinct Prover Network roadmap. Following an extremely successful Stage 1 launch which educated our community and onboarded thousands onto ZK with engaging games, Stage 2 puts you in the prover's seat. Participants in Stage 2

SP1 Is Bitcoin Ready: The Era of ZK on Bitcoin Has Begun

Succinct and BitVM are powering native zero-knowledge proof verification on Bitcoin. Digital gold is more programmable and extensible than ever. BitVM is a computing paradigm that expresses Turing-complete Bitcoin contracts. It requires no changes to Bitcoin’s consensus rules: instead of executing computations on Bitcoin, BitVM simply verifies them.  Succinct

vApps: Verifiable Applications at Internet Scale

We’re introducing a new development paradigm called vApps, or verifiable applications, in partnership with LayerZero. vApps allow you to build applications that give users web3-level security and transparency with a familiar web2 developer experience. We know that dApp developers are tired of the constraints they face today. They’re

Succinct Unites 120 Cosmos Chains with Ethereum

Last week, the Interchain Labs launched IBC Eureka: the official deployment of IBC v2 along with the canonical bridge between Cosmos and Ethereum. Under the hood, IBC Eureka’s bridge to Ethereum is powered by the Succinct Prover Network and SP1, enabling affordable IBC transactions with zero-knowledge proofs. Succinct is

Introducing SP1-2FA: Adding a Second Layer of Security to zkVMs with TEEs

Today, we’re announcing SP1-2FA, the newest feature on the Succinct Prover Network that adds a second layer of protection to SP1 through Trusted Execution Environments (TEEs). This advancement furthers our vision for building the best zkVM for developers, building on the recent performance improvements from SP1 Turbo and the

Tales from the Hacker House: Building an Attested Image Editor

Saul and Pablo built an in-browser attested image editor with SP1 at Upgrade the Internet, a hacker house hosted by Succinct, Celestia, and Conduit at ETHDenver. In this post, we cover their motivation for building this project, the technical challenges they faced, and the details of their implementation. Image provenance