基于全同态加密的理性委托计算协议

传统委托计算因需验证方验证其计算结果，从而导致协议效率低下.针对此问题，本文结合博弈委托代理理论和全同态加密技术，提出理性委托计算协议.该协议通过参与者之间的效用函数保证计算结果的正确性，无需验证方进行验证.首先，利用博弈委托代理理论，构造委托计算博弈模型；其次，结合全同态加密技术，构造理性委托计算协议；最后，对协议进行实验与分析，结果表明，该协议不但保证了安全性和正确性，并且全局可达帕累托最优.

Rational Delegation Computation Protocol Based on Fully Homomorphic Encryption

The traditional delegation computation require the verification party to verify the results,which leads to low efficiency of computation protocol.To solve this problem,this paper combines the game principal-agent theory and the fully homomorphic encryption technology to propose a rational delegation computation protocol.This protocol guarantees the correctness of the results through the utility function between the participants,without the validation of the prover.Firstly,we use the game principal-agent theory to construct a game model.Secondly,we combine the fully homomorphic encryption technology to construct the rational delegation computation protocol.Finally,we test and analyze the protocol,the results show that this protocol not only guarantees the safety and validity,and can achieve global Pareto optimality.