1.
Introduction
Foundations
2.
Terminology
3.
Groups
4.
Rings
5.
Fields
6.
Polynomials
6.1.
Multiplying Polynomials
6.2.
Fast Fourier Transform
Cryptographic Tools
7.
Commitments
8.
Polynomial Commitments
8.1.
Inner Product Argument
8.2.
Different Functionnalities
9.
Two Party Computation
9.1.
Garbled Circuits
9.1.1.
Basics
9.1.2.
Point and Permute
9.1.3.
Free XOR
9.1.4.
Row Reduction
9.1.5.
Half Gate
9.1.6.
Full Description
9.1.7.
Fixed-Key-AES Hashes
9.2.
Oblivious Transfer
9.2.1.
Base OT
9.2.2.
OT Extension
9.3.
Full Protocol
10.
Proof Systems
10.1.
zk-SNARKs
Background on PLONK
11.
Overview
11.1.
Glossary
12.
Domain
13.
Lagrange Basis in Multiplicative Subgroups
14.
Non-Interactivity via Fiat-Shamir
15.
Plookup
16.
Maller's Optimization
17.
Zero-Column Approach to Zero-Knowledge
Kimchi
18.
Overview
19.
Arguments
20.
Final Check
21.
Maller's Optimization for Kimchi
22.
Lookup Tables
22.1.
Extended Lookup Tables
23.
Custom Constraints
24.
Custom Gates
24.1.
Foreign Field Addition
24.2.
Foreign Field Multiplication
24.3.
Keccak
Pickles & Inductive Proof Systems
25.
Overview
26.
Inductive Proof Systems
27.
Accumulation
28.
Deferred Computation
29.
Technical Diagrams
Technical Specifications
30.
Poseidon hash
31.
Polynomial Commitment
32.
Pasta Curves
33.
Kimchi
34.
Universal Reference String (URS)
35.
Pickles
36.
Consensus
Light
Rust
Coal
Navy
Ayu
Mina book
Consensus
vrf is appendix C of https://eprint.iacr.org/2017/573.pdf