Docs.rs

RISC Zero circuit for recursion

Generated HAL code for recursion cicuit

RISC Zero zero-knowledge VM build tool

RISC Zero zero-knowledge proof system core crate

RISC Zero binary format crate

RISC Zero zero-knowledge VM

Generated / Native / HAL code for RISC Zero

RISC Zero tool for building kernels

Bonsai Software Development Kit

Core types for RISC Zero crates

Utilities for working with enumerated types that contain one of 2..n other types.

Rust API Client

Fast and secure Base64 encoding/decoding. This crate provides an implementation of Base64 encoding/decoding that is designed to be resistant against software side-channel attacks (such as timing & cache attacks), see the documentation for details. On certain platforms it also uses SIMD making it very fast. This makes it suitable for e.g. decoding cryptographic private keys in PEM format. The API is very similar to the base64 implementation in the old rustc-serialize crate, making it easy to use in existing projects.

A simple way to write specifications on values

Specler macros make it easier to attach specifications to structs