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

A performant, type-1 zkEVM written in Rust & SP1.

The fastest, most feature-complete zkVM for developers.

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 PLUME: nullifier friendly signature scheme on ECDSA

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.

Introduction to Zero Knowledge Proof