Computational Proof Systems
  • 👋Cryptography and ZKP research note
  • Protocol and Primitives
    • Chapter One: ZK fundamentals
      • Overview of Computation in Zero-Knowledge Proofs
      • Arithemetic Circuit
      • Arithemetic Circuit (RUST)
      • Polynomial
      • R1CS to QAP
      • Univariate Polynomial Multiplication Using FFT
    • Chapter Two: Interative and non-interative proof
      • Interactive and Non-interactive Zero-Knowledge Proof Systems
    • Chapter Three: Ploynomial Commitment Schemes
      • KZG Polynomial Commitment Scheme
        • Univariate KZG Polynomial Commitment Scheme
        • Multilinear KZG Polynomial commitment scheme
        • Batch Univariate KZG Polynomial Commitment Scheme
      • FRI Polynomial commitment scheme
    • Chapter Four: Sum Check Protocol
    • Chapter Five: GRK Protocol
      • The Protocol
      • Succinct GKR Protocol
    • Chapter Six: Groth16 Protocol
    • Chapter Seven: PLONK Protocol
    • Chapter Eight: PLONK Protocol Extensions
      • TurboPLONK
      • Lookup Arguments and PLONKUP
        • PLOOKUP
        • Halo2 Lookup Protocol
      • HYPERPLONK
Powered by GitBook
On this page
  • Understanding the GKR protocol
  • Creating a SNARK off the GKR protocol
  1. Protocol and Primitives
  2. Chapter Five: GRK Protocol

The Protocol

Exploring the GKR prover, verifier and creating a SNARK of this interactive protocol (making this succinct using polynomial commitment schemes)

PreviousChapter Five: GRK ProtocolNextSuccinct GKR Protocol

Last updated 13 days ago

Understanding the GKR protocol

Here is an article explain the GKR protocol in depth

Creating a SNARK off the GKR protocol

With the introduction of a Multilinear polynomial commitment scheme, the GKR protocol can be made succinct, creating a SNARK.

LogoUnderstanding GKRtimofeyfey