摘要
一种可抵抗服务器合谋的可验证计算外包方法,涉及云计算技术领域,解决现有计算外包方法中可验证性难以抵抗所有服务器共谋的不足,采用的技术方案:客户端C选择一种有限域上的同态秘密分享协议;客户端C执行初始化算法;客户端C执行密钥生成算法;客户端C执行输入编码算法;服务器S_b执行证明生成算法:验证者V执行结果验证算法:其输入是验证公钥VK_F,私有信息u,N个计算结果和N个证明{π_(y,b)}_(b=1)^N,若验证成功则输出1,反之,输出0。通过对输入进行编码,服务器仅获取共享份额,无法恢复原始输入;服务器无需交互,降低延迟,提升可扩展性,减少服务器合谋风险;即使所有服务器共同作弊伪造计算结果,客户端仍然可以验证结果的正确性。