要解决的问题:通过使用一种特殊的诚实验证者零知识交互证明的方法,使得可以执行需要少量通信和计算的可否认的零知识交互证明,从而实现该方法。
解决方案:向其输入了公共输入和第三随机带的第二关系证明生成装置417将与第二关系有关的非交互知识的证明输出至第二关系证明验证装置423。证明验证设备423通过使用与第二关系有关的非交互知识的证明来确定是否建立了规定的关系表达式。证明生成装置425;共同输入,证据,第一随机带和第二随机带被输入到该输入;生成关于满足第一个关系的证据和满足第二个关系的证据的非交互式知识的证明。证明验证装置434输出表示接受或不接受证明的信号作为验证结果。
版权:(C)2012,JPO&INPIT