导读
我们知道,相比公有链,联盟链中使用的拜占庭容错(BFT)算法能够有效地提升区块链的交易处理能力。但是,传统的BFT算法,例如PBFT算法,为了容忍f个拜占庭错误节点,需要保证系统中的节点总数至少是3f+1。与之相比,RAFT等能容忍f个停机错误(CFT)的共识算法仅需要2f+1个节点就能正常运作。那么我们不禁会去想,能不能通过某种方法使得一个拜占庭系统也只需要总共2f+1个节点就能够抵御拜占庭攻击呢?
幸运的是,这样的方法是存在的。我们可以借助可信硬件,消除拜占庭节点的二义性,从而仅需要2f+1个节点,就能有效地防止拜占庭攻击。
本文以FastBFT为例,介绍FastBFT是如何借助可信硬件,取得比传统BFT算法更好的性能的。
可信硬件
FastBFT算法使用的可信硬件是IntelSGX(SoftwareGuardExtensions),Intel第六代CPU之后的一组扩展指令集。目前,很多个人电脑和服务器都可以支持SGX相关的功能。在SGX的编程模型中,一个程序分为可信代码(enclave)和不可信代码。SGX保证了在enclave中运行的代码和数据不能被其他程序访问和篡改。并且,通过enclave写入到磁盘的数据会被加密,只有该enclave能够读取。不可信代码只能调用enclave提供的有限的可信函数接口来改变enclave的内部状态,获取enclave的内部信息。
因此,FastBFT的代码也分为了两部分,如下图所示:
动态 | Libra技术指导委员会将于2020年第一季度发布技术治理框架:Facebook 领导的稳定币项目 Libra 发布最新公告宣布,其技术指导委员会 TSC 将在 2020 年第一季度发布技术治理框架及其相关文件,包括开源社区针对网络的技术升级如何进行提案的流程,以及评估这些提案的一系列透明流程。Libra 技术指导委员会 TSC 于 2019 年 12 月 16 日由 Libra 协会理事会投票决定成立,包括五名成员,分别是加密货币托管服务 Anchorage 联合创始人兼总裁 Diogo Monica、Calibra 核心产品负责人 George Cabrera III、Bison Trails 首席执行官兼创始人 Joe Lallouz、联合广场风投合伙人 Nick Grossman 和慈善组织 Mercy Corps 新兴技术总监 Ric Shreves。[2020/1/17]
其中,FastBFT不可信代码负责处理共识消息的收发,以及共识状态的转换。而FastBFTenclave代码则负责处理密钥生成,加解密,安全信道的建立以及共识状态变量的维护。
节点类型
与PBFT算法类似,FastBFT算法也有主节点和从节点之分。不同之处在于,FastBFT算法将从节点进一步划分为f个活跃(active)节点和f个被动(passive)节点。在常规流程中,FastBFT算法只需要f+1个活跃节点参与共识的消息收发。被动节点仅需要处理来自主节点的Reply消息,更新自身的状态。只有在发生错误时,这f个被动节点才需要参与到共识流程中来。
可信变量与函数接口
在FastBFT中,每个节点的enclave都有自己的公私钥对,并记录了其他节点的公钥。除此以外,每个节点还需要维护并持久化以下变量:计数器值c,view值v,活跃节点列表及会话密钥{Si,ki}。其中c和v是共识相关的状态变量,v值只有在viewchange的时候才会增加,当系统平稳运行时,c会不断增加。
动态 | 天秤座协会已成立新技术指导委员会以协调其平台设计:天秤座协会本周四宣布,已经成立了一个技术指导委员会,以协调天秤座平台的设计。根据天秤座开发人员页面上的公告,这是继去年十月创始成员叛逃之后,天秤座路线图的最新更新。这个新宣布的小组将监督该项目的技术路线图,指导代码库开发,并尝试围绕Libra项目建立一个开发人员社区。(Coindesk)[2020/1/17]
FastBFTenclave对外提供了以下几个可信函数接口:be_primary,update_view,preprocessing,request_counter,verify_counter,update_counter和reset_counter。
▲?be_primary、update_view函数
be_primary是某个节点成为主节点之后,需要调用的enclave方法。它的作用是重置c,更新活跃节点列表,重新生成与活跃节点的会话密钥。
update_view是从节点收到主节点当选的消息后,更新自身enclave状态的方法。该方法接受的参数包括主节点的c、v以及加密后的会话密钥。在证实主节点当选的消息是真实可信之后,从节点调用enclave的update_view方法,重置enclave的c和v,获取与主节点通信的会话密钥。
这两个函数都是FastBFTviewchange流程中需要调用的方法,本文限于篇幅限制不予讨论。
▲?preprocessing、request_counter与verify_counter函数
preprocessing是FastBFT算法为了实现高效的消息聚合,实现节点enclave之间密钥分享(secretsharing),主节点需要调用的方法。enclave首先通过哈希函数,将c,v与一个随机生成的原始密钥S进行绑定,这个commitment记作h。然后,通过基于XOR的密钥分享方案,将原始密钥随机拆分成f+1个子密钥Si,S可以通过将这f+1个子密钥进行异或操作还原出来。最后返回给主节点h,c和v,以及经过加密的,只能被对应从节点的enclave解密的。并且,为了避免每次消息聚合之前都进行密钥分享,调用这个方法后会批量生成从c+1一直到c+m这m组消息。之后的m条共识消息都不再需要调用该方法。
声音 | 彭博社:比特币势将录得年内最差单月表现 技术指标陷入超卖:比特币势将录得今年最糟糕的单月表现,不过技术信号表明其最近的下滑可能即将结束。上周末,比特币重新测试了其五月份录得的跳空高开缺口,随后出现反弹,这可能表明其价格的回撤正在失去动力。随着缺口被填补,比特币来到了5月反弹之前的相同价格水平。这意味着比特币可能会在6500美元左右找到支撑,比目前价格低约8%。此外,根据14天RSI指标(目前位于25),比特币目前已严重超卖。一旦该指标跌至30或更低,就会被视为超卖。(彭博社)[2019/11/28]
request_counter是主节点要发起提案消息前,需要调用的方法。该方法接受一个传入参数x。enclave首先把c+1,然后对进行签名,返回该签名。通过这个签名,可以起到绑定与x的效果。
verify_counter是活跃节点收到来自主节点的PREPARE消息和COMMIT消息后,需要调用的方法。该方法传入的参数包括主节点enclave签名后的,以及主节点enclave的preprocessing方法生成的。从节点的enclave需要确保签名中的c,v与解密获取的c,v一致,并且c比本地的c大1。验证通过后,enclave本地的c+1,返回Si,h。通过这个方法,活跃节点的c与主节点的c进行了同步。返回的Si使得之后主节点能够恢复出原始密钥S,h则能够让活跃节点确认原始密钥S的真实性。
以上这三个函数是FastBFT常规流程中需要调用的函数,对于读者理解FastBFT算法尤其重要。
▲?update_counter与reset_counter函数
update_counter是被动节点收到来自主节点的Reply消息后调用的方法。它作用是更新被动节点enclave的c值。
声音 | 彭博社:BTC处于超卖区域,GTI关键技术指标自2018年末以来首次发出买入信号:据彭博社报道,GTI全球强度指标显示,BTC目前处于超卖区域。该指标自2018年12月末以来,首次发出买入(看涨)信号。并且,BTC若能稳在8000美元以上,这是另一个展示其价格强势的迹象。彭博资讯分析师Mike McGlone表示,“比特币的成熟过程将在年底加速,因为其处在一个更温和的价格升值过程中,波动性将下降。”(dailyhodl)[2019/10/6]
reset_counter是节点宕机重启后,在重新加入共识网络前,需要调用的方法。它的作用是接收f+1个来自不同节点enclave的一致的c,v,状态消息,同步本地enclave的c和v。
FastBFT算法的常规流程
FastBFT算法的常规流程分为:Preprocessing,Request,Prepare,Commit及Reply这五个阶段。整个流程如下图所示:
在Proprocessing阶段,主节点通过调用enclave的preprocessing方法,获取密钥分享消息。然后将这些密钥分享消息发送给各个活跃节点。
当主节点收到来自客户端的请求REQUEST后,就会进入Request阶段。这时,主节点需要调用enclave的request_counter方法获取enclave对REQUEST,c+1,以及v的签名。然后,将REQUEST及enclave签名一起作为PREPARE消息的内容,发送给活跃节点。
动态 | 美国计算机行业协会发布面向政府公共部门的区块链技术指南:据PR Newswire消息,美国计算机行业协会CompTIA今日发布了面向政府公共部门的区块链技术指南,涵盖了对美国联邦政府和州政府的一些建议,主要针对如何用区块链技术帮助管理风险,推动经济发展,以及打造强大的监管领域。同时,CompTIA今日将在国会山与国会区块链核心小组联合主席David Schweikert举办一场活动,关于公共部门领导在考虑采用各种区块链解决方案时应注意的商业,组织,技术和人力资本问题。[2018/7/25]
当活跃节点收到来自主节点的PREPARE消息后,就进入了Commit阶段。此时,活跃节点会将主节点enclave的签名以及从Proprocessing阶段获取的对应的密钥分享消息通过verify_counter方法通知enclave。enclave验证通过后,告知活跃节点子密钥Si和h。然后,活跃节点将Si发送回主节点。主节点收齐f+1个来自活跃节点的子密钥Si之后,就可以重建出原始密钥S。之后,主节点就可以执行REQUEST请求,再次调用enclave的request_counter方法,获取enclave对REQUEST执行的结果res,c+1,以及v的签名。然后,将一起作为COMMIT消息的内容,发送给活跃节点。
当活跃节点收到来自主节点的COMMIT消息后,就进入了Reply阶段。此时,活跃节点通过对比的哈希值与之前enclave返回的哈希值h,判断主节点是否成功地恢复出了原始密钥。然后,活跃节点也执行REQUEST请求,判断执行结果是否与主节点执行结果一致。之后,再调用verify_counter方法,获取c+1对应的子密钥Si’以及原始密钥的绑定h’,并将Si’发送回主节点。主节点收齐f+1个来自活跃节点的子密钥Si’之后,就可以重建出原始密钥S’。然后将REQUEST,res,S,S’连同密钥分享信息及之前两个来自enclave的签名都作为REPLY消息的内容,发送给客户端及被动节点。被动节点收到REPLY消息后,首先验证消息的真实性。验证通过后,调用两次enclave的update_counter方法更新enclave内部的c和v值。
FastBFT快在哪里
从上述的流程,我们可以总结出,FastBFT算法的“快”主要体现在以下几个方面:通过可信硬件,减少系统的节点总数;通过轻量级的密钥分享方案实现高效的消息聚合;通过划分活跃节点与被动节点来减少与被动节点的通信。
首先,我们看到,在FastBFT算法中,一共只需要2f+1个节点。更少的节点数量意味着更快的响应时间。在常规流程中,主节点只需要发送f+1条消息,接收f+1条消息就可以进入到下一个阶段。而在PBFT等算法中,节点需要广播3f+1条消息,接收至少2f+1条消息才能进入到下一个阶段。
其次,在PBFT等经典算法中,从节点在收到主节点的PrePrepare等消息后需要向所有节点广播Prepare消息,消息总量为O(n^2)。而FastBFT的常规流程中,所有从节点仅需要发送子密钥给主节点,消息总量为O(n)。这极大地减轻了网络的压力。
并且,在HotStuff等共识算法中,消息聚合是通过基于椭圆曲线的聚合签名来完成的。而基于椭圆曲线的聚合签名速度较慢,影响共识的效率。而FastBFT则使用了基于XOR的密钥分享方案,仅需要进行f次异或操作就完成了消息聚合,极大地提升了共识的效率。值得注意的是,FastBFT能使用如此简单的方法完成消息聚合的原因还是因为可信硬件的支持。由于密钥拆分在enclave内部进行,拜占庭节点无法获知原始密钥和子密钥,也无法进行篡改。这样才能保证消息聚合的安全性。
最后,将节点划分为活跃节点与被动节点之后,被动节点仅需要接收Reply消息更新自身的共识状态,而不需要发送任何消息。这进一步地降低了网络带宽的消耗,降低了系统的运行成本。
总结
FastBFT作为一种基于软硬协同设计的共识算法,很好地向大家展示了如何使用可信硬件突破传统共识算法理论的限制。我们可以看到,基于可信硬件,FastBFT极大地降低系统的部署成本,显著地提升共识的效率。
大家如果对于本文或者区块链算法感兴趣,欢迎加入交流群,添加小助手桔子微信:18458407117。
进阶加餐
▲?FastBFT的正确性
由于完整的FastBFT算法还涉及异常流程viewchange,已经超出本文的介绍范围,在此仅对FastBFT的安全性做一个简单的论证加餐,以便读者了解大貌。
首先,我们可以发现,每对仅能绑定一条信息。这是因为,每次主节点调用enclave的request_counter方法后,enclave中记录的c就会加1。并且,一旦viewchange,enclave会将v加1。这样就保证了同一对不会被重用。于是就有效地防止了拜占庭节点向不同节点发送不同的提案消息,消除了拜占庭节点的二义性。
其次,在常规流程中,c每次都会增加1,并且enclave的verify_counter方法也会判断c是否比之前的c大1。这对共识消息的顺序做了进一步的限制。
再次,我们可以看到,在FastBFT中,一个提案达成共识需要经过类似PBFT的两轮广播。与PBFT的区别在于FastBFT的Quorum是f+1而PBFT是2f+1。由于共识消息都有enclave的参与,拜占庭节点无法随意构造虚假的信息,FastBFT的viewchange流程可以保证即使只有f+1个viewchange消息,也能够恢复出达成共识的提案请求,确保该请求一定会被执行。
于是,所有正确节点都将以相同顺序执行同样的提案请求。
▲?FastBFT的其他优化
除了前面提到的优化外,FastBFT还引入了广播树来缓解主节点的通信压力。如下图所示:
当1号节点作为主节点要广播PREPARE等消息时,只需把消息发送给2,3号节点。2,3号节点会将消息进一步转发给4,5,6,7号节点。通过这种方法,主节点的发送消息的数量就从O(n)降低到了O(1)。
当然,此时密钥分享、消息聚合等步骤也会有所变化,本文就不在此赘述了,感兴趣的同学可以参考原论文了解相关实现。
作者简介
汪晓可,来自趣链科技基础平台部,区块链软硬件协同设计研究小组
参考文献
?PracticalByzantineFaultTolerance
?InSearchofanUnderstandableConsensusAlgorithm
?Onthe(Limited)PowerofNon-Equivocation
?ScalableByzantineConsensusviaHardware-assistedSecretSharing
?IntelSGXExplained.
?HotStuff:BFTConsensuswithLinearityandResponsiveness
比特币和黄金之间的比较与比特币本身一样成为了主流热衷的话题。然而,尽管这两种资产目前有所脱钩,但两者中感兴趣和活跃的投资者群体几乎相同,并且存在重叠.
1900/1/1 0:00:00"浮盈最多时候是我60年工资"币圈是天堂还是地狱?券商中国刚刚30原文标题:"浮盈最多时候是我60年工资!"币圈是天堂还是地狱?12年133万倍收益,财富究竟给了谁?看5位炒币人自白币圈一日.
1900/1/1 0:00:00要说目前全球最炙手可热的资产,肯定不是黄金,也不是股票,而是比特币。盘点2020年各类资产的表现,标普500指数累计涨幅约16.5%,沪深300指数上涨约27.2%,现货黄金、白银分别上涨约25.
1900/1/1 0:00:00在一个大饼悄悄跌去4000刀的周末,你说还会有山寨季?大家好,我是佩佩,在这周四我们在对现阶段市场的分析中表明了一个观点是:接下来山寨会比比特币走得更好.
1900/1/1 0:00:00比特币被创建为有史以来第一个点对点的电子现金系统,此后,整个数字资产行业被创建。尽管该加密货币发展时间良久,并且保持着活力,但如果把该资产类别应定义为“货币”,则在决策者眼中,监管机构甚至投资者.
1900/1/1 0:00:00撰文?|?Banach时间|?2021.01.14出品?|NEST爱好者获作者授权发布一、区块链的价值“链上要干什么?能干什么?”这是一个本质且核心、却往往被淡化的问题.
1900/1/1 0:00:00