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

Cryptography and ZKP research note

This is a rough documentation on protocols and primitives explored during my ZK quest...

NextChapter One: ZK fundamentals

Last updated 12 days ago

Rust Code Implementation for these protocols can be found here;

👋
Chapter One: ZK fundamentals
Chapter Two: Interative and non-interative proof
Chapter Three: Ploynomial Commitment Schemes
Chapter Four: Sum Check Protocol
Chapter Five: GRK Protocol
Chapter Six: Groth16 Protocol
Chapter Seven: PLONK Protocol
Chapter Eight: PLONK Protocol Extensions
Page cover image
https://github.com/developeruche/cryptography-n-zk-research