區(qū)塊鏈曾經(jīng)被形容成一項無所不能的科技，被看好能帶來下一代的價值互聯(lián)網(wǎng)。然其自身卻存在著稱為“不可能三角”的技術(shù)瓶頸，至今仍遠遠無法施展?jié)撃?。所謂“不可能三角”，就是指區(qū)塊鏈網(wǎng)絡(luò)很難同時兼顧擴展性（Scalability）、安全性（Security）、去中心性（Decentralization）這三項要求，至多只能取其二。

因為區(qū)塊鏈必須通過分布于全世界的成千上萬個計算機節(jié)點來提供算力，協(xié)助驗證網(wǎng)絡(luò)交易，以達到不需要一個權(quán)威中心也能讓使用者信任的目的。但如此一來，整個網(wǎng)絡(luò)就很難兼顧擴展性能與安全。最早的比特幣區(qū)塊鏈和以太坊區(qū)塊鏈，歷經(jīng)多年發(fā)展仍性能低下。過去一兩年許多號稱區(qū)塊鏈 3.0 的公鏈項目，都宣稱克服了這一不可能三角，但大體而言，至今尚未出現(xiàn)一個完全具信服力、并廣為接受的解決方案。

不過，一篇由兩名華人專家所撰寫的區(qū)塊鏈擴容論文〈Monoxide: Scale Out Blockchain with Asynchronized Consensus Zones〉，提出了 Monoxide 方案，關(guān)鍵設(shè)計就是通過其創(chuàng)新的“異步共識組”（Asynchronized Consensus Zones），將區(qū)塊鏈性能提升至比特幣的千倍以上，并同時兼顧安全性與去中心化。這一方案獲得計算機頂級學術(shù)會議 NSDI 2019 收錄，即將于 2 月底在波士頓正式公開發(fā)表。

這是繼 2017 年著名圖靈獎得主、麻省理工學院教授 Silvio Micali 的 AlgoRand 項目登上 SOSP 大會，睽違近兩年再有區(qū)塊鏈公鏈論文入選計算機系統(tǒng)頂級會議。

“所謂的不可能三角，只是目前既有區(qū)塊鏈項目所歸結(jié)出來的一個總結(jié)問題，并不能代表區(qū)塊鏈技術(shù)必然會有這一問題”，該篇論文主要作者王嘉平近日接受 DT 君專訪時表示。

他進一步解釋，如果從單鏈的前提來講，不可能三角是正確的，單鏈系統(tǒng)確實存在這樣的天生瓶頸。但如果是從單鏈演變至多鏈的前提來看，不可能三角就有了不同的可能性。

王嘉平為微軟總部研究院前主管研究員，專注于分布式系統(tǒng)、計算機圖形學和視覺以及用于機器學習的 GPU 集群等領(lǐng)域的研究。離開微軟后，他又在創(chuàng)新工場擔任執(zhí)行董事，負責區(qū)塊鏈和人工智能等投資方向，曾主導(dǎo)了對比特大陸的首輪機構(gòu)投資，成為其首輪三大主要投資方之一。

去年他通過個人微信公眾號發(fā)表“區(qū)塊鏈到底有什么了不起”、“區(qū)塊鏈公鏈如何才能快起來”等一系列文章，闡述他在區(qū)塊鏈領(lǐng)域內(nèi)的經(jīng)歷，并梳理出為什么他相信區(qū)塊鏈技術(shù)是一項了不起的技術(shù)，在行業(yè)內(nèi)引發(fā)廣大回響。

圖｜王嘉平（來源：王嘉平）

王嘉平說，Monoxide 的基礎(chǔ)實現(xiàn)和實驗驗證是在 2018 年夏天就已完成，9 月份時候投稿 NSDI 2019。11 月底就順利收到大會官方通知收錄，比原定時間還早了幾天。

NSDI 的全稱是“Networked Systems Design and Implementation”，與 OSDI 或 SOSP 齊名，是計算機網(wǎng)絡(luò)系統(tǒng)領(lǐng)域最富盛名的頂級學術(shù)會議之一。此前亦有眾多訴求公鏈性能的區(qū)塊鏈團隊，希望能將論文投上這類國際頂會，但幾乎都告失敗。

在今年 NSDI 接受的 49 篇文章中，亦僅有 Monoxide 一篇論文是區(qū)塊鏈相關(guān)。王嘉平認為，區(qū)塊鏈技術(shù)相關(guān)研究在整個學術(shù)界還是非常新興的課題，主流學術(shù)力量尚未完全進入到這個領(lǐng)域，而在已進入者中，計算機系統(tǒng)研究者更是少數(shù)。而這篇論文在在 NSDI 上發(fā)表，也標志了主流計算機學術(shù)界首次對區(qū)塊鏈擴容方案相關(guān)研究的認可。

他指出，若用計算機體系結(jié)構(gòu)的視角去看待區(qū)塊鏈，后者就是一個馮?諾伊曼架構(gòu)（Von Neumann architecture）的延伸，并將馮?諾伊曼架構(gòu)的計算架構(gòu)進一步拓展，使其同特定的物理計算設(shè)備分離，才能從根本上避免計算過程被單一的控制方掌控，讓所有人都可以信賴這個計算系統(tǒng)。

在這篇論文中，王嘉平與汪浩等人提出了一個名為 Monoxide（一氧化物）的區(qū)塊鏈擴容方案，經(jīng)實驗證明在 4.8 萬個全球節(jié)點組成的測試環(huán)境中，性能可以較比特幣網(wǎng)絡(luò)高出 1000 倍，從而有望打破不可能三角這個長期困擾區(qū)塊鏈性能的瓶頸。

重要的是，其所提出的 Monoxide 方案，具體采用的共識算法可以是 PoW（工作量證明），也可以是類 BFT（拜占庭容錯）或者 VRF（可驗證隨機函數(shù)）。王嘉平對 DT 君表示，他希望未來能通過授權(quán)合作的方式，將這一擴容方案與更多區(qū)塊鏈項目結(jié)合，加速區(qū)塊鏈性能的擴展。

圖｜ Monoxide 總體設(shè)計（來源：王嘉平）

Monoxide 的關(guān)鍵設(shè)計是“Asynchronized Consensus Zones”（異步共識組）。異步是其重要特性，但核心是共識組這個模型。

王嘉平解釋，共識組由多個同質(zhì)的、功能上完全一致、地位上也完全平等，并邏輯上盡量隔離的獨立共識系統(tǒng)的實例所構(gòu)成，它們并行工作，分攤?cè)W(wǎng)的吞吐、計算、存儲的壓力，也分攤?cè)W(wǎng)狀態(tài)的維護工作。其所提出的共識組包含以下幾個特征：

具備獨立的相對穩(wěn)定的節(jié)點集合，邏輯上不要求一個節(jié)點參與到多個共識組。

具備獨立的賬簿，承載全網(wǎng)的一部分用戶（組內(nèi)用戶）。各個共識組的組內(nèi)用戶沒有交集。

具備獨立的非阻塞的出塊過程，各個組之間沒有任何同步的需要（如需要互斥鎖定特定資源）。

具備獨立的未確認交易集合，僅有和組內(nèi)用戶相關(guān)的未確認交易會被暫存。

具備獨立的出塊候選或競爭機制，礦工僅限于組內(nèi)競爭，和其他組的礦工無直接競爭關(guān)系。

具備獨立的 Gossip 網(wǎng)絡(luò)，完成區(qū)塊和未確認交易的廣播，不波及其他共識組的節(jié)點。

由此來看，Monoxide 是一個以分片技術(shù)（sharding）為基礎(chǔ)的公鏈架構(gòu)方案。分片技術(shù)并非由 Monoxide 獨創(chuàng)，來自新加坡的 Zilliqa 可算是是首個將分片落地的公鏈項目，目前分片已成為區(qū)塊鏈擴容的主流取徑之一。

然而既有的分片方案，或多或少都犧牲了安全性或去中心化，還沒有出現(xiàn)令人滿意的解方。而王嘉平強調(diào)，好的分片方案，各個分片應(yīng)該是同質(zhì)的，在功能上完全一致，地位上也完全平等。因此他提出異步共識組的模型。

但這會衍生出兩個問題，一是如何保障每個共識組的安全性？一是如何正確且高效地完成跨共識組的交易？

對此 Monoxide 提出了“連弩挖礦”（Chu-ko-nu Mining）和“最終原子性”（Eventual Atomicity）兩個關(guān)鍵概念，前者通過協(xié)議層的調(diào)整，放大網(wǎng)絡(luò)有效算力，防止算力集中攻擊特定共識組。后者保障了 Monoxide 系統(tǒng)中交易原子性在所有接力交易被確認和執(zhí)行之后，可以得到滿足。

王嘉平表示，通過設(shè)計了這樣的一個系統(tǒng)以及協(xié)議，Monoxide 保證其上的跨分片交易可以正確、高效地完成，保證攻擊單個共識組的代價同攻擊整個網(wǎng)絡(luò)代價相當，也保證了單個運行中的全節(jié)點需要承擔的系統(tǒng)壓力不會隨著全網(wǎng)性能的提升而變大。

Monoxide 是否算是真正突破了所謂的區(qū)塊鏈不可能三角？王嘉平說，“我認為是。”他強調(diào)，雖然還不算完全徹底突破，但是可以說“撕開了一個巨大的口子”。

這個工作，為保證跨片交易得以正確安全地完成，基于當前互聯(lián)網(wǎng)帶寬，系統(tǒng)伸縮性大致會止步于百萬 TPS 和幾十萬個共識組的規(guī)模。并不能實現(xiàn)無限的伸縮性。但無論如何，異步共識組仍可輕松達成提升 1000 倍性能的目標。

DeepTech 很高興將邀請到王嘉平博士成為我們區(qū)塊鏈專欄 DeepHash 的作者，這更是他除了個人公眾號外，首度在媒體上開設(shè)專欄。明天他將在首篇專欄文章中，進一步解釋 Monoxide 究竟是如何具體突破區(qū)塊鏈不可能三角的，包含其研究中提出的“連弩挖礦”與“最終原子性”兩個重要創(chuàng)新。