Rust implementation of IETF RFC 9421, http message signatures

Zero-copy deserialization framework for Rust

Zirgen compiler and RISC Zero circuits

The testing ground for the future of portable SIMD in Rust

Safe, fast, small crypto using Rust

Spartan: High-speed zkSNARKs without trusted setup

An embedded key-value database in pure Rust

A community-maintained curated list of awesome resources of RISC Zero.

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Client libraries for Tendermint/CometBFT in Rust!

Rust CV mono-repo. Contains pure-Rust dependencies which attempt to encapsulate the capability of OpenCV, OpenMVG, and vSLAM frameworks in a cohesive set of APIs.

A toolkit for polynomial IOPs (PIOPs)

Traits and utilities for working with finite fields.

The Rust Implementation of the libp2p networking stack.

FHE in the Risc0 zkVM

Implementing TCP In Rust

The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies

embedded-hal abstractions for AVR microcontrollers

MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2

Playing Pokemon Red with Reinforcement Learning

The pure-Rust password hashing library running on Argon2.

Generate JSON Schema documents from Rust code

Benchmarking Polynomial Commitments

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

MLIR For Beginners tutorial

a prototype ethereum block builder

Minimalist ML framework for Rust