Seyed Masoud Hosseini · Overview · Study log · Ideas · Transcript · RSS feed

Zero Knowledge Proofs

Berkeley ZK MOOC, Boneh & Song · Crypto · Spring 2030 · Planned

Lectures

  1. Lecture 1: Introduction and History of Zero Knowledge Proofs (1:38:33)
  2. Lecture 2: Overview of Modern SNARK Constructions (1:21:04)
  3. Lecture 3: Programming Zero Knowledge Proofs (1:41:38)
  4. Lecture 4: Interactive Proofs and the Sum-Check Protocol (2:06:50)
  5. Lecture 5: The Plonk SNARK (1:27:58)
  6. Lecture 6: Polynomial Commitments from Pairings and Discrete Log (1:31:20)
  7. Lecture 7: Polynomial Commitments from Error-Correcting Codes (1:29:13)
  8. Lecture 8: FRI-based Polynomial Commitments and Fiat-Shamir (2:00:45)
  9. Lecture 9: SNARKs from Linear PCPs and QAPs (1:36:55)
  10. Lecture 10: Recursive SNARKs (1:21:27)
  11. Lecture 11: From Practice to Theory (1:34:27)
  12. Lecture 12: zkEVM Design, Optimization and Applications (1:42:43)
  13. Lecture 15: Securing ZK Circuits with Formal Methods (1:07:05)
  14. Lecture 16: Hardware Acceleration of ZKP (30:01)

Notes

No notes yet.

References

No references yet.

Study log

No log entries for this course yet.