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