Arithmetization¶
Description¶
Tags entries about the process of reducing computations to algebraic constraints — the bridge between programs and proof systems.
Entries tagged¶
- AIR — Algebraic Intermediate Representation
- Halo 2
- Halo2 Documentation (Zcash)
- HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates (Chen et al. 2023)
- PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
- PLONKish Arithmetization
- PLONKish Arithmetization
- PLONKish Arithmetization — ZK Jargon
- Plookup: A Simplified Polynomial Protocol for Lookup Tables (Gabizon-Williamson 2020)
- R1CS — Rank-1 Constraint System
- R1CS Explainer (0xPARC / Circom)
- STARK 101 — AIR Tutorial (StarkWare)
- TurboPLONK Proposal (ZKProof Workshop 3)