定义有效零知识证明协议的三个正式标准是什么？
一个有效的零知识证明协议必须满足三个标准：正确性保证诚实执行总是导致接受。可靠性防止欺骗，确保缺乏秘密见证的证明者无法伪造令人信服的记录。零知识属性保证信息最小化，意味着验证者除了声明的有效性之外什么也学不到。
适用条件
- 协议涉及一个证明者和一个验证者。
- 证明者拥有与声明相关的秘密或私人信息。
- 目标是让验证者相信关于该秘密的声明，而不揭示秘密本身。
理解与推导
- 定义正确性：如果证明者和验证者都按照协议规则诚实地行动，验证者将始终接受证明。
- 定义可靠性：如果证明者不知道秘密，他们无法成功说服验证者相信该声明。
- 定义零知识属性：在遵循协议之后，验证者除了声明本身之外什么也学不到；他们的最终知识状态必须可以在不访问秘密的情况下进行模拟。
例子
演讲者将要求形式化为三个不同的标准。首先，正确性保证诚实执行总是导致接受。其次，可靠性防止欺骗：缺乏秘密见证的证明者无法伪造令人信服的记录，正如色盲换笔猜测者在重复试验中失败所证明的那样。第三，零知识属性保证信息最小化；验证者的最终知识状态必须可以在不访问秘密的情况下进行模拟。
容易误解的地方
- 误解 ZKP 泄露底层秘密：学习者通常假设成功证明一个声明必然会暴露用于验证它的见证或秘密。
- 混淆见证的秘密性与所有信息的秘密性：零知识意味着验证者从交互中什么也学不到，而关键要求是秘密本身没有被揭示。
观看对应讲解
YouTube零知识证明 - Computerphile
3:52 – 4:57原站看这一段 ↗
继续追问
答案依据视频资料生成并经过独立核验。若有疑问，请核对原视频或联系原作者。