MultiVAC今天正式發(fā)布了智能合約紫皮書：《MultiVAC編程模式紫皮書：支持圖靈完備智能合約的區(qū)塊鏈分片方案》。

該論文是MultiVAC核心算法團隊繼2018年發(fā)布技術(shù)白皮書和技術(shù)黃皮書后的第三個技術(shù)力作：

· 在彈性計算白皮書中，MultiVAC首創(chuàng)了彈性計算分片模型，將區(qū)塊鏈的不可能三角轉(zhuǎn)化成為彈性架構(gòu)，開發(fā)者可以自由定義和取舍安全性、去中心化和擴展性，描述和論證了MultiVAC彈性公鏈的整體技術(shù)架構(gòu)；

· 在全維度分片黃皮書中，MultiVAC提出了世界上首個計算、存儲和傳輸三個維度都實現(xiàn)完全分片的區(qū)塊鏈架構(gòu)，真正實現(xiàn)了無限拓展性，還有效降低了礦工門檻，使得個人電腦等普通計算設(shè)備也能夠自由加入網(wǎng)絡(luò)；

· 在今天發(fā)布的編程模式紫皮書中，MultiVAC在高效低門檻的全分片架構(gòu)上，實現(xiàn)了對圖靈完備智能合約的有效支持，提供了一個全新的支持并行化處理的區(qū)塊鏈編程模型，將區(qū)塊鏈這臺世界計算機從單核升級到可無限擴展的多核系統(tǒng)。

MultiVAC CTO應(yīng)翔博士在紫皮書中指出：

“很多分片項目基于區(qū)塊鏈2.0時代的淺薄認知，將區(qū)塊鏈分片的層次劃分為網(wǎng)絡(luò)分片、交易分片、狀態(tài)分片，而忽視了下一代區(qū)塊鏈系統(tǒng)所面臨的真正挑戰(zhàn)來源于對傳統(tǒng)馮諾依曼計算機體系的革命性創(chuàng)新和重定義。若真正視區(qū)塊鏈為下一代去中心化的世界計算機，區(qū)塊鏈系統(tǒng)應(yīng)重建新的體系結(jié)構(gòu)以應(yīng)對吞吐量限制，設(shè)計全新的存儲和傳輸策略來重定義世界計算機的數(shù)據(jù)流，提供全新的編程模式來適配全新的體系結(jié)構(gòu)，堅守去中心化的初心以保障這一世界計算機不受任何單一個體的控制且永不被關(guān)停。

MultiVAC設(shè)計了全維度平行分片的架構(gòu)，真正將區(qū)塊鏈這個世界計算機從單核升級到可無限擴展的多核系統(tǒng)，解決了關(guān)鍵性的吞吐量瓶頸。開創(chuàng)性的存儲與數(shù)據(jù)控制權(quán)分離策略，顛覆了馮諾依曼結(jié)構(gòu)依賴的存儲框架，使分布式數(shù)據(jù)流可交互、可驗證。全新的異步分片開發(fā)模式和LLVM開發(fā)平臺，允許開發(fā)者在多核分布式體系下靈活開發(fā)，實現(xiàn)各種編程邏輯。而低礦工門檻保證了普通用戶可以自由加入MultiVAC系統(tǒng)，整個系統(tǒng)的控制權(quán)又完整掌控在普通礦工手中，保證了MultiVAC成為真正去中心化的區(qū)塊鏈架構(gòu)。

2008年中本聰在比特幣白皮書中高喊的“One-CPU-One-Vote”理念，被ASIC礦機和中心化礦池所無情摧毀，但終將在MultiVAC上再次重建，并更加強大！”

自去年10月份MultiVAC算法團隊啟動智能合約編程模式設(shè)計，到今年5月份完稿發(fā)布，紫皮書共經(jīng)歷了6個月接近30個版本的迭代。方案設(shè)計的同時，團隊同步推進了工程可行性驗證和架構(gòu)開發(fā)工作。

紫皮書的發(fā)布，也意味著MultiVAC底層架構(gòu)已經(jīng)全部設(shè)計完畢，接下來將進入經(jīng)濟模型討論與開發(fā)者平臺構(gòu)建階段。

以下內(nèi)容是對紫皮書部分的摘要和解讀，歡迎廣大技術(shù)愛好者和社區(qū)粉絲討論指正：

如果概括MultiVAC的整體設(shè)計，引用紫皮書中的一段話：“MultiVAC精巧地將各個功能模塊做了合理劃分，使運行節(jié)點各司其職。在存儲上，將壓力轉(zhuǎn)移到存儲模塊，減輕了普通參與者的負擔，而存儲模塊本身不涉及執(zhí)行和共識，不存在中心化風(fēng)險。在執(zhí)行上，MultiVAC 提供了完整的指令集，不給開發(fā)者設(shè)置局限，且在設(shè)計過程中，時刻體現(xiàn)了對運行性能的重視。在共識方面，權(quán)力在各執(zhí)行節(jié)點中均勻分布，平權(quán)原則落到實處。”

MultiVAC 系統(tǒng)的特色如下：

· MultiVAC 是一個圖靈完備的分片區(qū)塊鏈方案。為開發(fā)者提供靈活的編程開發(fā)框架以搭建復(fù)雜的應(yīng)用。

· MultiVAC 是首個實現(xiàn)性能完全線性擴展的分片。異步分片架構(gòu)為構(gòu)建高 TPS 的區(qū)塊鏈網(wǎng)絡(luò)提供了基礎(chǔ)。

· 降低了參與者的設(shè)備門檻，維護了區(qū)塊鏈系統(tǒng)去中心化的核心價值主張。MultiVAC 網(wǎng)絡(luò)的參與者不需要性能強勁的設(shè)備，使得社區(qū)更加平民化、去中心化。

· MultiVAC 的拓展性十分優(yōu)異。目前的 MultiVAC 方案靈活、簡潔、優(yōu)雅，在當前基礎(chǔ)上可以較簡單地加入新的擴展功能，如閃電網(wǎng)絡(luò)或隱私計算等。

MultiVAC 突破性地解決了當今區(qū)塊鏈世界的多項關(guān)鍵性難題，為建立一個理想的區(qū)塊鏈社區(qū)打下了堅實的基礎(chǔ)。

1、UTXO/賬戶雙模型彈性選擇+異步分片編程——保證跨分片交互一致性

現(xiàn)有的其他合約分片方案，大多采用兩種方式保證跨分片信息傳遞的一致性。一種要求發(fā)送跨分片交易時等待回執(zhí)，并對涉及數(shù)據(jù)加鎖，不僅大幅度降低系統(tǒng)性能，回執(zhí)也可能丟失。這就像你通過微信給一人發(fā)送消息，如果對方?jīng)]有回復(fù)，你需要一直等待，什么也不做。可能對方很久之后才能回復(fù)你，也有可能永遠不回復(fù)（消息丟失了），因此這種方式會對系統(tǒng)性能產(chǎn)生極大的限制。

另一種是將跨分片交易拆分為多個子操作。比如一筆交易從分片A發(fā)送到分片B，在分片A中執(zhí)行扣款后，轉(zhuǎn)賬指令的執(zhí)行將完全由分片B決定，因此一但交易量上升，將導(dǎo)致執(zhí)行順序喪失單調(diào)一致性。這就要求跨片操作滿足交換律（轉(zhuǎn)賬類操作），即改變執(zhí)行順序也可以得到同樣結(jié)果。但很多其他邏輯的智能合約是無法滿足交換律的，很多公鏈項目通過對系統(tǒng)的約束來保證此類指令的交換律，因此放棄了智能合約的圖靈完備性，使得可開發(fā)的應(yīng)用邏輯受到了極大的限制。

舉個例子，A村的兩個男村民皇埔鐵牛和司馬鐵蛋都愛上了隔壁B村的蘇翠花姑娘，他們都寫了一封情書給蘇翠花。而蘇翠花先收到誰的情書就會接受誰。皇埔鐵牛和司馬鐵蛋先后將情書放入郵筒，并由B村的郵遞員送到蘇翠花的手里。在一個無法維持單調(diào)一致性的郵政系統(tǒng)中，蘇翠花先收到誰的信取決于郵遞員：郵遞員保證信最終會送到收信人手中，但是收信人收到信的順序不一定遵循基礎(chǔ)的順序。而在MultiVAC的系統(tǒng)中，郵遞員保證收信的順序和寄出信件的順序一致。

針對這一問題，MultiVAC將跨片操作分為兩類：

對于滿足交換律的操作，使用UTXO數(shù)據(jù)類型，礦工可以無視內(nèi)容低成本快速執(zhí)行操作；

對于必須滿足單調(diào)一致性的復(fù)雜智能合約操作，則使用賬戶模型，并強制從協(xié)議層面要求礦工按照順序執(zhí)行，但成本較高，適用于低頻操作。

通過首創(chuàng)的雙數(shù)據(jù)模型彈性選擇，允許開發(fā)者靈活選擇所需的數(shù)據(jù)類型，使系統(tǒng)在一致性、性能和成本方面達成了靈活與平衡。

此外，礦工發(fā)送跨片間交易指令是異步操作，發(fā)送完畢后礦工可立即參與下一輪的出塊，無需等待其他分片回執(zhí)，分片之間數(shù)據(jù)不共享和交互不堵塞，避免了數(shù)據(jù)加鎖帶來的性能瓶頸。

2、全局數(shù)據(jù)分散設(shè)計+多賬戶模型——提高分片并行性能

我們知道，將區(qū)塊鏈網(wǎng)絡(luò)進行分片的目的是要提高整體性能。因此為了達到并行處理的目的，分片之間不可能進行完全數(shù)據(jù)共享，那樣也違背了分片的初衷。但智能合約又要求所有分片都對此全局數(shù)據(jù)有感知。

比如，某個電商平臺的智能合約中有10個商品，分片A的用戶買了5個，分片B的用戶最多只能購買5個，商品數(shù)量就是全局數(shù)據(jù)，每次合約調(diào)用各分片間都需要相互同步，否則就會造成超賣。因此，如何處理對全局數(shù)據(jù)的依賴是所有區(qū)塊鏈系統(tǒng)都要面對的難題。

為了保證數(shù)據(jù)一致性，目前通常有兩種方案，一種是給數(shù)據(jù)加鎖，同一時間只能被單一分片讀寫；另一種是數(shù)據(jù)只允許被單一指定分片調(diào)用。但這兩種方案都會導(dǎo)致智能合約的吞吐量嚴重制約于單個分片。

針對以上，我們首次提出將全局數(shù)據(jù)拆分到各個分片上，即將總商品數(shù)量下放到分片，每個分片中都會有一定的商品額度，當交易發(fā)生時，智能合約只讀寫對應(yīng)分片的數(shù)據(jù)就可以。允許用戶在不同分片上進行操作，防止分片間購買力不同而造成的庫存不足，將全局交易分散到各個分片上。同時，用戶在所有分片上都有賬戶，鼓勵用戶進行快速低成本的片內(nèi)交易，充分釋放了分片的并行性能。

3、圖靈完備虛擬機+高級語言C/C++/Rust——實現(xiàn)超高自由度開發(fā)

正如紫皮書中提到的，目前很多公鏈方案為了簡化設(shè)計，舍棄了圖靈完備性，導(dǎo)致開發(fā)者能夠?qū)崿F(xiàn)的業(yè)務(wù)邏輯嚴重受限。也有部分公鏈提出了自己的開發(fā)語言，不僅學(xué)習(xí)成本高，而且無法支持高級開發(fā)框架，徒增開發(fā)者的編程負擔。

在這一點上，MultiVAC秉承了一貫的設(shè)計理念，不給開發(fā)者設(shè)限。我們提供了圖靈完備的虛擬機，同時適配C/C++/Rust等多種高級成熟編程語言，為開發(fā)者提供靈活的編程開發(fā)框架以搭建各種復(fù)雜應(yīng)用。

不僅如此，MultiVAC 團隊認為，沒有完美的區(qū)塊鏈系統(tǒng)，一套好的區(qū)塊鏈方案應(yīng)該能夠隨著各領(lǐng)域的技術(shù)突破不斷進化。所以在設(shè)計過程中，MultiVAC遵循了松弛可擴展的原則，保證整套技術(shù)框架易迭代易拓展，各模塊能夠靈活地整合新技術(shù)，與時俱進。目前的 MultiVAC 方案靈活、簡潔、優(yōu)雅，在當前基礎(chǔ)上可以較簡單地加入新的擴展功能，如閃電網(wǎng)絡(luò)或隱私計算等。