可验证计算研究进展

作者：薛锐; 吴迎; 刘牧华; 张良峰; 章睿

来源：中国科学:信息科学 , 2015, 45(11): 1370-1388.

• 可验证计算
• 交互式证明系统
• 全同态加密
• 同态MAC
• 同态签名

可验证计算是分布式计算和云计算环境下,解决任务分包以及任务委托计算中产生的计算结果可靠性(可信性)问题的重要手段.本文总结可验证计算重要研究进展,主要涉及计算机理论领域和密码学领域的最新研究进展.在计算机理论领域的可验证计算研究方面,讨论了交互式证明、可随机检查证明定理(PCP theorem)和可靠性证明(CS proof)之间的联系、发展及其在可验证计算中的应用.在密码学领域的可验证计算方面,主要对应用密码学工具构建的可验证计算方案进行了分析总结.此外,简要介绍代理存储背景下的可验证计算.最后对可验证计算未来的发展方向进行展望.

• 单位
  上海科技大学; 中国科学院信息工程研究所; 信息安全国家重点实验室