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.