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
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
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’
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
ZAN is joining the Succinct Prover Network as a multi-node cluster prover. ZAN is an infrastructure provider, specializing in node operations and hardware, powered by AntChain OpenLabs. They recently collaborated with Succinct on the FPGA acceleration of SP1 and improved SP1 20x over traditional CPUs, demonstrating their deep technical expertise
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
We’ve been onboarding provers to the Succinct Prover Network and continually expanding the network to handle more capacity. Today, Cysic is joining the network as a multi-node prover running a cluster of GPUs. This means that Cysic will be able to support production workloads for applications like ZK rollups
Succinct and World Foundation have partnered on a validity proof experiment — a first step to proving every transaction on World Chain. With OP Succinct, even the largest rollups can experience the magic of ZK. Moreover, teams can expect state-of-the-art performance, pricing, and reliability from the decentralized Succinct Prover Network. World
Today, A41 is joining the Succinct Prover Network as an early prover, providing their high-performance GPU cluster to the network. A41 is a blockchain infrastructure service provider that has long provided enterprise-grade staking solutions to customers throughout the crypto industry, and is the 8th largest Ethereum validator. In an expansion
Last week, we opened the Succinct Prover Network to provers worldwide, in a major expansion of the network. This release marked the first time that provers who will work to generate ZK proofs at the best prices and latencies could join the network from all over the world. We’ve
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
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