ozankaymak

rustlings

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

rust-blog

Educational blog posts for Rust beginners

risc0

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

tornado-core

Tornado cash. Non-custodial private transactions on Ethereum.

winterfell

A STARK prover and verifier for arbitrary computations

plonky2

halo2

The Halo2 zero-knowledge proving system

Nova

Nova: High-speed recursive arguments from folding schemes

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

BitVM

Smarter Bitcoin Contracts

neptune

Rust Poseidon implementation.

stone-prover

stark-anatomy

Tutorial for STARKs with supporting code in python

bellperson

zk-SNARK library

plonky2-circom

sonobe

Experimental folding schemes library

tornado-nova

Tornado privacy pool with internal transactions

poseidon-tornado

GeoGen

Automated generation of planar geometry olympiad problems

nova-circom-verifier

Nova Verifier in Circom so it can be verified onChain

proof-of-innocence

pasta

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

plookup

bitvm-js

Experimental draft implementation of BitVM

ivls

Implementation of incrementally verifiable ledger system

derecho

A Rust library for proof-carrying disclosures

lambdaworks_plonk_prover

arecibo

geometry-generator

phantomapp