1. Sui通過面向對象的執行範式重新定義Layer-1,其中整個區塊鏈狀態被簡化爲建模爲具有強所有權不變性的類型資源集合。每個對象處於完全隔離的版本域中,並在數學上與部分線性化兼容——這一條件是Sui極端並行執行能力的基礎,無需全局序列化。

2. Sui的執行模型將對象依賴圖視爲主要計算結構,而不是傳統鏈上的事務DAG。因此,確定性並不源於事務的排序,而是源於對象之間的可交換約束。沒有依賴交集的事務可以作爲可交換操作執行,產生不受寫-寫或讀-寫衝突影響的並行狀態轉換。

3. Sui 與其他 L1 的最重要理論差異在於針對非共享交易的快速路徑執行機制。在此模式下,交易根本不需要全局共識;其有效性僅由保護該對象所有權的驗證者的基於法定數量的簽名證明。這創造了子共識微最終性,即對象的最終性無需全球排序。

4. 對於共享對象的交易,Sui 採用了兩層共識管道:Narwhal(mempool DAG)和 Bullshark(確定性 BFT 排序)。Narwhal 不對交易進行排序;它根據 DAG 組織因果可用性層,保證在拜占庭模式下的數據可用性。Bullshark 隨後通過基於回合的法定數量證書從該 DAG 中提取確定性的排序,創造出無瓶頸廣播的 BFT 共識。

5. Narwhal-Bullshark 理論上被定位為 HotStuff 的演變,但在可用性和共識之間完全分離。這種分離使 Sui 的吞吐量不再受限於共識本身的性能;mempool DAG 可以獨立不斷增長,而共識僅在已滿足法定數量標準的 DAG 子集上運作。

6. 為了管理狀態,Sui 實施基於經過驗證的狀態轉換的版本化對象存儲。每次對對象的更改都會產生一個新版本,通過可以本地驗證的加密承諾表示,創造出比傳統的全局狀態 trie(如 EVM 中的 Merkle Patricia Trie (MPT))輕量得多的增量狀態證明機制。

7. Move 語言作為線性類型系統,保證資源的保護。正式來說,Move 確保對象無法被複製或摧毀,除非通過系統類型中的明確操作。因此,Sui 中的所有資產不變式被建模為類型理論安全證明,而不是運行時邏輯,消除了許多智能合約攻擊類別,如重入和幻影寫入。

8. Sui 實現了每對象因果排序,即在這種模型中,每個對象的交易順序保持確定性,儘管系統允許全局並行執行。這消除了全局序列化的需求,但保持了局部線性化,這是數字資產原子性的理論先決條件。

9. 在質押層,Sui 使用委託的 PoS,但基於計分紀元的獎勵分配機制,而非區塊生成。驗證者不競爭生成單個區塊;他們參與分佈式的提交 DAG。這種模型使獎勵更穩定,並不易受到自私提議策略的影響。

10. Sui 也與 zk 友好的原語兼容,其生態系統已經朝著整合 Move + ZK 的方向發展,這種方法允許從 Move 類型結構直接編譯 zk 電路。這為對象中心的 zk 證明開辟了道路,其中對象的有效性可以在不暴露狀態的情況下進行驗證,將隱私在結構層級而非交易層級進行形式化。

11. 整體而言,Sui 是現代分散式系統理論的實際實現,將區塊鏈的重點從交易有序的確定性機器轉向基於對象的並發執行環境。這種方法不僅僅是優化性能——而是拆解了在過去十年中成為傳統區塊鏈架構基礎的全球排序範式。Sui 在 BFT 共識理論、線性類型系統、對象依賴性以及非阻塞並行執行之間的奇異組合上運作,使其成為整個 Web3 領域中最具未來感的架構之一。

$SUI

SUI
SUI
1.6352
+5.63%

@Sui #sui