부분 결과서지만 확인
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systemsOded Goldreich, Silvio Micali, Avi Wigderson · 1991Journal of the ACM 38(3), 690–728쪽 (1991) · 학회 발표 FOCS 1986 (27th Annual Symposium on Foundations of Computer Science), 174–187쪽 — 학회판 제목은 「Proofs that yield nothing but their validity and a methodology of cryptographic protocol design」제목이 말하듯 NP 의 모든 언어가 영지식 증명 체계를 가진다는 결과를 실은 논문이다. 암호학적 가정(일방향 함수의 존재) 아래에서 성립하는 결과로 알려져 있으며, NP-완전 문제인 그래프 3색칠의 영지식 증명이 대표 예로 인용된다. NP-완전성이 「어렵다」는 소식만이 아니라 암호 설계의 도구가 된다는 점을 보여 주려는 글에 맞다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(본문은 열지 못함).