Institute of Computer Science
  1. Courses
  2. 2024/25 fall
  3. Zero-Knowledge Proofs (LTAT.04.016)
ET
Log in

Zero-Knowledge Proofs 2024/25 fall

  • HomePage
  • Lectures
  • Practice sessions
  • Links

Links

Background Material

  • ZK Knowledge Proofs MOOC (Spring 2023)
    • Highly recommended as an accompanying material
  • Proofs, Arguments, and Zero-Knowledge (free book, Justin Thaler, July 2023)
    • Contains also videos
    • ZK Hack discord server has channels for Thaler-book-study-group and related

Recommended Prerequisite Courses (in Tartu)

  • Cryptology I
  • Algebra I
  • Diskreetne matemaatika I
  • Theoretical Computer Science

Other Recommended Courses (in Tartu)

Either for taking in parallel or in the future.

Cryptography:

  • Public-key cryptography
  • Crypto II

(Theoretical) computer science:

  • Coding theory
  • Complexity Theory (not given in a while)

Math:

  • Algebra I (Fall 2024)
  • Algebra II (Fall 2024)
  • Algebraic structures
  • Finite Fields 1
  • Number theory

Similar ZK Courses elsewhere

  • Foundations of probabilistic proofs (Alessandro Chiesa, EPFL)
  • CIS 7000: Theory and Practice of Succinct Zero Knowledge Proofs (Pratyush Mishra, UPenn, 2023)
  • Institute of Computer Science
  • Faculty of Science and Technology
  • University of Tartu
In case of technical problems or questions write to:

Contact the course organizers with the organizational and course content questions.
The proprietary copyrights of educational materials belong to the University of Tartu. The use of educational materials is permitted for the purposes and under the conditions provided for in the copyright law for the free use of a work. When using educational materials, the user is obligated to give credit to the author of the educational materials.
The use of educational materials for other purposes is allowed only with the prior written consent of the University of Tartu.
Terms of use for the Courses environment