RISC Zero
v1.2Productionby RISC Zero
Battle-tested RISC-V zkVM with STARK-to-SNARK wrapping for low on-chain verification cost.
Architecture
Performance
Security
Available Providers
3Boundless
RISC Zero's decentralized proof marketplace on Base. Provers compete via market-race bidding. Replaced Bonsai. Native proof aggregation for gas savings.
Offer-based auction — requester sets offer, provers bid per cycle. ZKC token for payments.
zkCloud
Universal proving cloud (formerly Gevulot). Container-based provers. Supports SP1, R0VM, Nexus, ZisK + zkEVM chains (Aztec, ZKsync, Scroll, Polygon).
Credit-based system. $PROOF token for network payments.
Fermah
Universal proof marketplace. Matchmaker routes workloads from Seekers to GPU/FPGA Operators. Supports zkVM, zkEVM, Groth16+.
Two-sided marketplace — Matchmaker aligns Seeker demand with Operator supply. Competitive pricing.