ZKP证明中的诚实者

Question

试图研究ZKP，我已经看到证明球员资格(部分来自-of课程模拟器和提取器)：所以诚实的证明，诚实的验证者。

它是否需要，因为通常示例处理的交互模式要求玩家以特定的方式进行操作(因此，当Fiat启发式在sigma协议上使用以获得非交互的味道时，就不需要了)？还是有更多技术性的，微妙的原因？

谢谢!

Answer 1

在您提到的示例中，您必须有一个诚实的验证器，因为不诚实的验证者将能够提取见证(看见)。

重要的是要注意到从诚实协议到不诚实协议的转变，因此研究诚实协议在实践中是有意义的。您可能会发现这很有用。