RISC Zero: Boundless Execution on Solana
summary
RISC Zero provides a zkVM that compiles Rust to a RISC‑V binary and produces RISC‑V binary proofs so off‑chain execution is verifiable on Solana; verification cost examples include verify a DEX swap for $0.001. The system treats verifiable compute as the sum of available resources (30,000 GPUs yields 30,000‑GPU worth of execution), supports ~70% popular Rust crates, and reduces dev effort by ~1000x. It demonstrates ran Doom inside the ckVM, and offers continuations for infinite proofs and a planned Verifiable Compute Layer like Chainlink for execution.
AI-written summary · about
related talks
21mFireside Chat
24mWhat’s in a VM? The Execution Engines Powering Web3’s Future
20mProvers Networks from First Principle
21mNext Generation ZK Applications with SP1
25mFireside Chat
17mA dive into RISC-V
27mPolkaVM: A fast and secure RISC-V based virtual machine
10mKeynote: Owning Your Silicon Future Starts with Building on RISC-V