증인을 구별할 수 없는 증거
Witness-indistinguishable proofWitness-Identify Proof(WIP; 목격자 식별 불가 증명)는 NP 언어의 제로 지식 증명의 변형입니다.진술의 전형적인 영지식 증명에서, 검증자는 진술의 증인을 프로토콜의 입력으로 사용할 것이고, 검증자는 진술의 진실 외에는 아무것도 배우지 못할 것이다.WIP에서는 이 제로 놀리지 조건이 약해져 검증자가 다른 증인을 사용하는 프로버를 구별할 수 없다는 것이 유일한 보증입니다.특히, 이 프로토콜은 모든 증인의 집합에 대한 정보를 유출할 수도 있고, 심지어 한 명의 가능한 증인이 있을 때 사용된 증인을 유출할 수도 있다.
목격자를 구별할 수 없는 증거 시스템은 Feige와 Shamir에 [1]의해 처음 도입되었다.제로 지식 증명과는 달리, 복수의 증명은 동시에 행해질 때 안전성이 유지됩니다.
레퍼런스
- ^ Feige, U.; Shamir, A. (1990). "Witness indistinguishable and witness hiding protocols". Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC '90. pp. 416–426. doi:10.1145/100216.100272. ISBN 0897913612. S2CID 11146395.
