Performance and security acceleration for zkVMs.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

🏆 A ranked list of awesome machine learning Python libraries. Updated weekly.

Clementine repository

A Trust-minimized Bitcoin Bridge

Binary Proofs, Blazing Fast

Experimental folding schemes library

Nova: High-speed recursive zero-knowledge arguments from folding schemes

🦀 Small exercises to get you used to reading and writing Rust code!

The Halo2 zero-knowledge proving system

zk-SNARK library

Experimental draft implementation of BitVM

A STARK prover and verifier for arbitrary computations

Tutorial for STARKs with supporting code in python

Rust Poseidon implementation (contact: @porcuquine)

Educational blog posts for Rust beginners

A STARK proof to sync a Bitcoin full node in an instant.

A Rust library for proof-carrying disclosures

Automated generation of planar geometry olympiad problems

Nova Verifier in Circom so it can be verified onChain

Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo