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

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

Educational blog posts for Rust beginners

Collection of leetcode company tag problems. Periodically updating.

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

Tornado cash. Non-custodial private transactions on Ethereum.

A STARK prover and verifier for arbitrary computations

The Halo2 zero-knowledge proving system

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

Performance and security acceleration for zkVMs.

A Trust-minimized Bitcoin Bridge

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

Rust Poseidon implementation (contact: @porcuquine)

Experimental folding schemes library

Tutorial for STARKs with supporting code in python

zk-SNARK library

Tornado privacy pool with internal transactions

Clementine repository

Automated generation of planar geometry olympiad problems

Binary Proofs, Blazing Fast

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

Experimental draft implementation of BitVM

A Rust library for proof-carrying disclosures