公平理性委托计算协议

来源：软件学报杂志2018年第7期北京时间：

作者：尹鑫,田有亮,王海龙

单位：尹鑫，贵州大学 计算机科学与技术学院, 贵州 贵阳 550025;贵州省公共大数据重点实验室(贵州大学), 贵州 贵阳 550025;贵州大学 密码学与数据安全研究所, 贵州 贵阳 55002511,田有亮，贵州大学 计算机科学与技术学院, 贵州 贵阳 550025;贵州省公共大数据重点实验室(贵州大学), 贵州 贵阳 550025;贵州大学 密码学与数据安全研究所, 贵州 贵阳 55002502,王海龙，贵州大学 计算机科学与技术学院, 贵州 贵阳 550025;贵州省公共大数据重点实验室(贵州大学), 贵州 贵阳 550025;贵州大学 密码学与数据安全研究所, 贵州 贵阳 55002503

摘要：传统委托计算的验证过程计算和通信开销较高，且参与者要么诚实，要么邪恶；理性委托计算是引入理性参与者，通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论，给出了唯一稳定均衡解.其次，基于比特币和Micali-Rabin的随机向量表示技术，设计一种新的理性委托计算协议.针对协议的公平性问题，参与双方分别提交特殊构造的比特币押金，保障参与者双方的利益；针对验证复杂问题，运用Micali-Rabin的随机向量表示技术，验证过程简单、高效，且不会泄漏关于计算结果的任何信息.最后，安全性和性能分析结果表明，该协议不但解决了传统委托计算的验证复杂问题，同时保证了诚实者的利益.

关键词：理性委托计算;子博弈精炼纳什均衡;比特币;Micali-Rabin随机向量表示技术;博弈论

基金资助：国家自然科学基金（61363068，61662009，61772008）；贵州省教育厅科技拔尖人才支持项目（黔教合KY字[2016]060）；贵州大学研究生创新基金（院创201702）