An incentive-compatible rational secret sharing scheme using blockchain and smart contract

来源 :中国科学:信息科学(英文版) | 被引量 : 0次 | 上传用户:xiewenping87
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In the rational cryptographic protocol,the two rational players often fall into the prisoner\'s dilemma,which is also the case for the rational secret sharing we consider in this paper.First,it is proved that rational secret sharing has a sequential equilibrium in the natural state,so that rational participants will fall into the prisoner\'s dilemma,resulting in no participants being able to reconstruct the secret correctly.Next,to solve this problem,we propose an incentive-compatible rational secret scheme.Specifically,the game tree with imperfect information is constructed to facilitate our analysis and proof,and the strictly dominated strategies are directly eliminated to simplify the game tree.Further more,we describe the motivation of the verifier.Then,we prove that rational players have no motivation to deviate from honest behavior using sequential equilibrium so that rational players can reconstruct the secret correctly.Finally,we complete the simulation using the smart contract and analyze our entire scheme.In addition,the game of our scheme does not need to be repeated multiple times to reach sequential equilibrium,i.e.,the game always follows the rational path.
其他文献
Over the last sixty years,the scaling of silicon-based complementary metal-oxide-semiconductor(CMOS)field-effect transistors(FETs)have promoted the rapid development of microelectronic technology.However,the development of Si CMOS technology is currently
Although considerable success has been achieved in urban air quality prediction (AQP) with machine learning techniques,accurate and long-term prediction is still challenging.One of the key issues for existing AQP approaches is that air quality monitoring
Navigation problems of unmanned air vehicles(UAVs)flying in a formation have been inves-tigated recently,where collision avoidance is a significant issue to be addressed.In this paper,we study resource allocation and power control for radar sensing in a m
Neural architecture search (NAS) methods have been proposed to relieve human experts from tedious architecture engineering.However,most current methods are constrained in small-scale search owing to the issue of huge computational resource consumption.Mea
Satellite communication is attracting increasing attention owing to its freedom from geographical constraints.However,its spectrum resources are limited,and it is susceptible to interferences.Therefore,cognitive radio technology can be used to detect and
Conventional feature selection methods select the same feature subset for all classes,which means that the selected features might work better for some classes than the others.Towards this end,this paper proposes a new semi-supervised local feature select
Geophysics offers an important means to investigate the physical processes occurring inside the earth.In particular,since the 1960s,electromagnetic(EM)methods have played important roles in mineral exploration and engineering in-vestigation.Such investiga
In cell-free massive multiple-input multiple-output(MIMO)orthogonal frequency division mul-tiplexing(OFDM)systems,user equipments(UEs)are served by many distributed access points(APs),where channels are correlated owing to finite angle-delay spread in rea
The classical proportional-integral-derivative (PID) controller is ubiquitous in engineering sys-tems that are typically nonlinear with various uncertainties,including random noise.However,most of the literature on PID control focused on linear determinis
Many real-world optimization problems involve multiple conflicting objectives.Such problems are called multiobjective optimization problems(MOPs).Typically,MOPs have a set of so-called Pareto optimal solutions rather than one unique optimal solution.To as