zk-SNARK library

Interfaces for Relations and SNARKs for these relations

Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib

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

Cryptography Educational Foundations

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Rust Poseidon implementation (contact: @porcuquine)

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

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.

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

Performance and security acceleration for zkVMs.