A program for the zkVM
The developer compiles a program for RISC-V. SP1 produces a proof of execution that can be verified independently.
Your ecosystem guide / Succinct
Succinct builds ZK proving tools and a proof marketplace. SP1 proves program execution; the Prover Network connects requesters with hardware operators. Protocol contracts settle on Ethereum, with PROVE used for payments and staking.
A developer requests computation; a prover supplies the result and its proof.
The developer compiles a program for RISC-V. SP1 produces a proof of execution that can be verified independently.
An ERC-20 on Ethereum. Requesters pay for proofs; provers stake to participate in proof contests.
A deposit passes through iPROVE into the selected prover’s vault. stPROVE represents the depositor’s share in that vault.
Operation lifecycle
Requesting proofs, generating them and delegating capital are separate ways to participate.
A request specifies a deadline, maximum PROVE fee and stake requirements. Funds are escrowed; payment is distributed after fulfilment.
How it works ↗A prover evaluates the program and bids a price. Stake affects access to requests; missing a deadline can cause slashing.
How it works ↗The depositor receives stPROVE. Exiting starts with an unstake request and a waiting period; the position is then redeemed for PROVE.
How it works ↗Each component handles a different stage.
The virtual machine connects an ordinary program to a proof of correct execution.
An auction service matches requests with prover bids; the Explorer displays requests and fulfilment.
Ethereum contracts record protocol state and proofs. PROVE transactions on Ethereum pay gas in ETH.
SP1 serves blockchain infrastructure and cross-chain verification. Explorer and Staking provide separate interfaces for requests and delegation.
Proof marketplace
Browse Prover Network requests, provers and fulfilled jobs.
Capital delegation
Select a prover, stake PROVE, view the stPROVE position and request unstaking.
SP1 integration
SP1 has been selected to generate ZK proofs for the announced Base Azul upgrade, which combines ZK proofs with hardware-protected execution.
Testnet cross-chain verification
The Chainlink CCIP module verifies Ethereum finality. Its announced deployment covers the Ethereum Sepolia → Arbitrum Sepolia testnet lane.
A requester deposits PROVE into the Ethereum settlement contract, then submits a request through the SP1 SDK. Delegators use PROVE on Ethereum and ETH for gas; provers also operate computing hardware.
Build the program, specify inputs and request requirements, then submit it through the SDK.
Open Staking, choose a prover and deposit PROVE. The prover sets the share of its revenue paid to delegators.
Prepare hardware and stake, accept requests and submit proofs within their deadlines.
A requester pays PROVE for a fulfilled request. Revenue goes to the prover, its delegates and the protocol treasury. Foundation incentives are separate from customer payments.
A delegator’s position depends on the selected prover and vault rules.
Prover revenue sharing and foundation incentives. Position returns change with vault inflows.
A deposit delegates economic weight to the prover. The initial governance design leaves execution with the Security Council; Snapshot votes are advisory.
An unstake request starts the exit process. Redemption follows a waiting period; slashing a prover reduces its stakers’ positions.
Checked on 18.10.2026
Reviewed: 19 October 2026
It is a proving platform with settlement contracts on Ethereum. PROVE is an Ethereum ERC-20 token.
A delegator deposits PROVE with a selected prover through Staking. The prover runs the computation.
Rewards come from prover revenue sharing and foundation incentives. Exiting requires an unstake request and completion of the waiting period.