基于智能合约的三方博弈防共谋委托计算协议

doi:10.19678/j.issn.1000-3428.0056756

计算机工程 ›› 2020, Vol. 46 ›› Issue (8): 124-131,138. doi: 10.19678/j.issn.1000-3428.0056756

基于智能合约的三方博弈防共谋委托计算协议

周全兴¹, 李秋贤¹, 樊玫玫²

1. 凯里学院大数据工程学院, 贵州凯里 556011;
2. 贵州大学数学与统计学院, 贵阳 550025

收稿日期:2019-11-29 修回日期:2020-01-15 发布日期:2020-02-13
作者简介:周全兴(1987-),男,讲师,主研方向为安全算法协议分析;李秋贤(通信作者),硕士;樊玫玫,讲师、硕士。
基金资助:
国家自然科学基金（61772008）；教育部-中国移动科研基金（MCM20170401）；贵州省科技计划项目（20175788）；贵州省科技重大专项计划项目（20183001）；贵州省教育厅科技拔尖人才支持项目（2016060）；贵州大学培育项目（20175788）。

Anti-Collusion Delegation Computation Protocol of Three-Party Game Based on Smart Contract

ZHOU Quanxing¹, LI Qiuxian¹, FAN Meimei²

1. School of Big Data Engineering, Kaili University, Kaili, Guizhou 556011, China;
2. School of Mathematics and Statistics, Guizhou University, Guiyang 550025, China

Received:2019-11-29 Revised:2020-01-15 Published:2020-02-13

摘要/Abstract

摘要： 大数据产业快速发展使得委托计算服务需求日趋增多，且委托计算效率在云计算支持下不断提高，然而传统委托计算协议需要验证计算结果，导致其计算效率降低。为此，提出一种基于智能合约的三方博弈理性委托计算协议。将博弈理论与传统委托计算相结合，采用信誉机制建立三方博弈委托计算模型，并使用以太坊区块链技术设计智能合约和理性委托计算协议，以保证计算结果的正确性。实验结果表明，与直接计算、传统委托计算协议相比，该协议计算时间更短、计算效率更高，可使三方博弈可达到贝叶斯纳什均衡。

关键词: 理性委托计算, 三方博弈, 智能合约, 以太坊, 贝叶斯纳什均衡

Abstract: With the rapid development of big data industry,the demand for delegation computation services is increasing.With the support of cloud computing,the efficiency of delegation computation is constantly improved.However,the traditional delegation computation protocols need to verify the computation results,reducing the efficiency of computing.To address the problem,this paper proposes a rational anti-collusion delegation computation protocol of three-party game based on smart contract.This paper combines the game theory with traditional delegation computation,establishes a model for the delegation computation of three-party game using the reputation mechanism,and uses the Ethereum-based blockchain technique to design the smart contract and the rational delegation computation protocol,so as to ensure the correctness of the computation results.Experimental results show that compared with the direct calculation and traditional delegation computation protocol,the proposed protocol reduces computation time consumption and increases the computation efficiency,and can make the three-party game reach a Bayesian Nash equilibrium.

Key words: rational delegation computation, three-party game, smart contract, Ethereum, Bayesian Nash equilibrium

中图分类号:

TP309

周全兴, 李秋贤, 樊玫玫. 基于智能合约的三方博弈防共谋委托计算协议[J]. 计算机工程, 2020, 46(8): 124-131,138.

ZHOU Quanxing, LI Qiuxian, FAN Meimei. Anti-Collusion Delegation Computation Protocol of Three-Party Game Based on Smart Contract[J]. Computer Engineering, 2020, 46(8): 124-131,138.

http://www.ecice06.com/CN/Y2020/V46/I8/124

图/表 11

20200819135046

20200819135049

20200819135051

20200819135054

20200819135058

20200819135101

20200819135104

20200819135107

20200819135110

20200819135113

20200819135116

参考文献

[1] GOLDWASSER S,KALAI Y T,ROTHBLUM N G.Delegating computation:interactive proofs for muggles[C]//Proceedings of the40thAnnual ACM Symposium on Theory of Computing.New York,USA:ACM Press,2015:1-27.
[2] GOLDWASSER S,MICALI S,RACKOFF C.The knowledge complexity of interactive proof systems[J].SIAM Journal on Computing,1989,18(1):186-208.
[3] BABAI L.Trading group theory for randomness[C]//Proceedings of the 17th Annual ACM Symposium on Theory of Computing.New York,USA:ACM Press,1985:421-429.
[4] SHAMIR A.IP=PSPACE[C]//Proceedings of Foundations of Computer Science.Washington D.C.,USA:IEEE Press,1990:11-15.
[5] ARORA S,SAFRA S.Probabilistic checking of proofs[J].Journal of the ACM,1998,45(1):70-122.
[6] CHUNG K M,KALAI Y,VADHAN S.Improved delegation of computation using fully homomorphic encryption[C]//Proceedings of CRYPTO'10.Berlin,Germany:Springer,2010:483-501.
[7] SMITH S W,WEINGART S.Building a high performance,programmable secure coprocessor[J].Computer Networks,1999,31(8):831-860.
[8] GENTRY C.A fully homomorphic encryption scheme[EB/OL].[2019-10-15].https://search.proquest.com/docview/305003863.
[9] GENTRY C.Fully homomorphic encryption using ideal lattices[C]//Proceedings of the 41st Annual ACM Symposium on Theory of Computing.New York,USA:ACM Press,2009:169-178.
[10] ANDREW C Y.Protocols for secure computations[C]//Proceedings of the23rdAnnual Symposium on Foundations of Computer Science.Washington D.C.,USA:IEEE Press,1982:160-164.
[11] BARBOSA M,FARSHIM P.Delegatable homomorphic encryption with applications to secure outsourcing ofcomputation[C]//Proceedings of CT-RSA 2012.Berlin,Germany:Springer,2012:296-312.
[12] DODIS Y,HALEVI S,RABIN T.A cryptographic solution to a game theoretic problem[C]//Proceedingsof CRYPTO'00.Berlin,Germany:Springer,2000:112-130.
[13] HALPERN J,TEAGUE V.Rational secret sharing and multiparty computation[C]//Proceedings of the 36th Annual ACM Symposium on Theory of Computing.New York,USA:ACM Press,2004:623-632.
[14] TIAN Youliang,PENG Changgen,LIN Dongdai,et al.Bayesian mechanism for rational secret sharing scheme[J].Science China Information Sciences,2015,58(5):1-13.
[15] TIAN Youliang,MA Jianfeng,PENG Changgen,et al.A rational framework for secure communication[J].Information Sciences,2013,250(11):215-226.
[16] BUTTYÁN L,JEAN-PIERRE H.Rational exchange-a formal model based on game theory[C]//Proceedings of the 2nd International Workshop on Electronic Commerce.Berlin,Germany:Springer,2001:114-126.
[17] AZAR P D,MICALI S.Rational proofs[EB/OL].[2019-10-15].http://dspace.mit.edu/handle/1721.1/72431.
[18] TIAN Youliang,MA Jianfeng,PENG Changgen,et al.Game theoretic analysis for the secret sharing scheme[J].Acta Electronica Sinica,2011,39(12):2790-2795.(in Chinese)田有亮,马建峰,彭长根,等.秘密共享体制的博弈论分析[J].电子学报,2011,39(12):2790-2795.
[19] GUO S,HUBACEK P,ROSEN A,et al.Rational arguments:single round delegation with sublinear verification[C]//Proceedings of Conference on Innovations in Theoretical Computer Science.New York,USA:ACM Press,2014:523-540.
[20] LI Qiuxian,TIAN Youliang,WANG Zan.Rational delegation computation protocol based on fully homomorphic encryption[J].Acta Electronica Sinica,2019,47(2):216-220.(in Chinese)李秋贤,田有亮,王缵.基于全同态加密的理性委托计算协议[J].电子学报,2019,47(2):216-220.
[21] CAI Xiaoqing,DENG Yao,ZHANG Liang,et al.The principle and core technology of blockchain[J].Chinese Journal of Computers,2019,42(11):21-28.(in Chinese)蔡晓晴,邓尧,张亮,等.区块链原理及其核心技术[J].计算机学报,2019,42(11):21-28.

选择文件类型/文献管理软件名称

选择包含的内容

基于智能合约的三方博弈防共谋委托计算协议

Anti-Collusion Delegation Computation Protocol of Three-Party Game Based on Smart Contract

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 11

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	高健博, 张家硕, 李青山, 陈钟. RegLang监管合约规则冲突检测方法[J]. 计算机工程, 2023, 49(5): 12-21,28.
[2]	黄金荣, 刘百祥, 张亮, 张展鹏. 基于智能合约和非同质化代币的去中心化匿名身份认证模型[J]. 计算机工程, 2023, 49(4): 14-22.
[3]	杨俊明, 尹超, 杨铮. 基于激励驱动的轻量级隐私保护位置证明协议[J]. 计算机工程, 2023, 49(3): 151-160.
[4]	田秀霞, 杨明夷. 家庭物联网中基于智能合约的访问控制机制[J]. 计算机工程, 2023, 49(3): 18-28.
[5]	孙林昆, 蒋文保, 郭阳楠, 李春强. 基于密码累加器的无状态区块链性能优化[J]. 计算机工程, 2023, 49(2): 46-53.
[6]	李尤慧子, 俞海涛, 殷昱煜, 高洪皓. 基于超级账本的集群联邦优化模型[J]. 计算机工程, 2023, 49(1): 22-30.
[7]	陈凯, 徐成, 刘宏哲, 代松银. 基于区块链的危险驾驶地图数据评估模型[J]. 计算机工程, 2022, 48(8): 160-165,172.
[8]	张伯钧, 郭一晨, 王子凯, 胡凯. 基于智能合约的数据共享激励机制研究[J]. 计算机工程, 2022, 48(8): 37-44.
[9]	丁晓晖, 曹素珍, 王彩芬. 智能合约辅助下满足前后向安全的动态可搜索加密方案[J]. 计算机工程, 2022, 48(7): 141-150.
[10]	陈儒玉, 戴欢, 高玉建, 付保川, 陈洁. 基于区块链的电子学位证照数据保护共享方法[J]. 计算机工程, 2022, 48(4): 50-60,80.
[11]	王杰昌, 张平, 高远, 刘玉岭. 融合可链接环签密的智能合约电子投票协议[J]. 计算机工程, 2022, 48(4): 126-132.
[12]	刘晶, 朱炳旭, 梁佳杭, 任女尔, 季海鹏. 基于主侧链合作的区块链访问控制策略[J]. 计算机工程, 2022, 48(3): 10-16,22.
[13]	张展鹏, 张亮, 彭凌祺, 阚海斌. 基于区块链非同质化代币的软件订阅模型[J]. 计算机工程, 2022, 48(1): 24-32.
[14]	方燚飚, 周创明, 雷晓莉, 宋亚飞, 高娜. 基于区块链技术的供应链交易系统设计[J]. 计算机工程, 2021, 47(6): 23-31.
[15]	牛淑芬, 韩松, 于斐, 王彩芬, 杜小妮. 区块链电子病历中基于密钥聚合的密文检索方案[J]. 计算机工程, 2021, 47(5): 36-43.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

基于智能合约的三方博弈防共谋委托计算协议

Anti-Collusion Delegation Computation Protocol of Three-Party Game Based on Smart Contract

RichHTML

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

图/表 11

参考文献

相关文章 15

编辑推荐

Metrics

本文评价