Succinct's SP1 live on Quantum
We are thrilled to announce a partnership between Electron Labs and Succinct, bringing cost-effective on-chain proof verification to the SP1 ecosystem! This collaboration seamlessly integrates Succinct's zkVM (SP1) and Prover Network with Electron's aggregation layer, Quantum, enabling SP1 developers to verify their proofs on Ethereum at up to 95% lower costs.
This integration offers a near-effortless transition for both SP1 and Succinct Network users, requiring minimal code changes. If you're an SP1 developer looking to decrease your verification costs, we encourage you to reach out!
Under the Hood: Integration Breakdown
Succinct's zkVM (SP1) and Prover Network: SP1 is a performant zkVM that allows developers to write provable programs in Rust. The Succinct Prover Network is a network of provers that generates proofs for SP1 programs — developers can simply build instead of worrying about proving hardware.
Electron's Quantum Aggregation Layer: Quantum is a proof aggregation layer which allows for the aggregation of many ZK proofs into a single, compact proof that can be verified on Ethereum. Quantum offers broad compatibility, supporting nearly all production-ready proving schemes, and delivers significant cost benefits, reducing on-chain verification expenses by up to 95%.
Here's how the integration works:
Proof Generation: SP1 developers use the Succinct Prover Network to generate proofs for their programs.
Aggregation: These proofs are then sent to Quantum, where they are efficiently aggregated into a single proof.
On-Chain Verification: The aggregated proof is then verified on Ethereum using Electron's optimized verification contracts.
Verification Access: Users make a cross-contract call to Quantum contract to ensure their proof was aggregated and verified as part of the aggregated proof.
This streamlined process significantly reduces the gas costs associated with verifying multiple proofs individually.
Why does this matter?
On-chain ZK proof verification has traditionally been a significant expense for developers. This partnership directly addresses this challenge by:
Drastically Reducing Costs: By leveraging Quantum's aggregation capabilities, we can reduce on-chain verification costs by up to 95%. This makes on-chain verification economically feasible for a wider range of applications.
Simplifying Development: The seamless integration between SP1 and Quantum minimizes development overhead. SP1 developers can continue using their existing workflows with only minimal adjustments.
By reducing costs and streamlining development, Electron and Succinct are making zero-knowledge technology accessible to all developers.
