本文作者:星云研究院資深研究院湯載陽博士。華中科技大學計算機博士,日本會津大學和法國南巴黎國立電信學院訪問學者,研究方向包括分布式系統、無線網絡和區塊鏈共識,在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”。如下圖所示:
動態 | 包含貢獻度證明(PoD)的星云新版主網將于2020年3月上線:據官方消息,包含貢獻度證明(PoD)的星云新版主網將于2020年3月上線。[2020/2/13]
這樣的架構存在一些問題,首先所有節點按照順序執行交易會限制性能,通常將不相關的操作并發執行可以提升性能,但是對智能合約很難做到并發,因為代碼之間的依賴關系很難確定。此外,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中有三類節點,包括:
聲音 | 星云鏈創始人:IEO只是ICO的變種 快速融資對于創業團隊反而不好:星云鏈創始人徐義吉在《玉竹陪你迎牛市》欄目中表示:16年就已初步探索過IEO,只是ICO的變種,快速融資一大筆錢對于創業團隊反而不好,創業公司應該關注自己的核心業務,而不是管理資產。區塊鏈項目應該關注如何讓用戶使用到自己手上的Token,并參與到生態的建設中。在區塊鏈的世界里,每個人的數據和資產都應該是神圣不可侵犯的,所以每個人都應有話語權和投票權。[2019/3/22]
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驗證所以更大。
動態 | 七星云將籌資近240億美元提供電動公交升級:據coindesk報道,區塊鏈和人工智能技術公司七星云集團與中國國家運輸能力有限公司(NTS)簽訂了獨家合同,為該全方位服務運營商提供大規模的電動公交升級服務。七星云將通過其監管投訴區塊鏈生態系統發行固定收益租賃融資產品。對于以中國為基礎的融資,七星云將專注于固定收益產品的銷售。對于國際市場,七星云將提供固定收益和資產數字化產品。具體來說,納斯達克上市公司七星云計劃在三年期間分別籌集約87.5億美元及150億美元。[2018/8/21]
實驗2:性能測試,
結論是validation是主要瓶頸,但隨著vCPU增加得到了緩解,但是endorsement由于很難并行因此提升有限。32-vCPUpeers可以達到3560tps和3420tps;實驗3:RAMdisk,tmpfs相比SSD提升了9%;實驗4:Scalability,
星云激勵計劃首周評選榜單公布,分享超過約合¥220萬的獎勵:星云激勵計劃第一周受到開發者積極響應,截止北京時間5月13日24點(區塊高度為256,506),星云第一季激勵計劃第一周結束,共收到了822個應用,通過審核231個。星云技術團隊根據排名算法,對激勵計劃第一周的應用進行了排名,評選出了第一周最佳應用冠亞季軍各一名,以及優秀應用20名,總共送出超過約合220萬元人民幣的獎勵,其中冠亞季軍分別獲得約合50萬、25萬、15萬的獎勵。星云鏈(NAS)是致力于構建可持續升級的良性生態3.0公鏈。[2018/5/17]
Tags:CHAHAIAINChaininkchainanticounterfeitchainPEPECHAIN幣Mchain
頭條 李國慶離職當當,加入區塊鏈行業2月20日上午,當當創始人李國慶以公開信的方式宣布離開當當。公開信上提及區塊鏈,他表示,區塊鏈的經濟制度給企業賦予核武器,創造出全新的激勵和賦權.
1900/1/1 0:00:00在2018年,在加密貨幣的評論者中,是否“被主流所接受”,成為區塊鏈成功與否的評判標志之一。一些人公然開始預測加密貨幣資產對他們的投資行為所帶來的影響,2018年的市場中,我們確實看到比特幣期貨.
1900/1/1 0:00:00區塊鏈在1.0的時代,只有Coin,實現價值傳輸。區塊鏈進入2.0的時代,主流的是Token。通證代表一種權益,是對用戶和所有參與者的激勵,小到一個“點贊”的動作,一次“轉發”的行為,甚至瘦身減.
1900/1/1 0:00:00譯者|Moni編輯|盧曉明“難度炸彈”是嵌入在以太坊協議中的一段代碼,長久以來一直影響區塊挖掘激勵.
1900/1/1 0:00:00在美國法域內進行的合規的ICO,究其本質是有具體法規的STO。對此,美國證券交易委員會(SEC)近日在網頁上最新發布了「關于ICO的5點必知」等指導意見,不僅對此詮釋得更通俗易懂,也進一步推進了.
1900/1/1 0:00:001月16日,據慢霧、PeckShield等安全公司披露,近期針對EOSDApp遭遇“交易排擠攻擊”的持續性威脅情報監測:EOS.WIN、FarmEOS、影骰、LuckBet、GameBet、Fi.
1900/1/1 0:00:00