云计算视角下可验证计算的分析研究

An Analysis and Study on Verifiable Computing from the Perspective of Cloud Computing

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。

Whether cloud computing is widely used in the various fields in the future is determined by its credibility.Verifiable computing has its unique advantages in detecting the credibility of cloud computing results.Using a verifiable protocol to verify whether the data returned by the cloud server is correct,which is an important guarantee for th credibility of the cloud computing.In this paper based verification calculation of basic content and related design principles,the general process of verifiable computing,design principle and calculation model of verifiable computation protocol combined with protocol analysis calculation of interaction system are analyzed to explore the prospect of research on the verifiable computing from the perspective of computing in the cloud.