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
Proof systems
9.
Overview
10.
zk-SNARKs
11.
Custom constraints
Background on PLONK
12.
Overview
13.
Glossary
14.
Domain
15.
Lagrange basis in multiplicative subgroups
16.
Non-interaction with fiat-shamir
17.
Plookup
18.
Maller's optimization
Kimchi
19.
Overview
19.1.
Arguments
19.1.1.
Custom gates
19.1.2.
Permutation
19.1.3.
Lookup
Snarky
20.
Overview
21.
API
22.
snarky wrapper
23.
Kimchi backend
24.
Vars
25.
Booleans
26.
Circuit generation
27.
Witness generation
Pickles & Inductive Proof Systems
28.
Overview
29.
Accumulation
30.
Deferred Computation
31.
Passthough & Me-Only
RFCs
32.
RFC 0: Alternative zero-knowledge
33.
RFC 1: Final check
34.
RFC 2: Maller's optimization for kimchi
35.
RFC 3: Plookup integration in kimchi
36.
RFC 4: Foreign Field Addition
37.
RFC 5: Foreign Field Multiplication
38.
RFC 6: Keccak
Specifications
39.
Poseidon hash
40.
Polynomial commitment
41.
Pasta curves
42.
Kimchi
43.
Universal Reference String (URS)
44.
Pickles
45.
Consensus
Light
Rust
Coal
Navy
Ayu
Mina book
Passthrough and Me-Only