인증 프로토콜에서 사용자가 비밀값 자체를 보내지 않고도 ‘공개값과 관계를 만족하는 비밀을 알고 있다’는 사실만 검증자에게 납득시킨다. 검증자는 그 비밀에 관한 추가 정보를 얻지 못한다. 이 성질을 제공하는 것은?