「Cryptography-ZKP」: Lec6 Poly-commit based on Pairing and Discret-log

2023-07-262023-07-27 Cryptography-ZKP 38 minutes read (About 5661 words)

In this series, I will learn Zero Knowledge Proofs (ZKP) on this MOOC, lectured by Dan Boneh, Shafi Goldwasser, Dawn Song, Justin Thaler and Yupeng Zhang.
Any corrections and advice are welcome. ^ - ^

Topics:

KZG poly-commit based on bilinear pairing
- KZG scheme
- Powers-of-tau Ceremony
- Security Analysis
- Knowledge of exponent assumption
- Variants: multivariate; ZK; batch openings
Bulletproofs poly-commit based on discrete logarithm

「Cryptography-ZKP」: Lec5-The Plonk SNARK

2023-07-212023-08-15 Cryptography-ZKP 44 minutes read (About 6632 words)

In this series, I will learn Zero Knowledge Proofs (ZKP) on this MOOC, lectured by Dan Boneh, Shafi Goldwasser, Dawn Song, Justin Thaler and Yupeng Zhang.
Any corrections and advice are welcome. ^ - ^

Topics:

Preprocessing SNARK
KZG Poly-Commit Scheme
Proving Properties of committed polys
- ZeroTest
- Product Check
- Permutation Check
- Prescribed Permutation Check
Plonk IOP for General Circuits

Cryptography, ZKP, SNARKs, Plonk, KZG

「Cryptography-ZKP」: Lec4-SNARKs via IP

2023-07-182024-01-26 Cryptography-ZKP 40 minutes read (About 6031 words)

In this series, I will learn Zero Knowledge Proofs (ZKP) on this MOOC, lectured by Dan Boneh, Shafi Goldwasser, Dawn Song, Justin Thaler and Yupeng Zhang.
Any corrections and advice are welcome. ^ - ^

Topics:

Differences between Interactive Proofs and SNARKs
Outline of SNARKs from IP
Brief intro to Functional Commitments
SZDL Lemma
Multilinear Extensions
Sum-check Protocol and its application.
- Counting Triangles
- SNARK for Circuit-satisfiability