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

优先出版 计 算 机 应 用 研 究 第34 卷 大型线性方程组求解的可验证外包算法 蔡建兴，任艳丽 (上海大学 通信与信息工程学院，上海200444) 摘 要：随着云计算的发展，可验证的外包计算受到了越来越多的关注。对普通用户来说，大型线性方程组的求解是一 个困难问题，可通过外包计算进行解决。现有的大型线性方程组外包求解方案计算效率较低或计算结果无法完全验证。 提出了一个可验证的大型线性方程组求解的外包计算协议。在完全保护用户隐私的前提下，所提方案大大提高了用户的 计算效率。与同类方案相比，所提方案降低了用户的计算代价，且用户可以完全验证服务器的外包计算结果。实验表明， 所提方案用户的计算时间远小于直接计算所用的时间，且小于服务器的计算时间。 关键词：云计算；外包计算；可验证；大型线性方程组