一文速览顶级国际学术会议USENIX ATC收录的Conflux论文_BIT:区块链

编者注:原标题为《录用率18.6%顶级国际学术会议USENIXATC收录Conflux论文》。本文作了不改变作者原意的删减。

日前,Conflux团队创作的论文《ADecentralizedBlockchainwithHighThroughputandFastConfirmation》被国际顶级学术会议USENIXATC录用,并受邀参加2020USENIXAnnualTechnicalConference做主题报告。在2019年,中国计算机学会依据技术专业、举办届数、参会人数、录用率等相关因素,同时重点听取了院士成员的意见,并且向广大学者们也征集了建议,将USENIXATC列为A类国际学术会议。

随着近几年中国计算机理论研究水平的迅速提高USENIXATC上也出现了越来越多的中国高校与企业。本次Conflux投递的论文旨在从共识协议出发,通过合理的系统设计与优化来提升区块链的性能,同时保证区块链的安全性。文章指出,在共识层面提升区块链的吞吐率,减少区块确认的等待时间对于区块链技术的应用有着重要的意义。与最近两年其他的前沿学术工作相比,Conflux论文的亮点在于:

湖南中行与万达集团长沙分公司签订数字人民币战略合作协议:金色财经消息,5月10日上午,中国银行湖南省分行与万达商业管理集团有限公司长沙分公司在长沙开福万达广场签订“百年中行,万事皆达”数字人民币战略合作协议。目前,湖南中行已落地湖南省内首个预算单位数币代发场景,实现全国首单数币燃气缴费交易,并承办了“市长体验日”“大学生数字人民币公益广告设计大赛”等数场群众活动,是省、市两级数字人民币领导小组评选的“先进单位”。(红网)[2022/5/11 3:07:11]

1.提出了自适应权重的概念,根据网络是否受到攻击,在乐观策略和保守策略之间切换,兼顾效率与安全。

2.实现了3倍网络延迟时间内的区块确认,相比之前的结果大幅提升。

3.在20Mbps的网络条件下,实现了9.38Mbps的共识协议数据运载能力。以每交易100字节计算,相当于每秒11000笔交易。

4.执行以太坊的真实历史交易测试系统性能,达到了每秒1392笔交易。而其它系统开发团队暂无该测试数据。

协议设计

声音 | 湖南日报:区块链审计模式大大提高效率,节省时间精力:区块链作为一项颠覆性技术,在各行各业中加速应用。区块链模式应用于大数据审计,与大数据审计的融合,称为区块链审计模式。该模式由湖南省湘潭市审计局国内首创,获国家审计署重点课题立项,在近两年“四医”审计中开展实践应用,取得很好效果。该模式最大优点是既可以实现中心节点对审计业务整体大局和方向的把控,又可以实现区块链自由联通、信息透明共享、共识决策等先进性功能,并把项目跟踪管理、法制审理、纪律监督、征求被审单位意见等同步纳入审计业务过程,方便了各相关业务开展和与审计组同步沟通,各节点信息完全对称,大大提高了效率,节省了时间精力。(湖南日报)[2019/9/4]

论文首先指出了,当我们通过调整工作量证明的参数,调高区块生成速率时,中本聪共识协议存在安全性的问题,而GHOST共识协议存在活性攻击的问题。

在这个攻击模型中,假设攻击者对矿工之间的网络有一定的控制能力:当一个诚实的矿工挖出或收到一个区块后,经过一个固定的时间d秒,模型保证所有的诚实矿工都收到了这个区块。但在此期间,攻击者可以决定谁能收到区块,谁无法收到区块。

声音 | 湖南科技大学曾世宏:推动区块链等热点产品创新研发:据湖南日报报道,湖南科技大学商学院教授、湖南创新发展研究院副院长曾世宏发表了题为《注重累积性创新,推动制造业高质量发展》的文章, 建议完善相关政策,以充分调动湖南省市场微观主体强化累积性创新的积极性。曾世宏指出,完善支持制造业高质量发展的知识产权创造和保护政策。加强知识产权创造和保护,有效降低创新的制度性成本,鼓励优势高端装备制造企业自主进行关键零部件和核心技术研发,推动智能家居、可穿戴设备、虚拟显示、区块链等热点产品及清洁技术等生产性服务创新研发,主动攀升产业价值链。[2019/1/5]

在中本聪协议中,过高的区块生成速率会导致大量的区块分叉,最长链增长速度缓慢,攻击者更容易构造一条侧链反超。

在GHOST协议中,攻击者利用其控制网络的能力,将诚实节点分成算力大概均等的两组。组内的通讯是顺畅的,但是组与组之间的通讯延迟是d秒.于是,每一组矿工都看不到另一组矿工在最近d秒生成的区块。利用网络延迟造成的差异,攻击者让两组参与者对于“X,Y谁的子树权重更大观点不一”,从而导致诚实参与者的观点出现了分裂。

政策 | 湖南长沙推出区块链专项扶持政策 企业落户就奖200万:?据红网消息,日前,长沙经济技术开发区管委会下发红头文件《长沙经开区关于支持区块链产业发展的政策(试行)》,对鼓励扶持区块链产业在开发区的发展做了具体工作布置。区块链企业自落户之日起,3年内给予最高200万元的扶持资金。[2018/6/29]

为了解决这一问题,Conflux首先提出了结构化的GHOST。与GHOST协议不同的是,在结构化的GHOST中,只有1/h的区块是有权重的,其他区块是没有权重的。h是一个共识协议参数。而哪些区块有权重,是根据区块头哈希值,通过一个确定的方法选出来的。为方便理解,我们举一个例子,如果h=1024,当前的难度要求每个合法区块的哈希值前50位都是0,那么此时,只有前60位都是0的区块,才可以有权重。

通过这种方法,在安全性上,等价于将GHOST的区块生成速率降低至1/h。而前文所述的攻击方式,只在区块生成速率很高时成立。这样,就解决了GHOST的活性攻击问题。

然而,更慢的“含权重区块”生成速率,导致了更慢的区块确认时间。于是,Conflux设定了两种区块生成策略,乐观策略使用普通的GHOST规则,而保守策略使用结构化的GHOST。当攻击真的发生时,共识协议非同步地切换到保守策略。没有攻击发生时,使用乐观策略。特别在保守策略下,每个含权重区块的权重被设为h,以保证两种策略下生成区块的期望权重不变。两种策略之间的切换规则显得尤为重要,Conflux设计了一套规则来保证:

1.如果攻击发生并持续一段时间,所有诚实节点都切换到保守策略。

2.在诚实节点没有探测到攻击发生时,攻击者不能使用保守策略挖一条侧链。

同时,为了提高吞吐率,不浪费主链以外的区块,Conflux采用了树图结构。在GHOST规则里,每个区块通过父边指向另一个区块,所有区块构成树的结构。而Conflux允许每个区块通过引用边引用其他分支上的区块,形成树图结构。树图结构不丢弃任何区块,大大提高了共识层面的吞吐率。

在树图结构之上,Conflux通过GHOST规则选出一条主链。然后基于主链,将区块进行排序。区块的排序进而决定了哪些交易在前,哪些交易在后。

系统实现与优化

将吞吐率提高后,Conflux在系统实现过程中遇到了大量的挑战。Conflux针对性地提出了若干优化方案。

1.检查点机制:当一个区块以高概率被确认,并持续一段相当长的时间后,Conflux全节点将删除这个区块更早的交易内容与账本状态,仅保留区块头,以节约内存空间。

2.引导机制:如果一个区块链系统的吞吐率接近带宽极限,当一个新节点加入时,从创世块开始同步会导致新节点永远无法追上最新状态。因此Conflux从检查点开始同步交易。

3.交易转发:Conflux使用了更有效、对带宽占用更小的去重方式来实现交易转发。

4.签名验证:签名验证的计算开销巨大,Conflux使用多线程并行化签名验证。

5.激励机制:Conflux设计了若干激励机制细节,以应对树图结构里可能的攻击行为。

6.延迟执行:在高区块生成速率下,GHOST规则所选取的主链末端往往是不稳定的。在trivial的实现中,每次主链末端“摆动”,区块的顺序都会发生改变,于是Conflux需要重新执行交易。这带来了不必要的开销。在延迟执行策略中,对于高度为x的主链区块,区块只需要执行高度x-c区块之前的交易并填入账本MerkleRoot中。c是一个经验参数满足:在系统正常运行时,主链上最后c个区块以外的区块,“摆动”的频率很低。

7.使用Link-cuttree维护树图结构。将维护子树权重的计算开销从O(n)降低到O(logn).

实验数据

Conflux在800台AmazonEC2m5.2xlarge虚拟机上进行实验。在可扩展性实验中,每台机器运行15个Conflux全节点,以模拟最高12000个全节点。在其他实验中,每台机器运行1个Conflux全节点。所有实验都将各节点网络带宽限制在20Mbps.

在不同的区块大小和区块生成速率等系统参数下,Conflux区块传输延迟和确认时间均在几十秒量级上。最高支持9.38Mbps共识吞吐率。

当网络中全节点增多时,交易转发和确认时间没有明显的增长。

在交易执行实验中,Conflux重跑了以太坊上的真实数据,达到了1392笔/秒的速度。交易执行实验说明了,Conflux不仅仅设计了一个高效的共识协议,并且为区块链系统的效率问题提供了端到端的解决方案。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-8:312ms