随着大数据时代的来临以及云计算技术的飞速发展,外包计算已经成为越来越多的组织和个人选择计算任务的方式。外包计算是指计算资源有限的用户将复杂的计算任务外包给云服务器,以达到节省本地资源开销的目的。然而外包计算服务在带来方便的同时,也产生了一些亟待解决的安全问题。云服务器的计算过程是不公开的,可能存在欺骗用户的行为,其返回的计算结果可能并非用户所需求的数据。可验证外包计算就是解决以上问题的重要手段,用户如何以最小的代价进行快速、正确的验证成为了现阶段的研究热点与难点。现在的可验证外包计算方案主要存在以下2个问题:(1)单服务器场景下,用户需要用繁重的密码协议对云服务器返回的计算结果进行验证,无疑增加了用户的工作量,而用户进行外包计算的初衷就是减少本地的资源开销,这样有悖于用户的初衷。(2)多服务器场景下,往往采用冗余计算模式,即将相同的计算任务外包给多个云服务器,检查它们返回的结果是否相同。然而多个云服务器之间可能会合谋,向用户返回错误的计算结果。针对以上问题,本文工作如下:(1)提出了基于矩阵盲化技术的线性方程组求解可验证外包计算方案。该方案基于矩阵盲化技术,采用数据分布思想,通过双服务器之间的分割计算,对结果进行交叉计算以实现结果的快速验证,减少了用户验证计算结果的繁琐步骤,提高了效率。(2)提出了一种通用的基于智能合约的抗合谋可验证外包计算方案,该方案通过双服务器之间的冗余计算,达到快速验证的目的,减少了用户验证计算结果的工作量。该方案基于密码学技术、博弈论和区块链智能合约,在合理的假设下,证明了各参与方不会合谋,而是会诚实计算并向用户返回一个正确的计算结果,达到博弈的序贯均衡。