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