zkSnark circuit compiler

Zuzalu Passport

A go implementation of Verkle trees

A database being built for the Amoveo blockchain.

Resources and documentation related to the ongoing Ethereum KZG Ceremony.

Implementation of polynomial KZG proofs and 257-ary verkle trie

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

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

zkSNARK implementation in JavaScript & WASM

A toolbox for zkSNARKs on Ethereum

Library of zkSNARKS circuits written in the Circom language.

Merkle Proof Generator and Validator in Solidity

STARK-based virtual machine

OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

DSL for Halo2 circuits

A monorepo of reusable libraries for zero-knowledge technologies.

Zero-Knowledge Proof Systems Circuit Compiler

Template repository for zkLLVM-based projects

Secure, high-throughput, and decentralized Data Availability

Template for integrating RISC Zero and Ethereum using Foundry

Run your own local game of Dark Forest

Minimal Anti-Collusion Infrastructure (MACI)

A zero-knowledge protocol for anonymous interactions.

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.