Home > Resources > docs > Halo2-Docs

Halo2 Documentation (Zcash)

URL: https://zcash.github.io/halo2/concepts/proofs.html

Summary

Official documentation for Halo2, Zcash's PLONKish proof system implementing recursive proofs without a trusted setup. Covers the PLONKish arithmetization model (columns, gates, permutations), the IPA polynomial commitment scheme, and the circuit API. Halo2 is the backend for Zcash Orchard and many Ethereum ZK projects.

Related resources

• A Deep Dive into Axiom's Halo2 Circuits (blog, 2025)
• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge (paper, 2019)