Hope for a Type-Theoretic Understanding of Zero-Knowledge - Noam Zeilberger