A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.

A SNARK using towers of binary fields, implemented in Rust .

A performant and modular zkVM framework built for customization and extensibility.

A collection of inspiring resources related to engineering management and tech leadership

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

The Nexus zkVM: The zero-knowledge virtual machine

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

P256 signature verification solidity contract

Notes, code and documents done while reading books and papers.

Compiler framework for ZK VMs

A toolkit for polynomial IOPs (PIOPs)

A STARK-based VM focused on code reuse, performance, and modularity

High-performance, well-tested & documented core libraries for Ethereum, in Rust

Crypto Gadgets for Plonky2

Benchmark of multiple zk implementations.

Monorepo for Summa Proof of Solvency Protocol

A curated list of zero-knowledge folding schemes

A repo for our research papers ❤️

The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

FPGA-accelerated MSM

Aggregator for amazing ZKML resources

Implementation of ERC 7524 - PLUME for ECDSA Nullifiers

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

Wordle, but with ZK proofs!

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