可验证计算研究进展
发布时间：2019-05-23 22:00
【摘要】：可验证计算是分布式计算和云计算环境下,解决任务分包以及任务委托计算中产生的计算结果可靠性(可信性)问题的重要手段.本文总结可验证计算重要研究进展,主要涉及计算机理论领域和密码学领域的最新研究进展.在计算机理论领域的可验证计算研究方面,讨论了交互式证明、可随机检查证明定理(PCP theorem)和可靠性证明(CS proof)之间的联系、发展及其在可验证计算中的应用.在密码学领域的可验证计算方面,主要对应用密码学工具构建的可验证计算方案进行了分析总结.此外,简要介绍代理存储背景下的可验证计算.最后对可验证计算未来的发展方向进行展望.
[Abstract]:Verifiable computing is an important means to solve the reliability (credibility) problem of task subcontracting and task entrustment computing in distributed computing and cloud computing environment. In this paper, the important research progress of verifiable computing is summarized, mainly involving the latest research progress in the field of computer theory and cryptography. In the field of computer theory, the relationship between interactive proof, random checking proof theorem (PCP theorem) and reliability proof (CS proof) is discussed, and its application in verifiable calculation is also discussed. In the field of cryptography, the verifiable computing scheme constructed by cryptography tools is analyzed and summarized. In addition, the verifiable calculation under the background of proxy storage is briefly introduced. Finally, the future development direction of verifiable computing is prospected.
【作者单位】： 中国科学院信息工程研究所信息安全国家重点实验室;上海科技大学信息科学与技术学院;
【基金】：国家自然科学基金(批准号:61402471,61472414,61170280) 中国科学院战略性先导科技专项(批准号:XDA06010701)资助
【分类号】：TP338.8;TP309
本文编号：2484261
[Abstract]:Verifiable computing is an important means to solve the reliability (credibility) problem of task subcontracting and task entrustment computing in distributed computing and cloud computing environment. In this paper, the important research progress of verifiable computing is summarized, mainly involving the latest research progress in the field of computer theory and cryptography. In the field of computer theory, the relationship between interactive proof, random checking proof theorem (PCP theorem) and reliability proof (CS proof) is discussed, and its application in verifiable calculation is also discussed. In the field of cryptography, the verifiable computing scheme constructed by cryptography tools is analyzed and summarized. In addition, the verifiable calculation under the background of proxy storage is briefly introduced. Finally, the future development direction of verifiable computing is prospected.
【作者单位】： 中国科学院信息工程研究所信息安全国家重点实验室;上海科技大学信息科学与技术学院;
【基金】：国家自然科学基金(批准号:61402471,61472414,61170280) 中国科学院战略性先导科技专项(批准号:XDA06010701)资助
【分类号】：TP338.8;TP309
【相似文献】
相关硕士学位论文 前1条
1 张源;可验证计算协议的改进与应用研究[D];北京邮电大学;2015年
，本文编号：2484261
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/2484261.html
