Foreword
Contenu
Foreword¶
Welcome to the ZK Jargon Decoder 🕵️¶
The ZK Jargon Decoder aims to be a dictionary and reference guide for common jargon found in cryptography and the zero-knowledge literature. It is collection of informal and practical definitions. Each term should have a one-liner for quick reference and a more detailed explanation if needed.
The nature of this project implies that our definitions will not be perfectly accurate: some technical details will be omitted, some subtleties will be ignored. However if you feel that any of these definitions overlook important aspects of the terms they clarify please get in touch by email or Twitter:
email: nico@geometryresearch.xyz // Twitter: @nico_mnbl
This project is still work in progress, participation and suggestions are always welcome!
Table of Contents¶
Definitions
- Algebraic Holographic Proof (AHP)
- Arithmetization
- Circuit
- Coefficient Form
- Common Reference String
- Completeness
- Constraints
- Evaluation Form
- Fast Fourier Transform (FFT)
- Fiat-Shamir Heuristic
- Instance
- Lagrange Interpolation
- Nullifier
- Polynomial Commitment Scheme
- Polynomial Interactive Oracle Proof (PIOP)
- Preprocessing SNARK
- Public-coin
- Quadratic Arithmetic Program (QAP)
- R1CS
- Random Oracle Model (ROM)
- Roots of Unity
- Schwartz-Zippel Lemma
- SNARK
- Soundness
- Structured Reference String
- Threshold Encryption
- Trusted Setup
- Vanishing Polynomial
- Witness
- Zero-knowledge Proof