wildmouse

nanoeth

attempting to be the cleanest & clearest implementation of Ethereum's execution layer

eigenlayer-contracts

awesome-cosmos

Collection of Cosmos related resources

waveterm

An open-source, cross-platform terminal for seamless workflows

Plonky3

A toolkit for polynomial IOPs (PIOPs)

core-program

awesome-folding

A curated list of zero-knowledge folding schemes

node-jsonwebtoken

JsonWebToken implementation for node.js http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html

wasmsnark

A fast zkSnark proof generator written in native Web Assembly.

tornado-cats

A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)

zk-benchmarks

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

rust-musl-builder

Docker images for compiling static Rust binaries using musl-libc and musl-gcc, with static versions of useful C libraries. Supports openssl and diesel crates.

runner-images

GitHub Actions runner images

powdr

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

slack-morphism-rust

A modern async client library for Rust, supports Slack Web / Events API/Socket Mode and Block Kit.

awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.

libsnark

C++ library for zkSNARKs

plonk

A pure Rust PLONK implementation using arkworks as a backend.

halo2-examples

Include halo2 example circuits

papers

gorilla

Gorilla: An API store for LLMs

reth

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

halo2wrong

zordle

Wordle, but with ZK proofs!

snark-verifier

halo2-snark-aggregator

halo2 ecc circuit

halo2

halo2-lib

Monorepo of halo2 crates

awesome-halo2

List of halo2-related resources