The Succinct Network Architecture and the $PROVE Token
The network is a marketplace that connects provers and requesters for ZK proof generation, implemented as a high performance verifiable application.
The PROVE token enables payments, secures the network, and incentivizes provers.
2/ Last year, we introduced the Succinct Prover Network in our whitepaper.
We laid out the need for a protocol that creates the world’s largest, most efficient proving cluster and proves the world’s software. We’re now making it a reality.
5/ The network is composed of an off-chain auctioneer and on-chain contracts, similar to an L2 sequencer and its on-chain settlement.
Users interact with the auctioneer, which settles to Ethereum, giving the best of both worlds: security with high performance.
6/ PROVE is the native token of the network. It’s used for:
Payments: Requesters pay for proofs in PROVE.
Security: PROVE is staked for security, to distribute value, and for governance.
Incentives: PROVE incentivizes provers to provide competitive prices to requesters.
7/ Provers stake PROVE and bid in auctions to provide proofs at the most competitive prices. Delegates can stake on provers’ behalf to provide economic security.
Network emissions and fees are distributed between provers, delegates, and the protocol treasury.
8/ We’ll be deploying an end-to-end version of this system in Stage 2.5 of our testnet in a few weeks.
You’ll be able to participate as a prover and request proofs from a competitive prover set.
9/ Bitcoin made anyone a miner.
Ethereum made anyone a staker.
Succinct makes anyone a prover.
10/ Read the blog post and stay tuned to hear more.
2/ Real-time Ethereum proving marks a historic moment in the ZK space race.
The ability to prove mainnet Ethereum blocks in <12 seconds has major implications for the L1’s scalability roadmap.
3/ With SP1 Hypercube, we combined novel cryptography and relentless performance engineering to become the first zkVM to achieve real-time Ethereum proving.
In a benchmark of 10,000 mainnet blocks, 93%+ of blocks were proven in <12 secs, with an average proving time of just 10.3 secs.
1/ @LidoFinance is upgrading their protocol to use ZKPs.
SP1 will soon help secure over $28B of staked ETH by augmenting Lido’s oracles with verifiably computed validator statistics.
2/ Lido, the most used Liquid Staking Token (LST), currently relies on offchain oracles to compute the daily $stETH rebase.
This is done offchain because the required data is not easily accessible in the EVM. Computing it naively requires >1M hashes and bigint additions.
3/ With SP1, Lido can integrate a ZK coprocessor to shift this computation fully offchain.
These proofs can be verified for just 200-300k gas and provide additive security to the existing nine validators that secure the Lido Accounting Oracle.
Over the past few months, we collaborated closely with the @OPLabsPBC team to build OP Succinct, a seamless way to upgrade any OP Stack chain to use ZKPs in 1 hour.
Introducing SP1 GPU, a next-generation prover for SP1.
SP1 GPU brings a 10x reduction in cost and latency, another critical step towards making ZK accessible to any developer 👇
Today, SP1 achieves state of the art performance based on our precompile-centric architecture, which reduces zkVM cycle-count substantially for real-world workloads.
SP1 GPU is another phase shift in SP1's performance, driving down cost and latency by another 10x.
Our benchmarks with GPU show that parts of our prover benefit from GPU acceleration by 20x.
The dominant prover time today is spent on committing and quotient computation. With GPU this reduces substantially and is no longer a bottleneck.
1/ We are excited to announce Succinct Processor 1 (SP1), our first generation, 100% open-source zkVM that proves arbitrary Rust programs.
SP1 targets an order of magnitude performance improvement vs. existing zkVMs, and is already up to 28x faster for certain programs.
Blog:
2/ The future of programmable truth is normal code. Performant, general-purpose zkVMs like SP1 will disrupt the status quo of one-off, custom proving stacks, and create a future where all blockchain infra uses ZKPs via maintainable Rust code.blog.succinct.xyz/introducing-sp…
3/ SP1 is 100% open-source and achieves state of the art performance on real-world workloads.
Its speed comes from using the latest ZKP research, with a cross-table lookup architecture, a customizable “precompile” system that can accelerate any performance bottleneck, and more.