by RISC ZeroUS
A decentralized marketplace connecting applications needing zero-knowledge proofs with prover nodes that generate them using proof rewards and token collateral.
Testnet on Base July 2025; mainnet launched September 2025 with ZKC token.
Updated 15 Sep 2025Checked 10 Oct0 updates this week
An application needing a zero-knowledge proof posts a request to the Boundless marketplace with the computation to verify.
Prover nodes compete to generate the proof, racing to submit a valid result and earn rewards in ZKC tokens via Proof of Verifiable Work.
The proof is verified and settled on the application's blockchain of choice (Ethereum, Arbitrum, Base, etc.), enabling scaling everywhere.
| Spec | Boundless |
|---|---|
| Supported settlement chains | Base, Ethereum L1, Arbitrum, OP Mainnet, LineaR (reported) |
| Proof type | Zero-knowledge RISC-V proofsR (reported) |
| ZKC token valuation (mainnet launch) | ~$900M fully dilutedR (reported) |
R reported by the company
RISC Zero
Zero-knowledge VM, Boundless, zkVM proofs
RISC Zero is a verifiable computing platform that generates zero-knowledge proofs of arbitrary Rust programs. The company builds the zkVM, a virtual machine that emulates RISC-V, and Boundless, a decentralized marketplace for zero-knowledge proofs.
