CeciliaZ030

circuit-tools

poly-commit

A Rust library for polynomial commitments

powdr

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

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

secure-aggregation

taiko-mono

A decentralized, Ethereum-equivalent ZK-Rollup. 🥁

zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

algo-cheatsheet

Cheatsheet for data structures and algorithms in Python, Java, C, C++ commonly used in coding interview

AZTEC

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

aztec-connect

aztec connect repository

bn

Pairing cryptography library in Rust

CSC200-TypeChecker

Tokenizer -> AST

ezkl

ezkl is a library and command-line tool for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML)

go-kzg

FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*

halo2

halo2-fib

mpt-witness-generator

multifolding-poc

A PoC repo for a HyperNova impl

nearAMM-demo

plonky2

plonky2-smt

Sparse Merkel Tree circuit

powdr_revm

Powdr application using revm in no-std mode.

risc0

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

snark-verifier

sp1

A performant, 100% open-source, contributor-friendly zkVM.

taiko-client

Taiko's client implementation in Go. 🔧

test-riscv32

zkevm-chain

zkevm-circuits

ZoKrates

A toolbox for zkSNARKs on Ethereum