无代币区块链Paxos共识算法的研究

来源 :北京交通大学 | 被引量 : 0次 | 上传用户:liongliong416
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近几年,全球主要的信息技术强国都在加快布局区块链技术的发展,区块链技术应用现已延伸到数字金融、移动通信、物联网、供应链安全管理、资产交易等多个行业。公有链、私有链、联盟链等各种区块链技术的研究与应用得到了政府部门、研究机构和商业公司的重点关注。国家主席习近平同志在主持中央政治局学习会议时特意讲到,区块链技术的创新应用在未来技术革新和产业变革中将起到非常重要的作用,要把区块链作为核心自主创新技术的重要突破口,加大投入力度,聚力攻克关键核心技术难关,加快推动这项技术和相关产业创新发展。无代币区块链是指不以代币进行价值交换作为依赖的区块链。它作为区块链技术的一种,其主要功能是在去中心化的分布式系统中保证数据记录的一致性和不可篡改性,运用到的关键技术包括共识算法、智能合约和加密算法等。在不存在拜占庭问题的无代币区块链中,共识算法基本等同于分布式一致性算法(以下简称:一致性算法),而一致性算法目前还面临各种各样的问题和挑战。一方面是部分一致性算法存在运行效率低、通信负载高,甚至“活锁”等问题;另一方面是对于一致性算法在应用部署过程中缺少多维度的安全性分析;此外,涉及Leader选举的一致性算法还存在操控选举过程而无法保证去中心化属性的隐患。本文从上述三个方面出发,首先通过对经典的、影响最广泛的基础Paxos(Basic Paxos)一致性算法进行改进,缩短了其达成共识时间、减少了形成―活锁‖的概率、节约了通信成本、提升了数据更新效率。然后,基于博弈论对采用Paxos算法的分布式系统进行安全性分析,提出了此类系统在实际应用中可能产生的计算资源困境问题,推导出了为达成算法机制设计目标而不偏离节点既定策略的安全条件,并验证了此安全条件的有效性。最后,分析得出涉及Leader选举的一致性算法存在通过操纵Leader选举破坏去中心化属性的风险,并提出了一种可以有效降低此类安全性问题的新型选举机制。本文的主要研究内容及其贡献包括以下三方面:(1)通过优化算法中的角色行为对基础Paxos算法进行改进该工作从提高一致性算法运行效率的目的出发,通过对基础Paxos算法执行过程中各角色在各阶段的行为动作进行分析,在继承原算法基本机制设计前提下,提出了四项改进措施来优化原算法中proposer和acceptor角色的行为。首先,剖析了原始算法中每个角色在每个阶段中的具体行为。随后,采用距离关联等待机制、分阶段向审批委员会发送审核提案、减少决议广播范围和acceptor自学习等改进措施对原算法进行优化。从理论上证明了改进算法的正确性和安全性,并比较分析了这两个算法在正常执行时的消息传递个数。最后,通过实验对这两个算法的容错性、运行时间、消息传递个数、提案提交失败个数和平均每秒提案提交数进行了分析比较。本研究提出的Adv Paxos对比基础Paxos,在同等集群规模下拥有相同的容错能力,并具有更低的通信负载和更高运行效率,能够有效提高服务器集群间达成共识的速度。而且因为Adv Paxos继承了基础Paxos的机制设计,是其他类Paxos的工程实现算法运行过程中需要调用的支撑算法,具备高扩展性,所以该算法对于提升类Paxos的其他工程实现算法的执行效率也将起到很好的效果。(2)基于博弈论对采用Paxos算法的分布式系统进行安全性分析该工作从采用Paxos算法的分布式系统的安全运行角度出发,通过分析典型系统中各节点间的博弈关系,发现系统运行时各节点会产生的一种自私行为:想获得数据更新的同时,又不愿当选Leader而过多消耗自身计算资源。系统因为此种自私行为的存在将形成一种博弈,本文称之为计算资源困境博弈。接着,通过支付矩阵和建立效用函数模型分析得出计算资源困境博弈存在帕累托最优的纳什均衡是需要满足一定安全条件的结论。各博弈节点若不满足安全条件,将做出不合作的选择,而不合作的选择可能引发连锁反应,导致系统无法正常工作。最后,通过求解计算资源困境博弈的子博弈精炼纳什均衡解来进行推导,得出了系统为达成Paxos算法机制设计目标(节点不偏离既定的触发策略或两期策略)所需的安全条件,并通过实验证明了安全条件的有性效。本研究能够帮助采用Paxos算法的联盟链运营方评估系统运行风险和制定系统准入条件,有助于意向加入此类联盟链的单位在实际收益与消耗成本之间进行权衡考虑。(3)分析研究在一致性算法中实现少数赢这种更安全的选举机制该工作从Leader节点产生机制的安全性角度出发,分析得出传统的多数赢选举中存在因控制Leader选举投票而会丧失系统去中心化属性的安全隐患,并提出采用逐步淘汰选择一致多数派(少数赢)这种更安全的Leader节点选举机制。首先,研究了少数赢选举机制可能面对的绝对控制攻击、团队攻击和欺诈攻击的攻击方式、攻击影响以及攻击成功的可能性,并发现了在某些特定节点数量时会存在绝对控制攻击成功所需受控率低值现象及低值出现的规律。接着,描述了少数赢选举机制在基于Leader选举的一致性算法中的具体实现方法,解决了算法存活性、算法容错、决赛方式等难点问题。最后,通过理论分析和实验进一步验证了此种选举机制对比传统的多数赢选举机制,在没有明显增加选举时间的基础上,面对绝对控制攻击具有更好的安全性。本文研究提出的少数赢选举机制,在常见的区块链分布式系统(4参与节点以上)中,要想完成绝对控制攻击少数赢需要控制80%以上的节点,相比多数赢50%的控制率,至少提升了60%攻击难度。并且通过枚举方式分析出:在少数赢选举实施绝对控制攻击的难度还将随着参与节点的增多而持续增加。
其他文献
电磁泄漏发射是信息安全领域破坏信息保密性的一种重要风险,而传导泄漏发射是电磁泄漏发射研究领域中的一个关键问题。相对于自由空间辐射的泄漏发射,对传导泄漏发射的机理和传播规律的认识还存在不足。随着高速器件的快速发展,信息技术设备的数字信号频率越来越高,泄漏发射的频率范围也越来越宽,测试设备的发展远远不能适应评估泄漏发射风险的需要,已有的电磁兼容测试方法和手段还不能有效测试评估传导泄漏发射风险,特别是测
镉基半导体量子点是最有潜力的下一代发光材料之一。但目前,镉元素的污染性和毒性大大限制了其发展。因此大量的科学研究工作开始集中到了绿色无毒或低毒的量子点的可控合成和提升无镉量子点电致发光二极管器件性能上来。而多元铜基硫族半导体量子点作为镉基量子点材料的替代者之一,其具有低毒性和元素来源广泛的优点,但是其光致和电致发光性能还不能与镉基量子点相媲美,因此寻求提升多元铜基硫族量子点发光性能的策略,进一步提
大型养路机械捣固维修作业是各国铁路工务部门为改善有砟轨道的轨道几何状态而采用的最主要、最有效的维修方式,也是成本最高的轨道维修作业之一。目前,我国铁路主要采取“周期修”的捣固维修模式。随着路网规模的不断扩大、列车速度的高速化、列车载荷的重载化,传统的捣固维修模式已经难以满足铁路运输对轨道状态安全性、稳定性、可靠性的要求,以及管理者在维修成本控制方面的迫切需求。因此,我国铁路捣固维修模式正逐步由“周
一、前言边塞诗,发端于《诗经》,形成于南朝,繁荣于唐代,新变于两宋。举凡书写边塞有关之诗篇,如从军出塞、守土卫边;遣使北国、沦落异域者皆属之。上自政治、经济、军事、外交,下自风土、民心、国恩、亲情,皆可挥洒入诗。或叙事,或记游,或怀古,或抒情,多交
会议
随着城市轨道交通线网规模的快速扩张和客流量的急剧增加,线网客流的时空分布日趋复杂,高峰时段供需不平衡问题愈加突出,部分车站客流超过设计能力,常态化限流车站逐步增加,系统安全运营和应急管理面临巨大挑战。大数据、人工智能等技术的兴起为应对现实挑战提供了解决思路,促使轨道交通逐渐向智慧轨道交通生态的方向发展。短时客流预测是构建智慧轨道交通生态的基础研究内容,然而既有相关研究存在预测精度较低、系统性较弱、
社会化媒体指基于互联网的、允许用户以创建和分享信息来进行社会交互的新型媒体。兴趣点数据指一种代表真实地理实体的点状地理空间数据。社会化媒体使得更多的兴趣点得以被发现,丰富了兴趣点数据;兴趣点数据通过地理维度刻画社会化媒体,提供了新的研究视角。社会化媒体的兴起和兴趣点数据的丰富,使得人们在线上的交互和线下的活动逐渐趋向于融合,互联网与真实世界的结合变得越来越紧密,社会化媒体兴趣点推荐由此成为热点问题
近年来,我国城市轨道交通建设规模持续增长。大规模地铁隧道的建设,对既有地下结构产生影响,地下管线便是受到地铁施工影响的地下结构之一。地铁施工引起地层变形,使管线受到附加位移荷载而产生附加变形和内力,增加了管线出现破坏事故的风险。管线附加变形为管线安全评价的重要指标,正确计算管线变形和内力是管线安全评价的关键。目前,隧道开挖引起的管线变形计算依赖于数值模拟及经验方法,理论方法研究尚不充分。如何利用传
智能汽车是先进传感与人工智能等新兴技术融合发展的产物,是具有自动驾驶功能的新一代汽车,同时也是解决交通事故、车辆利用率低与交通拥堵等问题的关键,发展智能汽车对于加速我国汽车产业转型升级具有重要意义。智能汽车紧急避撞功能的研究对于智能驾驶技术的推广应用、车辆行驶安全性能的提升等具有重要的推动作用,同时对于发展车辆运动规划与运动控制等技术具有积极意义。本文以智能汽车为研究对象,重点开展了紧急避撞工况下
本文是以地铁列车自动运行控制为研究背景,针对地铁列车重复运行的特性,研究了基于自适应迭代学习和数据驱动迭代学习控制的单/多列地铁列车运行控制中所面临的列车动力学精确模型难以建立、速度约束、执行器故障以及多列车协同容错运行控制等若干实际问题,实现地铁列车位置速度精确跟踪控制,来保证列车安全可靠运行。本论文的主要研究内容和创新点如下:一、首先,针对地铁列车重复运行的特点,基于列车多质点动力学模型,本文
针对航天器中大型球冠蜂窝结构防热层灌注问题,本文开展了基于大工作空间、高刚度和高灵巧性的串并混联灌注机器人机构构型设计与性能研究。通过对球冠工件尺寸参数以及灌注机器人功能要求的分析,分别提出了三种灌注机器人机构配置方案。根据不同灌注机器人机构配置方案对灌注机器人执行机构进行设计,最终提出了球面并联灌注机器人机构、I型和II型1T2R三自由度并联灌注机器人机构和3T2R五自由度可重构混联灌注机器人机