SP1 Integrates NVIDIA cuPQC to Optimize Proving with NVIDIA Accelerated Computing
How Close Can Proving Get to Computing? Introducing Flock
An Experiment in Formal Verification with Claude
Introducing Confidential Transactions to OP Succinct
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.
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
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
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
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
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
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.
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
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
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
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
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
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
