公平理性委托计算协议

• 作者: 尹鑫 王海龙 田有亮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 理性委托计算 子博弈精炼纳什均衡 比特币 Micali-Rabin随机向量表示技术 博弈论
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 面向隐私保护的新型技术与密码算法专题
• 页码范围: 1953-1962
• 页数: 10页
• 分类号: TP309
• 字数: 8697字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005362

摘要

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