Home > Resources > docs > RISC-Zero-Docs

RISC Zero Documentation

URL: https://risczero.com

Summary

Official documentation and website for RISC Zero, a zkVM that proves execution of RISC-V programs using a STARK-based proof system (STARK → SNARK via recursion). Covers the Bonsai proving network, the zkVM architecture, Rust guest programs, and on-chain verification contracts.

Related resources

• SP1 Documentation (Succinct Labs) (doc, 2024)