文献引用
复制
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81639,"Name":"计算机科学理论"},{"ID":81683,"Name":"计算复杂性"}]
交互式证明
/interactive proof/
最后更新 2024-12-03
浏览 253次
包含了非确定性（nondeterminism）、随机性（randomness）、交互性（interaction）的一种计算模型。一个交互式证明系统由证明器（prover）和验证器（verifier）组成。证明器的计算能力无限（非确定性），验证器的计算能力有限但可以利用随机数（随机性）、证明器和验证器之间交替地发送消息（交互性）。
- 英文名称
- interactive proof
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
