Welcome
Introduction to ZK Jargon
What does it mean to prove?
Probabilistic and Interactive proofs
Definitions
Algebraic Holographic Proof (AHP)
Arithmetization
Base Field
Circuit
Coefficient Form
Common Reference String
Completeness
Constraints
Elliptic Curve
Evaluation Form
Fast Fourier Transform
Fiat-Shamir Transform
Fully Homomorphic Encryption (FHE)
Instance
Lagrange Interpolation
Language
Multi-party Computation (MPC)
Nullifier
Oracle
PLONKish Arithmetization
Polynomial Commitment Scheme
Polynomial Interactive Oracle Proof
Preprocessing SNARK
Public-coin
Quadratic Arithmetic Program
R1CS
Random Oracle
Relation
Roots of Unity
Scalable
Scalar Field
Schwartz-Zippel Lemma
SNARK
Soundness
STARK
Structured Reference String
Succinct
Threshold Encryption
Transparent Setup
Trusted Setup
Vanishing Polynomial
Witness
Witness Encryption
Zero-Knowledge Proof
zkVM
Light
Rust
Coal
Navy
Ayu
ZK Jargon Decoder
Constraints
In arithmetized circuits
. A constraint is an equation that relates gate inputs to gate outputs.