「Cryptography-ZKP」: Lec4-SNARKs via IP

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