大型线性方程组求解的可验证外包算法-中国云计算.PDF

优先出版 计 算 机 应 用 研 究 第34 卷 大型线性方程组求解的可验证外包算法 蔡建兴，任艳丽 (上海大学 通信与信息工程学院，上海200444) 摘 要：随着云计算的发展，可验证的外包计算受到了越来越多的关注。对普通用户来说，大型线性方程组的求解是一 个困难问题，可通过外包计算进行解决。现有的大型线性方程组外包求解方案计算效率较低或计算结果无法完全验证。 提出了一个可验证的大型线性方程组求解的外包计算协议。在完全保护用户隐私的前提下，所提方案大大提高了用户的 计算效率。与同类方案相比，所提方案降低了用户的计算代价，且用户可以完全验证服务器的外包计算结果。实验表明， 所提方案用户的计算时间远小于直接计算所用的时间，且小于服务器的计算时间。 关键词：云计算；外包计算；可验证；大型线性方程组 中图分类号：TP301.5 Verifiable outsourcing algorithm for large-scale systems of linear equations Cai Jianxing, Ren Yanli (School of Communication Information Engineering, Shanghai University, Shanghai 200444, China) Abstract: With the development of cloud computing, verifiable outsourcing computation are getting more and more attentions . For ordinary users, the large-scale system of linear equations is a difficult problem . It can be solved through outsourcing computation. The outsourcing scheme for large-Scale Systems of linear equations always has a low computational efficiency or can’t be fully verifiable nowadays. This paper proposes a verifiable outsourcing protocol for large-Scale Systems of linear equations. The proposed protocol greatly improves the user ’s computational efficiency when fully protect user privacy. Compared with the state-of-the-art schemes, the proposed scheme reduces user computational cost, and user can fully verify the computation result output from server. Experiments show that user computing time is far less than direct calculation time , and less than the computation time of the server. Key Words: cloud computing; outsourcing computation; verifiable; large-scale systems of line