A toolbox for zkSNARKs on Ethereum

Rust implementation of the Ethereum Virtual Machine.

Serde serializable and deserializable trait objects

The fastest, most feature-complete zkVM for developers.

The Halo2 zero-knowledge proving system

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

Spartan: High-speed zkSNARKs without trusted setup

Nova: High-speed recursive arguments from folding schemes

A toolkit for polynomial IOPs (PIOPs)

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

A pure Rust PLONK implementation using arkworks as a backend.

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

A Rust implementation of the Groth16 zkSNARK

Wordle, but with ZK proofs!

[Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding

zkBitcoin: zero-knowledge proofs on Bitcoin!

halo2 ecc circuit

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Poseidon hash circuit

Include halo2 example circuits