risc0_zkp – Rust

RISC Zero’s core Zero Knowledge Proof components for Rust.

These are the core algorithms that prove and verify the execution of RISC Zero’s
RISC-V circuit. This includes utilities such as core::sha (which allows faster
SHA-256 hashing than a naive RISC-V implementation). It is these latter
utilities that are more commonly used directly from this crate: Developers
looking to construct (or verify) a zero-knowledge proof with RISC Zero are
advised to use the risc0_zkvm crate instead.