Contract tooling

Halo2

ZK circuits & privacy

Privacy focused · Scalability · Developer experience · Verification

privacy-scaling-explorations/halo2(250 ☆)

PSE's re-architected fork of Zcash's Halo2 PLONK proof system, featuring a KZG backend with Solidity verifier for economical L1 verification, support for multiple elliptic curves, and decoupled frontend/backend architecture.

Related resources

ZK Email

ZK Email provides circuits and SDKs for proving facts about redacted email transcripts onchain. Useful when you want privacy-preserving identity or receipt checks without doxxing inboxes.

Railgun

Railgun is a privacy protocol for Ethereum and EVM networks that provides shielded transactions and private DeFi interactions with zero-knowledge proofs.

snarkjs

snarkjs is a JavaScript and CLI toolkit for generating and verifying zkSNARK proofs, and for running common proving workflows in Node.js and the browser.

Noir

Noir is a Rust-inspired language for writing zero-knowledge circuits with a developer-friendly syntax and tooling maintained by Aztec.

Circom

Circom is a domain-specific language and compiler for writing and compiling arithmetic circuits used in zero-knowledge proof systems.

Aztec

Aztec is a privacy-first Ethereum rollup and developer platform for building applications with programmable privacy and zero-knowledge proofs.