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
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’
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
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
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
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
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
Our updated performance benchmarks for SP1’s latest production-ready release (v1.1.1). Experience unparalleled performance with our new GPU prover. TL;DR: SP1’s new GPU prover achieves state of the art performance, with the cheapest cloud costs vs. alternative zkVMs by up to 10x, across a diverse
