Circuit¶
Description¶
Tags entries related to arithmetic circuits — the primary computational model for ZKP systems. Includes circuit design, optimisation, and analysis.
Entries tagged¶
- A Deep Dive into Axiom's Halo2 Circuits
- ACIR — Abstract Circuit Intermediate Representation
- AIR — Algebraic Intermediate Representation
- Arithmetic Circuits
- PLONKish Arithmetization
- PLONKish Arithmetization
- PLONKish Arithmetization — ZK Jargon
- R1CS — Rank-1 Constraint System
- R1CS Explainer (0xPARC / Circom)