作者：Ali Sheikh，加密分析師；翻譯：喜來順財經xiaozou
本文將概述區塊鏈的并行設計架構，借用三個相關例子：Solana、Sei和Monad。本文強調樂觀并行和確定性并行之間的區別，并了解這些鏈上的狀態和內存訪問的細微差別。
1837年，計算機科學家和數學家Charles Babbage（查爾斯·巴貝奇）設計了“Analytical Engine（分析機）”，為并行計算奠定了理論基礎。如今，并行化是加密世界的一個關鍵主題，區塊鏈正試圖擴展處理、效率和吞吐量的邊界。
并行計算使許多計算或進程能夠同時執行，而不是必須按順序或一個接一個地執行計算。并行計算指的是將較大的問題分解成多個較小的獨立部分，這些部分可以由多個通過共享內存進行通信的處理器來執行。并行系統具有許多優點，例如提高效率和速度、可擴展性、改進可靠性和容錯性、優化資源利用率以及處理超大數據集的能力。
然而，認識到并行化的效力取決于底層體系結構和實現的細節是至關重要的。區塊鏈的兩個核心瓶頸是加密功能（哈希函數、簽名、橢圓曲線等）和內存/狀態訪問。對于區塊鏈來說，設計高效并行系統的關鍵組件之一在于狀態訪問的細微差別。狀態訪問是指交易讀取和寫入區塊鏈狀態的能力，包括存儲、智能合約和賬戶余額。為了使并行區塊鏈有效且具有高性能，必須優化狀態訪問。
目前在優化并行化區塊鏈的狀態訪問方面有兩個思想流派：確定性并行和樂觀并行。確定性并行要求代碼明確地預先聲明區塊鏈狀態的哪些部分將被訪問和修改。這讓系統可以事先確定哪些交易是可以并行處理的，而不會發生沖突。確定性并行支持可預測性和高效率（特別是在大部分獨立交易的情況下）。然而，它確實給開發人員帶來了更多的復雜性。
樂觀并行不需要代碼預先聲明其狀態訪問就可并行處理交易，就好像不會發生沖突一樣。如果出現沖突，樂觀并行將重新運行、重新處理或串行運行沖突交易。雖然樂觀并行化為開發人員提供了更大的靈活性，但沖突需要重新執行，因此當事務不沖突時，這種方法是最有效的。至于哪一種方法更好，還沒有正確答案。它們只是實現并行化的兩種不同的可行方法。
下面我們先來探索非加密并行系統相關的一些基礎知識，然后再來看區塊鏈并行執行的設計空間，我們將重點關注三個核心領域：加密并行系統概述、內存和狀態訪問方法以及并行設計機會。
通過我們剛剛了解到的關于并行計算的功能和并行系統的優勢，現在就很容易理解為什么并行計算的采用在最近幾年開始流行起來。而且在過去的幾十年里，并行計算就已呈現日益流行之勢并實現了許多突破。
醫學影像：并行處理從根本上改變了醫學影像，帶來各種影像模式（如MRI、CT、X射線和光學斷層掃描）的速度和分辨率的顯著提高。英偉達處在這些進步的最前沿，通過其并行處理工具包為放射科醫生提供更加強大的人工智能功能，使影像系統能夠更有效地處理更多的數據和計算負載。
天文學：一些新的天文現象，比如對黑洞的理解，只有使用并行超級計算機才能實現。
Unity游戲引擎：Unity引擎使用GPU能力（專為大規模圖形工作負載構建）以幫助提高性能和速度。該引擎配備了多線程和并行處理功能，帶來無縫的游戲體驗，能夠創建復雜逼真的游戲環境。
讓我們來看看三個已部署并行執行環境的區塊鏈。首先，我們來看Solana，然后是兩個基于EVM的鏈——Monad和Sei。
從高層來看，Solan的設計理念是區塊鏈創新應隨硬件進步而發展。隨著時間的推移，硬件根據摩爾定律不斷改進，Solana的設計將受益于性能和可擴展性的提高。Solana聯合創始人Anatoly Yakovenko在五年多以前就設計了Solana的最初并行架構，今天，并行性作為區塊鏈設計原則正迅速傳播開來。
Solana使用確定性并行方式，這來自于Anatoly過去處理嵌入式系統的經驗，在嵌入式系統中，通常會預先聲明所有狀態。這使CPU能夠知道所有的依賴關系，從而使它能夠預先載入內存的必要部分。結果就是優化了系統執行，但是再一次，它要求開發人員預先做好額外的工作。在Solana上，程序的所有內存依賴都是必需的，并在構建的交易（即訪問列表）中進行聲明，從而使運行時（runtime）能夠高效地調度及并行執行多個交易。
Solana架構的下一個主要組件是Sealevel VM，它是Solana的并行智能合約運行時。Sealevel原生支持基于驗證者的內核數量并行處理多個合約和交易。區塊鏈中的驗證者是負責驗證交易、提議新區塊以及維護區塊鏈完整性和安全性的網絡參與者。由于交易預先聲明哪些帳戶需要讀寫鎖定，因此Solana調度器能夠確定哪些交易可以并行執行。正因如此，當涉及到驗證時，“區塊生產者”或Leader就能夠對數千個待處理交易進行排序，并且并行調度非重疊交易。
Solana的最后一個設計元素是“pipelining”。當需要以一系列步驟處理數據，并且每個步驟由不同的硬件負責時，就會觸發pipelining。這里的關鍵想法是獲取需要串行運行的數據，并使用pipelining將其并行化。這些pipelines可以并行運行，并且每個pipeline階段可以處理不同的交易包。
這些優化允許Sealevel同時組織和執行獨立的交易，利用硬件的能力，一次使用一個程序處理多個數據點。Sealevel按programID對指令進行排序，并在所有相關帳戶上并行執行相同指令。
通過這些創新，我們可以看到Solana被有意設計為支持并行化。
Sei是一個通用的、開源L1區塊鏈，專用于數字資產交易。Sei V2采用樂觀并行方法，因此，它對開發人員來說更加友好。在樂觀并行模式下，智能合約可以更加無縫地并行執行，不需要開發人員預先聲明它們的資源。這意味著鏈樂觀地并行運行所有交易。盡管如此，當發生沖突時（即多個交易訪問相同的狀態），區塊鏈將跟蹤每個沖突交易所影響的特定存儲組件。
Sei區塊鏈使用“樂觀并發控制（OCC）”機制來執行交易。并發交易處理發生在有多個交易同時在系統中活動時。這種交易方式有兩個階段：執行和驗證。
在執行階段，交易被樂觀地處理，將所有讀/寫臨時存儲在特定交易存儲中。此后，每個交易都將進入驗證階段，在驗證階段，臨時存儲操作中的信息將根據先前交易所做的狀態更改進行檢查。如果交易是獨立的，則交易將并行運行。如果一個交易讀取的數據被另一個交易修改過，將產生沖突。Sei的并行系統將通過比較交易的讀取數據集與多版本存儲中的最新狀態變化（這些變化是按交易順序索引的）來識別每個沖突。Sei將在出現沖突的位置重新執行并重新驗證實例。這是一個迭代過程，涉及到執行、驗證和重新運行，才能修復沖突。下圖說明了當出現沖突時Sei是如何處理交易的。
Sei的實現為EVM開發人員提供了更低的gas費和更廣闊的設計空間。一直以來，EVM環境被限制為小于50 TPS，這迫使開發人員創建遵循反模式的應用程序。Sei V2讓開發人員能夠接近通常要求高性能和低費用的領域，如DeFi、DePIN和游戲。
Monad正在建設一個具有完全字節碼兼容性的并行EVM L1。Monad的獨特之處不僅在于它的并行引擎，還在于他們在底層構建的優化引擎。Monad采用了一種獨特的整體設計方法，結合了幾個關鍵特性，如pipelining、異步I/O、共識執行分離，以及MonadDB。
Monad設計的一個關鍵創新是帶有輕微偏移量的pipelining。偏移量允許通過同時運行多個實例來并行化更多進程。因此，pipelining被用來優化許多功能，如狀態訪問pipeling、交易執行pipelining、共識和執行內部pipelining以及共識機制自身內的pipelining。
接下來，我們將具體來看Monad的并行化部分。在Monad中，交易在區塊內是線性排序的，但目標是通過利用并行執行更快地達到最終狀態。Monad的執行引擎設計采用了樂觀并行算法。Monad的引擎同時處理交易，然后執行分析，以確保如果交易被一個接一個地執行，也將取得相同的結果。如果存在任何沖突，則需要重新執行。這里的并行執行是一個相對簡單的算法，但將它與Monad的其他關鍵創新結合起來，就讓這種方法變得新穎了。這里需要注意的一點是，即使發生重新執行，通常也很便宜，因為無效交易所需的輸入幾乎一直保留在緩存中，所以這將是一個簡單的緩存查找。重新執行被確保一定會成功，因為你已經執行了區塊中之前的交易。
Monad還通過分離執行和共識（類似于Solana和Sei）以及延遲執行來提高性能。其中的想法是，如果你放寬執行條件，以便在達成共識之前完成執行，則可以并行運行執行和共識，從而為兩者增加額外的時間。當然，Monad使用一種確定性算法來處理這種情況，以確保其中的一個不會跑得太遠而失控。
正如我在本文開頭提到的，狀態訪問是區塊鏈的典型性能瓶頸之一。狀態訪問和內存的設計選擇最終可以決定并行系統的特定實現是否會在實踐中提高性能。下面我們來具體了解并比較Solana、Sei和Monad采用的不同方法。
Solana利用水平擴展來跨多個SSD設備分發和管理狀態數據。如今，許多區塊鏈使用通用數據庫（即LevelDB），這在處理大量并發讀寫狀態數據方面存在限制。為了避免這種情況，Solana利用Cloudbreak構建了自己的自定義帳戶數據庫。
Cloudbreak是為跨I/O操作的并行訪問而設計的，而非單純依賴于RAM，這本身就很快。I/O操作（輸入/輸出）是指從外部源（如磁盤、網絡或外圍設備）讀取數據或向其寫入數據的操作。最初，Cloudbreak使用RAM內部索引將公鑰映射到持有余額和數據的帳戶。然而，在撰寫本文時，V1.9索引已經從RAM移到了SSD上。這種轉變允許Cloudbreak在其隊列中同時處理32個（I/O）操作，從而增強了跨多個SSD的吞吐量。因此，可以高效地訪問區塊鏈數據，例如帳戶和交易，就像在使用內存映射文件的RAM中一樣。下圖表明了內存結構。雖然RAM更快，但它的容量比SSD小，而且通常更昂貴：
通過橫向擴展和跨多個設備分發狀態數據，Cloudbreak降低了延遲，提高了Solana生態系統的效率、去中心化程度和網絡彈性。
Sei重新設計了它的存儲——SeiDB——以解決以下幾個問題：寫入放大（維護數據結構需要多少元數據，越小越好）、狀態膨脹、操作緩慢以及性能隨著時間的推移而下降。新的再設計現分為兩個組件：狀態存儲和狀態承諾。記錄和驗證對數據的任何更改由狀態承諾處理，而在任何時候記錄所有數據的數據庫由狀態存儲（SS）處理。
在Sei V2中，狀態承諾使用內存映射IAVL樹架構（MemIAVL）。內存映射IAVL樹存儲較少元數據，這減少了狀態存儲和狀態同步時間，并使運行完整節點變得更加容易。內存映射IAVL樹表示為磁盤上的三個文件（kv文件、branch文件和leaf文件）；因此，需要跟蹤的元數據更少，這有助于將狀態存儲減少50%以上。新的MemIAVL結構有助于減少寫入放大因子，因為它減少了維護數據結構所需的元數據。
更新后的SeiDB允許對狀態存儲層提供靈活的數據庫后端支持。Sei認為，不同的節點運營商的需求和存儲需求不同。因此，SS設計是為了適應不同的后端需求，為運營商提供自由度和靈活性，如PebbleDB、RocksDB、SQLite等。
Monad的狀態訪問有一些重要的細微差別。首先，大多數以太坊客戶端利用兩種類型的數據庫：B-Tree數據庫（即LMDB）或日志結構合并樹（LSM）數據庫（即RocksDB、LevelDB）。這兩種都是通用的數據結構，不是為區塊鏈專門設計的。此外，這些數據庫沒有利用Linux技術的最新進展，特別是在異步操作和I/O優化方面。最后，以太坊本身使用MPT樹管理狀態，MPT樹專用于加密，驗證和證明。主要的問題是，客戶端必須將這個特定的MPT樹集成到更通用的數據庫（即B-Tree / LSM）中，這會帶來嚴重的性能缺陷，例如過多的磁盤訪問。
所有這些都有助于為Monad決定創建自定義MonadDB數據庫奠定基礎，MonadDB數據庫專用于更高效地處理區塊鏈數據和狀態訪問。MonadDB的一些關鍵特性包括并行訪問數據庫、針對Merkle Trie數據優化的自定義數據庫、優于標準RAM使用的高效狀態訪問、去中心化特性和可擴展性。
MonadDB專為區塊鏈設計，使其比使用通用數據庫的性能更高。自定義MonadDB專用于高效管理Merkle Trie類型數據，支持同時并行訪問多個Trie節點。雖然MonadDB與上述一些通用數據庫的單次讀取成本是相同的，但MonadDB的關鍵特性是它可以并行運行多個讀取，從而帶來巨大提速。
MonadDB支持對并行訪問數據庫的同步狀態訪問。因為Monad是從頭開始構建這個數據庫的，所以它能夠利用最新的Linux內核技術和SSD的全部功能來實現異步I/O。使用異步I/O，如果一個交易需要從磁盤讀取狀態，這不應該為待完成操作帶來阻力。相反，它應該立刻開始讀取并同時繼續處理其他交易。這就是異步I/O顯著加快MonadDB處理速度的做法。Monad能夠通過優化SSD使用以及減少對過多RAM的依賴，收獲更好的硬件性能。這具有與去中心化和可擴展性對齊的額外好處。
總之，通過Solana、Sei和Monad的視角探索區塊鏈中的并行化發展，可以全面了解不同架構和方法是如何提高性能和可擴展性的。Solana的確定性并行注重預先聲明狀態訪問，提供了可預測性和效率，使其成為高吞吐量需求的應用程序的有力選擇。另一方面，Sei的樂觀并行方法優先考慮了開發人員的靈活性，非常適合交易沖突不頻繁的環境。憑借其獨特的樂觀并行方式和自定義MonadDB，Monad提供了一個創新解決方案，利用最新的技術進步來優化狀態訪問和性能。
每個區塊鏈都提供了一種獨特的方法來解決并行化挑戰，并有一套自己的利弊權衡。Solana的設計旨在最大限度提高硬件利用率和吞吐量，而Sei則專注于簡化開發過程，Monad則把重心放在了為區塊鏈數據提供量身定制的數據庫解決方案。這些差異凸顯了區塊鏈生態系統的多樣性，以及根據應用程序的特定需求選擇合適平臺的重要性。
隨著區塊鏈領域的不斷發展，Solana、Monad和Sei所展現出的并行化技術的進步無疑將激發進一步的創新。邁向更高效、更可擴展且對開發人員更加友好的區塊鏈的旅程正在進行中，從這些平臺中吸取的經驗將對塑造區塊鏈技術的未來發揮至關重要的作用。
喜來順財經
