Succinct is on the front line of the “CLOB Wars” — a battle to reshape how crypto exchanges are built. Our friends at Hibachi have fired the opening salvo. With ZK proofs from Succinct and encrypted data on Celestia, they’ve built a blazing-fast perps exchange where user balances and positions
Katana is a new DeFi-first L2 that is built for real yield and deep liquidity. With Succinct’s validity proofs at its core, Katana will achieve fast finality, strong security, and seamless interop with the Agglayer. ZK is going mainstream. When we launched OP Succinct in September, we gave every
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.
Today, we’re launching a revamped version of the Succinct Prover Network explorer. Look through proofs, find trends, and track provers in the network. The new explorer, with a beautiful design, puts a wealth of information at your fingertips and makes it easier than ever to get insights about the
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
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
Succinct is building a protocol on Ethereum that coordinates a distributed network of provers to generate zero knowledge proofs for any piece of software. This protocol creates a two-sided marketplace between provers and requesters, enabling anyone to receive proofs for applications such as blockchains, bridges, AI agents, games, and more.
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
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
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
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
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
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
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
We’ve created a “Lite” version of OP Succinct that unlocks ZK fraud proofs. This gives OP Stack rollups a powerful new option for exploring the world of ZK. In September, we released OP Succinct, our approach to validity proofs on the OP Stack. Fundamentally, we gave every OP Stack
At the Succinct ZK Residency, Herodotus developer Pia Park contributed to building hdp-sp1, a ZK-coprocessor that allows you to easily access verified onchain data with SP1. In this interview, we speak with Pia about her developer experience, her motivation for building this project, and her time at the residency. Q:
The Succinct Prover Network is a protocol on Ethereum that coordinates a decentralized network of provers to increase the world’s proving capacity. Read more here. We’re excited to announce Level 1: Crisis of Trust, Succinct’s first testnet program. Starting February 10th, 2025, participants in Level 1: Crisis
TL;DR There were two vulnerabilities found in SP1 V3, one found by Aligned, LambdaClass, and 3MI Labs and one found by Succinct. There was also one vulnerability found in Plonky3, a critical dependency of SP1, by Lev Soukhanov and Onur Kilic. We sincerely thank these researchers for reporting these
SP1 Turbo (v4.0.0) is the latest upgrade to SP1 and offers significant cost and latency improvements. SP1 Turbo is a blazing fast zkVM with best-in-class performance for a variety of ZK workloads–including rollups (zkEVMs), light clients, signature verification and other blockchain computations. * SP1 Turbo offers the fastest
Galxe Quests are beloved in the blockchain space for providing delightful experiences that connect projects with users. Galxe is partnering with Succinct to bring the verifiability of ZK to all raffles. Galxe’s ZK raffle uses a drand oracle, which provides onchain random numbers, in conjunction with SP1 to allow
Phala Network is the leading TEE network, pioneering the future of verifiable AI agents. We are proud to support Phala as they launch the first OP Succinct rollup on mainnet. Frontier crypto and AI applications like Phala are using ZK rollups powered by Succinct. Phala’s ZK rollup settles payments
Mantle, a leading optimistic L2 with over $2.2B TVL, is partnering with Succinct to transform into a ZK rollup with SP1 and Succinct’s upcoming prover network. Mantle, a leading optimistic rollup with over $2.2B TVL, is transitioning to a ZK-rollup using Succinct’s market-leading zkEVM framework. This
Bringing Scalable, Zero-Knowledge Proofs to the Solana Ecosystem TL;DR: Our blazing fast zkVM SP1 now has a Solana verifier. Developers who want to use ZKPs on Solana for scalability (network extensions or large-scale ZK coprocessing) and privacy use cases (verifiable credentials, ZK KYC, confidential AMMs) can now easily use
By Cairo / Succinct Residency 2024 The Ethereum Virtual Machine (EVM) is the computational heart of Ethereum. It enables developers to build decentralized applications accessible to anyone. One of the upcoming EVM updates is transformational: the EVM Object Format (EOF) upgrade introduces a series of improvements to the stack, control flow,