Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Linear algebra foundation for the Rust programming language

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Ethereum consensus client in Rust

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A suite of rust libraries for secure multi-party computation

A curated list of Rust code and resources.

Noir is a domain specific language for zero knowledge proofs

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Experimental folding schemes library

Utilities for working with native solc and compiling projects.

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Command line helpers for fuzzing

All Algorithms implemented in Rust

Monorepo of halo2 crates

Fiat-Shamir for the masses.

Minimal Merkle Tree implementations

Implementation of ERC 7524 - PLUME for ECDSA Nullifiers

Rust Poseidon implementation (contact: @porcuquine)

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

My homework and notes on zkEVM Bootcamp by zkSync and Encode Club

polynomial commitments from linear codes

A Rust library for polynomial commitments

a gateway to a network of block builders