Stars
A STARK proof to sync a Bitcoin full node in an instant.
🏆 A ranked list of awesome machine learning Python libraries. Updated weekly.
Educational blog posts for Rust beginners
Implementation of incrementally verifiable ledger system
🦀 Small exercises to get you used to reading and writing Rust code!
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A STARK prover and verifier for arbitrary computations
Tutorial for STARKs with supporting code in python
Tornado privacy pool with internal transactions
Performance and security acceleration for zkVMs.
Automated generation of planar geometry olympiad problems
Nova Verifier in Circom so it can be verified onChain
Tornado cash. Non-custodial private transactions on Ethereum.