Hope for a Type-Theoretic Understanding of Zero-Knowledge