星云研究院：Hyperledger Fabric論文分析_HAI:Zenith Chain

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

海納星云將推出首款元宇宙產品“星元境”:金色財經現場報道，9月15日在海納星云主辦的戰略發布會上，海納星云CEO許英龍提出，國內的元宇宙應該是以中國文化為核心基礎的虛擬世界游樂城。因此設計出海納星云的第一個元宇宙產品：以《山海經》為主要背景去構建版圖和土地風貌，用經典神話《封神演義》中的諸神八部為作為靈感，借助《魯班經》的智慧結晶開發道具編輯器，為玩家們提供更加富有創造力的工具。最終以封神的朝歌城，大唐不夜城為開端，建設星元境首批城邦，并且一步步的完善公共設施、經濟系統、玩法模組，建立扎實且自洽的世界觀。按照該元宇宙團隊的開發進度，預計2021年4月份可以看到第一塊大陸出現，2021年8月開放該元宇宙的編輯器，2023春節看到該元宇宙的第一個城邦。[2021/9/15 23:27:44]

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

動態 | 星云基金會2019下半年財務報告：期末余額逾1864萬USDT:2月3日，星云基金會發布《星云基金會財務報告》(2019年8月1日-2019年12月31日）。查詢發現，本期基金會財報期初余額為72,310,379.04 USDT，期末余額為18,642,110.71 USDT。[2020/2/3]

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

動態 | 星云鏈聯合創始人離開團隊:星云鏈聯合創始人王冠在社區留信稱要離開星云團隊。在信中說：“本次聯簽，并不存在一群人的博弈，大家都想把星云做好，理念不同，內部溝通不暢，自要說明，避免誤解，那樣只會在未來羈絆星云的發展速度。早前，我個人在三會結構推進過程中，已經退出了基金會內部工作。今天，我在此明確表示，我不參加星云基金會主席競選，從此亦不再出任星云團隊任何內部職位。[2019/7/1]

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

聲音 | 星云鏈創始人徐義吉：公鏈發展應該是普惠共贏的:據東方財富消息，對于2019年區塊鏈發展趨勢，星云鏈創始人徐義吉認為，2018年的公鏈是封閉、排他的，2019年的公鏈應該是普惠共贏的。沒有一條公鏈能夠獨自成功，作為區塊鏈底層基礎設施，還有太多地方值得大家相互探討、學習和提升。2019年，區塊鏈本質沒有變化，即由分布式技術帶來的“自治數據元網絡”對未來生活的潛在影響和改變，寄托著由技術帶給人們未來美好生活的期望，這種期望需要所有區塊鏈從業者一起去努力，去突破。[2019/1/7]

實驗2：性能測試，

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

星云主網將于3月30日上線:據星云官方公眾號消息，星云主網將于北京時間3月30日13：00上線，為了使開發者能夠在和主網一致的環境中進行開發測試，星云團隊計劃重置整個測試網絡，使其升級到和主網一致的版本。[2018/3/27]

Tags：CHAAINChainHAISkillchainMesChainZenith Chainblockchain平臺靠譜嗎

FIL幣