Computational Proof Systems
Ctrlk
  • 👋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
    • 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
  • Sumcheck201 paper note
  • Keccak hash function
Powered by GitBook
On this page
  1. Protocol and Primitives

Chapter One: ZK fundamentals

This chapter explores the fundamentals of zero knowledge proof

Overview of Computation in Zero-Knowledge ProofsArithemetic CircuitArithemetic Circuit (RUST)PolynomialR1CS to QAPUnivariate Polynomial Multiplication Using FFT

PreviousCryptography and ZKP research noteNextOverview of Computation in Zero-Knowledge Proofs

Last updated 8 months ago