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

alloy

Transports, Middleware, and Networks for the Alloy project

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

block-cycles

blst

Multilingual BLS12-381 signature library

bn

Pairing cryptography library in Rust

c-kzg-4844

Minimal 4844 version of c-kzg

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)

halo2

halo2-fib

mpt-witness-generator

multifolding-poc

A PoC repo for a HyperNova impl

plonky2-smt

Sparse Merkel Tree circuit

powdr_revm

Powdr application using revm in no-std mode.

raiko-sp1

rust-kzg

Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

rust-secp256k1

Rust language bindings for Bitcoin secp256k1 library.

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