宇宙链 宇宙链
Ctrl+D收藏宇宙链

星云研究院:Hyperledger Fabric论文分析

作者:

时间:1900/1/1 0:00:00

本文作者:星云研究院资深研究院汤载阳博士。华中科技大学计算机博士,日本会津大学和法国南巴黎国立电信学院访问学者,研究方向包括分布式系统、无线网络和区块链共识,在TPDS、ICDCS等顶级期刊会议上发表过论文。前言最近部门开始了Survey的计划,从Cryptology,Consensus和传统分布式系统三个方向调研目前业内关于Blockchain的最新进展。在寒冷的冬天,能窝在被窝里看论文也算是不幸中的万幸。本来一直也有想写专栏的计划,刚好借此机会整理下看过的论文。既然是系列开头,第一篇论文选择还是比较慎重的,我们最终选择了发表于EuroSys18的论文《HyperledgerFabric:ADistributedOperatingSystemforPermissionedBlockchains》,该论文介绍了IBM在联盟链方向的最新研究成果。话不多说,开始正文。FabricFabric是属于Hyperledger的一个子项目,后者是由Linux基金会发起面向区块链技术的开源项目,主要成员包括IBM、R3、Intel等等。Hyperledger实际上还有很多子项目,其中另一个比较著名的是SawtoothLake,由Intel主导,包含了一种全新的共识机制Proof-of-ElapsedTime,该共识策略支持Intel的SGX技术。Fabricv0.6在2016年九月发布,当时的Fabric和其他联盟链没有太大区别,采用PBFT共识。这篇论文介绍的是最新v1.0Fabric,主要对上述若干问题进行了较大改进,从节点架构上来看,取消了原来的Validating和Non-Validating节点,取而代之的是Endorser节点、Committer节点和全新的Orderer模块。专有名词解释:BFT:Byzantine-faulttolerant拜占庭容错,即有恶意节点情况下的容错CFT:crashfaulttolerant无恶意节点情况下的容错SMR:state-machinereplication状态机复制,分布式系统中最重要概念MSP:membershipserviceprovider成员管理模块,负责Fabric中三类节点的认证管理PTM:peertransactionmanager更新最新的交易的状态,以<k,v>形式存储VSCC:validationsystemchaincode验证chaincode,后文会详细介绍ESCC:endorsementsystemchaincode背书chaincode,后文会详细介绍Basics关于区块链的划分,通常包括公链、联盟链和私有链。最近几年学术圈给出了更为严谨的定义,即permissionlesschain和permissionedchain。在本文中,作者给出publicblockchain和permissionedblockchain的定义如下:Publicblockchainstypicallyinvolveanativecryptocurrencyandoftenuseconsensusbasedon“proofofwork”(PoW)andeconomicincentives.Apermissionedblockchainprovidesawaytosecuretheinteractionsamongagroupofentitiesthathaveacommongoalbutwhichdonotfullytrusteachother.可以看出来两者最主要的区别在于参与节点的身份是否确定以及是否引入了经济激励机制。当然无论publicchain还是permissionedchain,其本质仍然都是状态机复制,但由于智能合约的出现产生了新的变化。如果我们将智能合约看做一种分布式应用,blockchain和传统SMR的区别在于:多个智能合约可以同时运行;任何人都可以随时部署智能合约;智能合约代码不可信,甚至可能产生恶意后果Order-execute大部分区块链所采用的流程是:将transactions排序打包然后同步到每个节点,每个节点再按顺序执行这些交易。在论文中,这种架构被称之为“order-executearchitecture”,即先“order”再“execute”。如下图所示:

星云链创始人徐义吉:波卡还不能被称为第三代公链:金色财经现场报道,2020 Cointelegraph中文大湾区·国际区块链周8月6日在深圳举行。星云链创始人徐义吉在“第三代公链的技术演进之路”圆桌论坛上表示,每一个公链的目标都是做第三代公链。第一代公链是比特币,第二代公链是以以太坊为首的竞争公链,但第三代公链的概念是模糊的,苗头是Filecoin,承载去中心化数据的公链可能成为第三代公链。波卡只是负责链接,还不能被称为第三代公链。[2020/8/6]

这样的架构存在一些问题,首先所有节点按照顺序执行交易会限制性能,通常将不相关的操作并发执行可以提升性能,但是对智能合约很难做到并发,因为代码之间的依赖关系很难确定。此外,order-execute最大的限制是,所有节点所执行的交易必须满足确定性。类似以太坊这样采用Solidity这样的编程语言可以一定程度上保证代码确定性,但对于更流行的语言,则很难保证确定性。在联盟链中,一种可行的做法是,仅让部分节点运行代码,然后同步最终状态至全网。这样子一方面通过选择运行代码的节点从而保证代码运行的一致性,并且减少了验证节点数也提升了性能。但论文中也指出现有的联盟链存在一些问题,例如:Fixedtrustmodel:即合约执行背书和共识机制绑定,这种紧耦合的架构不够灵活;Hard-codedconsensus:共识机制通常为硬编码的形式固定,但实际上即便是BFT这一类的算法在不同场景下表现也不尽相同Execute-order-validateFabric采用了全新的交易架构,称之为execute-order-validate,如下图所示。

声音 | 星云链创始人徐义吉:公链发展应该是普惠共赢的:据东方财富消息,对于2019年区块链发展趋势,星云链创始人徐义吉认为,2018年的公链是封闭、排他的,2019年的公链应该是普惠共赢的。没有一条公链能够独自成功,作为区块链底层基础设施,还有太多地方值得大家相互探讨、学习和提升。2019年,区块链本质没有变化,即由分布式技术带来的“自治数据元网络”对未来生活的潜在影响和改变,寄托着由技术带给人们未来美好生活的期望,这种期望需要所有区块链从业者一起去努力,去突破。[2019/1/7]

在上述架构中,智能合约这种分布式应用包括了两个部分:chaincode:即原来的smartcontractcode,在execute阶段可以运行,值得注意的是,还有一种特殊的systemchaincodes,这类chaincodes定义了整个链的底层设置,包括validationsystemchaincode和endorsementsystemchaincode。endorsementpolicy:这个概念理解起来就有点绕了,可以理解为独立于共识模块的一种验证或者背书机制。传统consensus包括了验证节点是否作恶以及交易本身是否正确两个任务,而在Fabric中,将后者抽离成为endorsementpolicy。实际上这个模块也是可以替换的,比如“五个endorser节点中只要有三个执行结果一致则完成验证”这种策略完全可以换成“只需要XXXendorser节点完成执行则通过验证”。如下图所示,在Fabric中有三类节点,包括:

行情 | 区块链概念股七星云连续三日大涨:中概区块链概念股七星云上涨22%,连续第三日大涨,截至目前,本周涨幅接近140%。[2018/8/25]

Clients:这类节点即发起交易或者调用智能合约的普通节点;Peers:执行验证交易的节点,这类节点需要有全量ledger数据,在这类节点中,只有一部分负责执行交易,即endorsingpeers;OSNs:上述所有节点都需要认证,由MSP统一发放,形式可以为offline也可以为online。详细的交易流程如下图所示:

1.client发起交易,首先将交易信息发给定义好的若干endorsers,注意此处的endorsers是由交易本身的chaincode和其中的endorsementpolicy共同决定;此处proposemessage包括信息如下:tx=<clientID,chaincodeID,txPayload,timestamp,clientSig>clientID:提交交易的client的IDchaincodeID:交易所属的chaincode的IDtxPayload:交易本体信息timestamp:时间戳clientSig:client签名endorser收到message后,用client公钥验证clientSig,然后运行交易并验证输出结果。如果该endorser被选择为背书节点,则把结果发回给提交的client;该client收集每个endorser返回的信息,当满足endorsementpolicy后,则进入ordering阶段,反之该交易失败;client将通过endorsement的交易广播至所有orderers,后者通过某种共识机制对所有通过endorsement的交易进行排序,保证所有节点的数据满足时序一致性;orderers再将排序后的交易广播至其他peers,这里广播的实际上就是一个包含了若干交易的block和一个sequencenumber;所有peers验证block之后,更新自身的ledger,即完成上链。当然上述流程中有一些较强的假设,比如对于P2P传输而言,需要满足liveness,即broadcast(tx)操作在有限的时间内一定可以到达所有其他节点。关于ordering,可采用不同的共识机制,目前支持Kafka,BFT-SMaRt和Solo。Kafka是基于ZooKeeper的Paxos实现,可以实现50%的CFT;BFT-SMaRt则是PBFT的实现,可以实现33%的BFT;Solo是单order节点的ordering,主要用于开发测试。P2P传输,采用的是epidemicmulticast,包括了push和pull两种模式。Chaincode每一条链的配置位于特殊的configurationblocks中,包括了:MSPs定义OSNs地址consensus和ordering的部分参数,例如batchsize、timeoutsordering中的基本操作定义通过channelconfigurationupdatetransaction可以更新channel的配置每个application的chaincode包括了endorsementsystemchainco和validationsystemchainc。Evaluation为了测试,Fabric设计了一种UTXO模型的代币,简称Fabcoin。通过一个chaincode不断产生SPEND和MINTtransactions,分别模拟Fabcoin的产生和销毁。实验1:测试blocksize和Throughput关系,结论是在blocksize超过2MB之后TPS不再显著提升;不同transaction的size略有差别,比如MINTtransaction因为需要带有CB验证所以更大。

星云激励计划首周评选榜单公布,分享超过约合¥220万的奖励:星云激励计划第一周受到开发者积极响应,截止北京时间5月13日24点(区块高度为256,506),星云第一季激励计划第一周结束,共收到了822个应用,通过审核231个。星云技术团队根据排名算法,对激励计划第一周的应用进行了排名,评选出了第一周最佳应用冠亚季军各一名,以及优秀应用20名,总共送出超过约合220万元人民币的奖励,其中冠亚季军分别获得约合50万、25万、15万的奖励。星云链(NAS)是致力于构建可持续升级的良性生态3.0公链。[2018/5/17]

实验2:性能测试,

结论是validation是主要瓶颈,但随着vCPU增加得到了缓解,但是endorsement由于很难并行因此提升有限。32-vCPUpeers可以达到3560tps和3420tps;实验3:RAMdisk,tmpfs相比SSD提升了9%;实验4:Scalability,

星云链(NAS)首个生态项目荣获硅谷创业节优质项目大奖:据2018硅谷创业节现场报道,旧金山时间5月2号下午5点,星云实验室(Nebulabs)联合xGoogler区块链联盟(GBA)推出的首个基于星云链的数字广告生态项目——星途协议 Atlas Protocol (ATP),在2018硅谷创业节--区块链创新峰会上获得国际区块链优质项目奖。硅谷创业节是硅谷地区最大的国际创投年度盛会之一,参会人员除了技术精英外,包括中国驻旧金山总领馆总领事罗林泉、美国佛利蒙市市长等政界人士也一同参会发表演讲。星云链(NAS)是致力于构建可持续升级的良性生态3.0公链。(已于3月29号主网上线)[2018/5/3]

标签:CHAAINHAIChaininchattokenIdea Chain CoinHyperonChainCROSSCHAIN币

芝麻开门交易所下载热门资讯
以太坊被曝再出新“漏洞”?

译者|秦晓峰编辑|卢晓明据trustnodes消息,距离以太坊君士坦丁堡硬分叉还有两周时间,以太坊被曝出再次发现新“漏洞”.

1900/1/1 0:00:00
ProgPow:以太坊上浮世绘

编者按:本文来自链闻ChainNews,|作者:李画,星球日报经授权发布。「ProgPoW」是「ProgrammaticProof-of-Work」的缩写,简单的说,是一种Ethash算法经过GPU调试后的扩展,该算法可以防御ASIC.

1900/1/1 0:00:00
交易所屡被攻击,初创公司Arwen联合加密交易所KuCoin提出解决方法

1月28日,加密初创公司Arwen推出其同名协议的测试网版本,该公司首席执行官SharonGoldberg称其为“专门用于交易的第二层协议”。新协议旨在允许加密用户在中心化交易所进行交易时保持对其私钥的控制,以加强交易所安全.

1900/1/1 0:00:00
有趣的「零知识有条件支付」:真正完美的“一手交钱一手交货”是什么样的?

编者按:本文来自橙皮书,作者:安比实验室创始人郭宇,星球日报经授权发布。假如我们现在要做一笔交易,我想把自己的数据卖给你,怎样交易才是最安全的?显然这里会有两个问题:1、因为我卖的是数据,肯定不能直接给你,否则你得到数据后直接跑了怎么.

1900/1/1 0:00:00
一月、二月区块链安全事件盘点

导语:在整理近两个月发生的安全事件时,笔者不禁想起互联网的早期,也曾走过安全事件频发的阶段。即使到现在,互联网行业的安全事故也没有完全杜绝。其实,任何新生的事物,都会存在安全隐患.

1900/1/1 0:00:00
亚马逊用户为什么不愿杰夫·贝佐斯发行加密货币?

译者|Moni 最近,Investing.com对亚马逊用户进行了一项调查研究发现,只有13%的线上购物者愿意通过亚马逊购买比特币和其他加密货币,同样有大约13%的受访对象表示会从亚马逊购买处方药和医用大麻.

1900/1/1 0:00:00