CHA:星云研究院：Hyperledger Fabric論文分析_AIN

本文作者：星云研究院資深研究院湯載陽博士。華中科技大學計算機博士，日本會津大學和法國南巴黎國立電信學院訪問學者，研究方向包括分布式系統、無線網絡和區塊鏈共識，在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”。如下圖所示：

現場 | 星云鏈徐義吉：下一代區塊鏈的三個明確訴求:金色財經現場報道，今日中本聰團隊見面會暨第一屆區塊鏈技術與行業落地研討會在上海舉行，在圓桌論壇《下一代區塊鏈技術展望》上嘉賓圍繞“下一代區塊鏈技術機會在哪里、挑戰在哪里”展開了討論，星云鏈創始人徐義吉表示，展望下一代區塊鏈，三個明確的訴求或者是當前仍舊面對的問題：

第一，是一個價值尺度。我們有幾千條區塊鏈，甚至更多的地方我們沒有一個基于去中心化的價值把這些鏈進行打通和交互，這是現在非常嚴重的問題；

第二，我們說叫自凈化，這個系統我們說因為區塊鏈還在高速發展，但是它是一個分布式系統，所以你面對的這種錯、漏、BUG，系統升級是非常痛苦的，在去年5月份之后有重大的事件出來，系統需要有一個自凈化的能力；

第三，是區塊鏈世界原生的激勵，我們現在討論很多的還是說幣價，還是我們很多的投資者，大家有沒有想過區塊鏈真正發展起來一定來自于用戶和開發者之間的一種良性互動，這種良性互動一定是需要系統內升有一種制度的保證，和內升激勵的保證，這是我們非常看重的問題。

我覺得區塊鏈更多的是需要有一些耐心，需要我們更理性去看待它。相對于我們說九幾年的互聯網，相對于我們早期的那些創新的事物，還是有很長一段時間來走，但是我們還是對于這些有不變的初心和熱情，這里面我覺得非常開心。[2018/6/27]

這樣的架構存在一些問題，首先所有節點按照順序執行交易會限制性能，通常將不相關的操作并發執行可以提升性能，但是對智能合約很難做到并發，因為代碼之間的依賴關系很難確定。此外，order-execute最大的限制是，所有節點所執行的交易必須滿足確定性。類似以太坊這樣采用Solidity這樣的編程語言可以一定程度上保證代碼確定性，但對于更流行的語言，則很難保證確定性。在聯盟鏈中，一種可行的做法是，僅讓部分節點運行代碼，然后同步最終狀態至全網。這樣子一方面通過選擇運行代碼的節點從而保證代碼運行的一致性，并且減少了驗證節點數也提升了性能。但論文中也指出現有的聯盟鏈存在一些問題，例如：Fixedtrustmodel：即合約執行背書和共識機制綁定，這種緊耦合的架構不夠靈活；Hard-codedconsensus：共識機制通常為硬編碼的形式固定，但實際上即便是BFT這一類的算法在不同場景下表現也不盡相同Execute-order-validateFabric采用了全新的交易架構，稱之為execute-order-validate，如下圖所示。

星云第一季激勵計劃第二周評選榜單公布:nebulas官網公告，星云計劃第二周開發者熱情不減，截止北京時間5月20日24點（區塊高度為296,807），星云第一季激勵計劃第二周結束，共收到了813個應用，通過審核135個。第二周開發者與推廣者獲獎者共計226人次，將分享超過約合190萬人民幣的星云幣獎勵，恭喜各位獲獎的小伙伴。

星云技術團隊根據排名算法，對激勵計劃第二周的應用進行了排名，評選出了第二周最佳應用冠亞季軍各一名，以及優秀應用20名。[2018/5/22]

在上述架構中，智能合約這種分布式應用包括了兩個部分：chaincode：即原來的smartcontractcode，在execute階段可以運行，值得注意的是，還有一種特殊的systemchaincodes，這類chaincodes定義了整個鏈的底層設置，包括validationsystemchaincode和endorsementsystemchaincode。endorsementpolicy：這個概念理解起來就有點繞了，可以理解為獨立于共識模塊的一種驗證或者背書機制。傳統consensus包括了驗證節點是否作惡以及交易本身是否正確兩個任務，而在Fabric中，將后者抽離成為endorsementpolicy。實際上這個模塊也是可以替換的，比如“五個endorser節點中只要有三個執行結果一致則完成驗證”這種策略完全可以換成“只需要XXXendorser節點完成執行則通過驗證”。如下圖所示，在Fabric中有三類節點，包括：

星云鏈NAS啟動激勵計劃，首日收到260個Dapp提交:激勵計劃實施首日，星云團隊共收到了260多個DApp。同時在提交Dapp當天，測試網遭到惡意DDOS攻擊，星云團隊第一時間修復了測試網，現已正常運行。基于良好的開發體驗，越來越多的開發者正在星云鏈上部署dapp。星云鏈（NAS）是致力于構建可持續升級的良性生態3.0公鏈。（已于3月29號主網上線）[2018/5/10]

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驗證所以更大。

gate.io將為星云鏈（Nebulas NAS）用戶兌換主網資產公告:星云鏈（Nebulas NAS）主鏈已經上線，gate.io已經對主鏈進行測試并已經完成技術對接。gate.io正式開始為所有NAS用戶兌換主網資產。[2018/5/4]

實驗2：性能測試，

結論是validation是主要瓶頸，但隨著vCPU增加得到了緩解，但是endorsement由于很難并行因此提升有限。32-vCPUpeers可以達到3560tps和3420tps；實驗3：RAMdisk，tmpfs相比SSD提升了9%；實驗4：Scalability，

七星云發布聲明:對于七星云集團購買了美國加密貨幣交易所DBOT 27%的股份一事，七星云發布聲明解釋到，七星云絕不是比特幣相關的公司。必須強調的是，區塊鏈的機遇和可能性遠遠超出了加密貨幣的范疇。公司正在運用區塊鏈和人工智能為供應鏈融資，風險管理和資產支持的數字證券化創造一個混合的解決方案。而這些只是我們所瞄準的第一個巨大的機會和市場，更多的信息將在2018年公布。[2017/12/26]

Tags：CHAHAIAINChainLeLe Food ChainFlowchainBRAINS幣xpowerchain

非小號