Zero Knowledge Proof- Notes
GitHubGitHub
  • Intro
    • Group
    • Polynomial
    • Collision Resistance
    • Pairings
    • Public Coin
  • Pedersen Commitment
  • Kate Commitment Scheme (KZG)
    • Intro
    • Multilinear extension
    • Sum-Check protocol
    • GKR Protocol
    • Intro
    • Jagged Function
    • Jagged Basic
    • Jagged Assist
    • Fancy Jagged
    • Read-Once Branching Programs
    • Matrix Branching Program
    • Table to Polynomial
    • With4 Robp
    • Intro
    • Reed-Solomon Coeds
    • Fast Fourier Transform
    • Arithmetization
    • FRI Commitment
    • List
    • zeitgeist-write-up
    • dont-look-up-write-up
    • shadow-write-up
    • Fundamental Theorem of Cyclic Groups
    • roots-of-unity-v1
    • squaring-the-generator-v1
    • polynomial-representations-v1
    • multiplication-of-two-polynomials-v1
    • fft-v1
    • proving that a polynomial is zero everywhere on a subdomain
  • Papers
Question? Give us feedback →Edit this page
GKRIntro

introduction

  • Multilinear extension
  • Sum-check protocol
  • GKR protocol
Kate Commitment Scheme (KZG)Multilinear extension

MIT 2025 © Nextra.