...,Ben-Or、Goldwasser、Kilian和Wigderson10引入了新的验证模型,称为多证明者的交互验证系统(multi-prover interactive proof)。
基于4个网页-相关网页
multi-prover interactive proof
多证明者交互证明
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动