• Succinct is building a “marketplace” infrastructure for ZK proofs: parties needing proofs (requesters) submit requests; provers bid to take on work; order matching occurs off-chain for speed, but all state & payments are guaranteed by ZK and finalized on-chain on Ethereum.
• SP1 is a multi-purpose zkVM (Rust/LLVM) of Succinct, notable for “precompiles” that accelerate hashing and elliptic curve, GPU prover, and the SP1 Hypercube has proven 93% of Ethereum blocks < 12 seconds (TB ~10.3s) – a milestone for “real-time proving.”
• PROVE is the utility token of the network: payments, staking (and delegation), governance; total fixed supply of 1 billion; main contract located on Ethereum (and mirrored version on BNB Chain). Mainnet SPN launches 05/08/2025.
⸻
1) Core products & modules
SP1 zkVM
• Language: write programs in Rust (or any language compileable via LLVM), compile to ELF and prove execution.
• Acceleration: precompile system for secp256k1, ed25519, sha256, keccak256, along with precompile bn254 and bls12-381 to prove/verify Groth16/Plonk-KZG faster.
• “real-time Ethereum” performance: SP1 Hypercube achieves >93% blocks <12s (TB 10.3s); live block demo 22,309,250 in 10.8s.
Succinct Prover Network (SPN)
• “vApp” architecture: order matching & ledger occur off-chain through auctioneer, but the auctioneer creates ZK proof for all state updates and pushes the proof + root to Ethereum, ensuring self-verification capability.
• Market & auctions: reverse auction selects optimal prover based on price, stake, performance history; has Proof Contests mechanism to handle disputes/proof quality.
• Staking & delegation: provers stake PROVE to participate in auctions; delegation for operators; slashing for incorrect or late proof submission.
• Request processing cycle: upload artifacts → set “prover gas” limit, deadline, max fee, circuit requirements → auction → receive work → create proof → FulfillProof() → disbursement.
⸻
2) PROVE token, contract & on-chain
• Function: Payments for prover; Staking/Delegation for ranking & security; Governance (iPROVE as voting power; gradual transition to on-chain governor).
• Supply: 1,000,000,000 PROVE (fixed); exchanges/labs also refer to this number.
• Official contract (Ethereum):
• PROVE ERC-20: 0x6BEF15D9...C4ad29
• Succinct Staking: 0x59A2d7b0...B1d3C
• Succinct vApp: 0x5Ad5Bc4B...88951
(There is a token version on BNB Chain).
• Mainnet launch: 05/08/2025; activates PROVE as payment rail; partner ecosystem with billions in TVL already integrated.
⸻
3) Technical strengths & why they are noteworthy
• Low speed & latency: SP1 + GPU + precompiles provide competitive pricing/latency for real workloads (e.g., Ethereum L1, rollups), paving the way for native rollups & higher gas limits with real-time proving.
• Dev experience: write pure Rust, no need to build circuit + proving system; SDK supports transferring requests to the network with a few environment variables (e.g., SP1_PROVER=network).
• Decoupling order matching/settlement: off-chain speed + on-chain verification using ZK, balancing performance & reliability.
⸻
4) Notable applications
• Bridges & light clients: cross-chain verification using ZK instead of relying on a centralized party.
• Rollups & coprocessors: “rent” proving power for batch/blocks or off-chain computation.
• Verifiable compute/AI agents, games: proving the correctness of reasoning/computation without revealing data.
⸻
5) Quick comparison & positioning
• Compared to other zkVMs (e.g., RISC Zero, etc.), SP1 focuses on precompile + GPU + new architecture (Hypercube) to achieve real-time Ethereum, a milestone that the ecosystem considers a “game-changer”. (Summary insights from benchmarks/public news).
⸻
6) Risks & watch points
• Focus on operating the auctioneer: while the auctioneer is guaranteed by ZK and settles on-chain, the off-chain coordination layer remains a key operational point – need to monitor the multi-operator/decentralized roadmap more closely.
• Network economics & token liquidity: PROVE newly listed (08/2025), need to observe actual demand from requesters, pricing for proof services, reward dilution ratio over time.
• Technological competition: other zkVMs/zk-coprocessors are accelerating; the “real-time” advantage needs to be maintained through optimization & hardware.
⸻
7) For builders – handshake in 5 steps
1. Write Rust/LLVM program → compile to ELF.
2. Use SDK to configure SP1_PROVER=network.
3. Upload program + stdin to artifact service; create proof request (gas units, deadline, max fee, circuit requirements).
4. Wait for auction network & assign prover; receive proof → verify on-chain using EVM-compatible SNARK wrapper.
5. Monitor job & payments in explorer/staking UI.
⸻
8) Quick resources
• Docs – SPN (architecture, auctions, staking, lifecycle): read sections Protocol Architecture, Market Structure, Proof Contests, Staking, Proof Lifecycle.
• SP1 Hypercube (blog, benchmark real-time): milestone <12s & demo block.
• Token & contract: total supply 1B; contract address; staking/governance.
• Mainnet announcement: 05/08/2025.
@Succinct , #SuccinctLabs and $PROVE
