關於執行模型、共識、EVM 基礎與可驗證 AI 的技術長文。每一篇洞察，都讓 Web3 世界變得更清晰。
編輯推薦突破單執行緒執行有三條成熟路徑：Sealevel 式確定性預先宣告、Block-STM 式樂觀並行控制，以及 Sui 式物件模型。本文比較各自的假設、開發者代價與和 EVM 相容性的關係。
閱讀全文 →
狀態變數按宣告順序落在 32 位元組的槽位裡：小類型共用槽位，映射與動態陣列靠雜湊派生位置，繼承順序還會整體平移槽位編號。這些定位規則決定了升級代理為什麼必須繞開編譯器會分配的槽位。
四個呼叫指令在位元組碼裡只差幾個編號，語意卻決定程式碼跑在誰的上下文、寫誰的儲存、msg.sender 與 address(this) 變成什麼。逐個對照 CALL、CALLCODE、DELEGATECALL 與 STATICCALL，可以看清代理為何依賴 DELEGATECALL、STATICCALL 因何引入。
從裸 calldata 出發拆解 ABI：4 位元組 selector 由規範簽章截斷而來，靜態類型直接佔滿一個字，動態類型靠偏移量與長度二級定址；事件把 indexed 參數寫進 topics，換來可檢索性。ABI 不自描述，解碼與升級因此都受約束。
以太坊黃皮書把區塊級狀態轉移寫成巢狀呼叫，求值順序因此屬於規範的一部分。逐筆串列的語意來源、讀寫集衝突為何無法預先判定、確定性與驗證簡單性換來了什麼，以及這個設計原點正在被怎樣的方案正面回應，是接下來的主線。
區塊頭裡的 stateRoot 只有 32 位元組，卻綁定了全網帳戶、餘額與合約儲存。下面拆開 Merkle Patricia Trie 的節點結構與帳戶下掛儲存字典樹的設計，說明 Merkle 證明如何支撐鏈下驗證，以及狀態膨脹的成本落到誰身上。
Gas 是 EVM 的資源計量單位，價格則由費用市場決定；把兩者混為一談，會誤判擴容與執行中止的邊界。下面拆解固有成本與動態成本的構成，說明 out-of-gas 與 REVERT 各退什麼，EIP-1559 的 base fee 與 tip 各歸誰。
同一份 32 位元組資料放在 memory、storage 還是 transient storage，gas 成本能差兩個數量級，生命週期也完全不同。下面沿歸屬、壽命與計價三條線拆開三類儲存，說明重入鎖、臨時陣列與狀態變數各自該放在哪裡。
EVM 是一台沒有暫存器的堆疊機：256 位字長、1024 項堆疊深度、一個只能跳到 JUMPDEST 的程式計數器。取指、解碼、執行這一輪迴圈解釋了堆疊下溢與溢位為何燒光 gas，也解釋了堆疊機相對暫存器機買到了什麼、付出了什麼代價。
把以太坊當成一本記錄轉帳的帳本，會漏掉它最關鍵的部分：帳戶儲存裡可任意讀寫的變數。依據黃皮書的狀態轉移函數 Υ(σ, T)，以太坊是一個分散式狀態機，EVM 是這套狀態轉移的執行規範。全網逐位重放又給執行語意帶來了一組硬約束。
平行 EVM 的吞吐量上限很少在轉帳基準裡露餡，卻常在 AMM、借貸與 NFT mint 上被打回原形。本文解釋衝突熱點如何形成、讀寫集粒度如何影響衝突率，以及峰值 TPS 在真實負載下如何退化。
更高的 TPS 是否靠更貴的硬體與更少的驗證者換來？本文拆解驗證者門檻、地理分布與客戶端多樣性等可核查維度，並討論 BLS 聚合等工程回應——不構成投資建議。
TPS、BPS、確認延遲、最終性、衝突率經常被混用。本文給出可複用的定義、常見的誤用方式，以及閱讀基準測試時必須追問的披露項目——不構成任何投資建議。
合約開發者、客戶端工程師、研究員關心平行 EVM 的角度完全不同。本文給出三條只指向已發布文章的閱讀路徑，幫不同背景的讀者迅速定位該讀什麼、不必讀什麼。
「相容 EVM」常被壓縮成一句行銷話術。真正決定遷移成本的，是位元組碼語意、預編譯集合、JSON-RPC 行為，以及 Foundry/Hardhat 能否原樣運作。本文拆清這四層，並說明平行執行下相容性為何更難保住。
Bitroot 選擇投入樂觀平行 EVM 的 Layer 1，意味著在結算域、相容性與平行策略上同時取捨。本文用邊界而非口號說明它解決什麼、不解決什麼，以及技術組合如何互相支撐。
樂觀並行控制源自 1981 年的資料庫研究，今日成為平行 EVM 的常用骨架。本文用讀—驗證—寫三階段說明 OCC 假設，對比悲觀鎖與 MVCC，並指出區塊鏈多出的確定性與拜占庭約束。
突破單執行緒執行有三條成熟路徑：Sealevel 式確定性預先宣告、Block-STM 式樂觀並行控制，以及 Sui 式物件模型。本文比較各自的假設、開發者代價與和 EVM 相容性的關係。
「擴容」常被當成同一件事。本文把問題拆成共識、資料可用性、執行與結算四層，說明 L2、分片、獨立 DA 與 L1 平行執行各自對準哪一層瓶頸，以及平行 EVM 在地圖上的位置。
以太坊歷次壅塞背後，是 EVM 必須逐筆串列執行的設計選擇。本文說明 Gas 上限與 EIP-1559 為何無法改寫執行模型，以及確認延遲如何放大單執行緒天花板。
拆解 AI 產業裡資料、模型與算力貢獻難以自動分帳的原因，以及鏈上中繼資料索引、門限分片、可信執行稽核與智慧合約分帳各自解決什麼、不解決什麼；並說明確權層與結算層、可信運算的邊界。
