「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」: 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

Cryptography, ZKP, IP, SNARKs, Sum-check

「Cryptography-ZKP」: Lec5-The Plonk SNARK

「Cryptography-ZKP」: Lec4-SNARKs via IP

Categories

Recents

Archives

Tags