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
  • Sumcheck201 paper note
  • Keccak hash function
Powered by GitBook
On this page

Sumcheck201 paper note

This is a note taken while looking into suncheck201 book proposed by ingoyama

1
2
3
4
5
6
7

than Algorithm 2, so more effort has been placed into Algorithm 1. Algorithm 2 is easier to understand by looking at the paper/book diagram. But after performing [this](https://github.com/developeruche/super-sumcheck/blob/main/benches/benchmark.rs) benchmark, data show that Algorithm 1 is 30x faster than Algorithm 2, so more effort is been placed into Algorithm 1...

PreviousHYPERPLONKNextKeccak hash function

Last updated 3 months ago