• Lagrange basis
  • Lagrange interpolating polynomial
    • Proof that polynomial is unique
  • Barycentric form
  • DFT
  • FFT
  • Completeness
  • Soundness
  • Zero-Knowledge
  • PSHVZK
  • Proofs v/s arguments