증명자가 자신이 알고 있는 지식과 정보를 공개하지 않으면서, 그 지식을 알고 있다는 사실을 검증자에게 증명하는 시스템이다. 완전성, 건전성, 영지식성이라는 세 가지 조건을 만족해야만 증명에 성공할 수 있다.