Talk page

Title:
Hope for a Type-Theoretic Understanding of Zero-Knowledge

Speaker:
Noam Zeilberger

Link:
https://www.ias.edu/video/math/stpm2012/zeilberger