ROT256.

3. FFT over Smooth Subgroups (Cooley-Tucky)

4. FFT over Affine Subspaces

5. Multivariate Sumcheck Protocol (GKR)

6. Univariate Sumcheck Protocols

7. Formal Derivatives with Applications To Lookups

Lagrange Basis & Fast Fourier Transform