PatStiles

shame

Ever tried duct taping a f1 car to an elephant and tell it to go 0 to 60 in 1.6 sec??? Not before this.

stone-prover-cairo0-verifier

Integrating Stone Prover's generated proofs with the Cairo0 verifier

aligned_layer

Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..

axiom-eth

bandersnatch-sharp

Implementations of Bandersnatch Curve in C# for Verkle Trees

barustenberg

barretenburg in rust (here we go)

beacon-api-client

A client for the Ethereum beacon node APIs

cohort-four

Fourth cohort of Ethereum Protocol Fellowship

ethereum-consensus

flood

flood is a load testing tool for benchmarking EVM nodes over RPC

foundry

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

halo2-lib

Monorepo of halo2 crates

helios

A fast, secure, and portable light client for Ethereum

HotShot

icicle

a GPU Library for Zero-Knowledge Acceleration

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

Lasso

The lookup singularity. Based on Spartan; built on Arkworks.

latte

Latency Tester for Apache Cassandra

lighthouse

Ethereum consensus client in Rust

mev-rs

a gateway to a network of block builders

miden_bench

msg-rs

Messaging library for distributed systems built in Rust

reth

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

sgx-experiments

shamu

Narwhal & Tusk are a high throughput mempool & consensus, used in the Sui smart contract platform

Spartan2

High-speed zkSNARKs

ssz-rs

Implementation of ethereum's `ssz`

succinctx

The schelling point for ZK applications.

sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends

zkRust