「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」: Lec6 Poly-commit based on Pairing and Discret-log

「Cryptography-ZKP」: Lec5-The Plonk SNARK

Categories

Recents

Archives

Tags