Halo2
Halo2 is a PLONKish proof framework whose Zcash implementation avoids a trusted setup using inner-product commitments.
Namefi TeamAuthorSeptember 19, 2026- glossary
Halo2 is a circuit and proof framework related to PLONK. Zcash's implementation uses inner-product commitments that avoid a trusted setup, with logarithmic-size commitment openings. Other Halo2-derived systems can use different commitments, so the setup and verification costs depend on the implementation. Halo2 is used for zero-knowledge proofs in Zcash's Orchard protocol.
Related keywords
- Halo2
- PLONKish
- inner-product commitment
- what is Halo2
- Halo2 meaning
- Halo2 definition