1. Cover
2. 1. Introduction
3. 2. Basic Definitions
4. 1. 2.1. Roots
5. 3. Interpolation
6. 1. 3.1. Subgroup FFT
   2. 3.2. Subspace FFT
   3. 3.3. Circle FFT
   4. 3.4. Elliptic Curve FFT
7. 4. Reductions of Knowledge
8. 1. 4.1. Multivariate
   2. 1. 4.1.1. Sum-Check
      2. 4.1.2. Polynomial Packing
   3. 4.2. Univariate
   4. 1. 4.2.1. Smooth Univariate Sum-Check
      2. 4.2.2. Small Characteristic Sum-Check
9. 5. Arithmetization
10. 1. 5.1. Branching Programs
11. 6. Protocols
12. Bibliography