以太坊虛擬機（EVM）架構詳解

進階 🏷️ technical 計算中...

以太坊虛擬機（Ethereum Virtual Machine, EVM）是以太坊網路的核心執行引擎，是一個圖靈完備的堆疊式虛擬機。EVM 負責執行智慧合約、處理交易、並維護整個以太坊網路的狀態共識。理解 EVM 的架構對於智慧合約開發者、安全審計人員、以及區塊鏈工程師而言都是必備知識。

以太坊虛擬機（EVM）架構詳解

概述

以太坊虛擬機（Ethereum Virtual Machine, EVM）是以太坊網路的核心執行引擎，是一個圖靈完備的堆疊式虛擬機。EVM 負責執行智慧合約、處理交易、並維護整個以太坊網路的狀態共識。理解 EVM 的架構對於智慧合約開發者、安全審計人員、以及區塊鏈工程師而言都是必備知識。

本文深入探討 EVM 的設計原理、指令集架構、儲存模型、執行環境、以及各種優化與安全考量。

EVM 的設計目標

EVM 的設計遵循幾個核心原則，這些原則決定了其架構選擇：

1. 確定性（Determinism）

確定性是區塊鏈共識的基礎。EVM 必須確保相同輸入必然產生相同輸出，無論在哪個節點上執行。這意味著：

2. 隔離執行（Isolation）

智慧合約在完全隔離的環境中執行，無法直接：

這種隔離確保了一個合約的錯誤不會影響網路其他部分。

3. 停機問題的處理

圖靈不完備意味著理論上可能存在無限迴圈。EVM 透過 Gas 機制解決這個問題：

4. 狀態隔離

每個智慧合約有自己的獨立儲存空間（Storage），使用 Keccak-256 雜湊作為鍵名。這確保了合約之間的狀態不會意外衝突。

EVM 架構組成

1. 指令集架構（ISA）

EVM 使用基於堆疊的指令集，共有約 140 個操作碼（Opcode）。指令集可分為以下類別：

算術運算

ADD     // 加法
MUL     // 乘法
SUB     // 減法
DIV     // 整數除法
MOD     // 取餘
SDIV    // 有符號整數除法
SMOD    // 有符號整數取餘
ADDMOD  // (a + b) % n
MULMOD  // (a * b) % n
EXP     // 指數運算
SIGNEXTEND // 符號擴展

密碼學操作

SHA3    // Keccak-256 雜湊
SHA256  // SHA-256（受限使用）
RIPEMD160 // RIPEMD-160
ECRECOVER // 橢圓曲線恢復公鑰

堆疊操作

POP     // 彈出堆疊頂部
PUSH1-32 // 推入 1-32 位元組常數
DUP1-16 // 複製堆疊頂部 N 個元素
SWAP1-16 // 交換堆疊頂部與第 N 個元素

儲存操作

SLOAD   // 從儲存載入
SSTORE  // 儲存到儲存
MLOAD   // 從記憶體載入
MSTORE  // 儲存到記憶體
MSTORE8 // 儲存 8 位元組到記憶體

控制流

JUMP    // 無條件跳轉
JUMPI   // 條件跳轉
PC      // 程式計數器
JUMPDEST // 跳轉目標標記

區塊資訊

BLOCKHASH // 取得區塊雜湊
COINBASE  // 區塊受益人地址
TIMESTAMP // 區塊時間戳
NUMBER    // 區塊編號
DIFFICULTY // 區塊難度
GASLIMIT  // 區塊 Gas 上限
CHAINID   // 鏈 ID
BASEFEE   // 基本費用（EIP-1559）

交易相關

ORIGIN   // 交易發起者地址
CALLER   // 訊息呼叫者地址
CALLVALUE // 隨訊息發送的 ETH 數量
CALLDATALOAD // 載入呼叫資料
CALLDATASIZE // 呼叫資料大小
CALLDATACOPY // 複製呼叫資料到記憶體

合約操作

CREATE   // 建立新合約
CALL     // 呼叫另一合約
CALLCODE // 在當前合約上下文中呼叫
DELEGATECALL // 委託呼叫
STATICCALL // 靜態呼叫（不可修改狀態）
CREATE2  // 可預測地址的合約創建

2. Gas 成本模型

每個 EVM 操作都有固定的 Gas 成本，這反映了實際的計算資源消耗：

操作類別操作碼基礎 Gas 成本
基本運算ADD, SUB, XOR, AND, OR3
乘法MUL5
除法DIV, MOD, SDIV, SMOD5-20
雜湊SHA330+（取決於輸入大小）
記憶體MLOAD, MSTORE3-12（取決於記憶體使用量）
儲存讀取SLOAD2100
儲存寫入SSTORE20000-29000（取決於是否為新舊值）
合約呼叫CALL, DELEGATECALL700-2600（取決於是否創建新帳戶）
創建合約CREATE, CREATE232000+

重要提醒：儲存操作（SSTORE）的成本尤其複雜：

3. 執行環境

EVM 的執行環境由多個上下文組成：

區塊上下文：

交易上下文：

執行上下文：

4. 儲存模型

EVM 有三層儲存層次：

堆疊（Stack）

記憶體（Memory）

儲存（Storage）

5. 位元組碼結構

智慧合約編譯後的位元組碼結構：

0x608060405234...  <- 工廠代碼（如果有）
    PUSH1 0x80     // 將 0x80 推入堆疊
    PUSH1 0x40     // 將 0x40 推入堆疊
    MSTORE         // 儲存到記憶體
    ...            // 初始化代碼
    PUSH1 0x00     // 部署位元組碼開始位置
    PUSH1 0x00
    CODECOPY       // 複製代碼到記憶體
    PUSH1 0x00
    RETURN         // 返回部署的位元組碼

EVM 版本演化

Frontier（2015）

Homestead（2016）

Byzantium（2017）

Constantinople（2019）

Istanbul（2019）

Berlin（2021）

London（2021）

Paris（2022）

Shanghai/Capella（2023）

Cancun/Deneb（2024）

EVM 相容性與擴展

EVM 等效性（EVM Equivalence）

多個 Layer 2 項目追求「EVM 等效性」，確保：

Optimism Bedrock 與 Arbitrum Nitro 是此理念的代表。

zkEVM

ZK Rollup 需要實現「zkEVM」—— 使用零知識證明驗證 EVM 執行的正確性。這是一個極具挑戰的任務，因為：

主流 zkEVM 項目：

替代 VM

一些項目選擇實現自訂 VM 以獲得更好的效能：

EVM 安全性考量

常見攻擊向量

1. 整數溢位

// 有漏洞
function withdraw(uint256 amount) public {
    balances[msg.sender] -= amount; // 可能溢位
}

// 修正
function withdraw(uint256 amount) public {
    require(balances[msg.sender] >= amount);
    balances[msg.sender] -= amount;
}

2. 重入攻擊

// 有漏洞
function withdraw() public {
    (bool success,) = msg.sender.call{value: balance}("");
    balanceOf[msg.sender] = 0;
}

// 修正：使用 Checks-Effects-Interactions 模式
function withdraw() public {
    uint256 amount = balanceOf[msg.sender];
    require(amount > 0);
    balanceOf[msg.sender] = 0;
    (bool success,) = msg.sender.call{value: amount}("");
}

3. 存取控制漏洞

// 有漏洞：任何人都可以呼叫 init
function init() public {
    owner = msg.sender;
}

// 修正：使用 constructor 或 require
constructor() {
    owner = msg.sender;
}

安全工具

效能優化

Gas 優化策略

  1. 儲存優化：
  1. 運算優化：
  1. 位元組碼優化：

位元組碼範例

// 優化前：使用 library
import "@openzeppelin/contracts/utils/SafeMath.sol";

// 優化後：使用 unchecked
function add(uint256 a, uint256 b) public pure returns (uint256) {
    unchecked {
        return a + b;
    }
}

調試與開發工具

本地開發環境

線上工具

區塊鏈瀏覽器

未來發展方向

EVM Object Format（EOF）

EIP-3540 和相關提案引入了 EOF（EVM Object Format）：

EVM-Max

提高 EVM 效能的提案：

量子計算威脅

未來需要應對量子計算威脅：

總結

EVM 是區塊鏈領域最具影響力的虛擬機之一。作為以太坊智慧合約的執行引擎，它支撐了價值數千億美元的 DeFi 與 NFT 生態。理解 EVM 的架構對於任何希望在以太坊生態中開發或構建項目的開發者都至關重要。

EVM 的設計體現了區塊鏈的特殊需求：確定性執行、資源隔離、經濟激勵、以及共識安全性。雖然存在效能與隱私方面的限制，但 EVM 生態正在透過 Layer 2、zkEVM、以及各種擴展提案持續演進。

未來，隨著以太坊網路向分片（Sharding）與更高效共識機制的演進，EVM 也將繼續發展以支援更廣泛的應用場景。開發者應持續關注 EIP 動態，並採用安全的最佳實踐來構建可靠的智慧合約。

延伸閱讀與來源

這篇文章對您有幫助嗎？

評論

發表評論

注意：由於這是靜態網站，您的評論將儲存在本地瀏覽器中，不會公開顯示。

目前尚無評論，成為第一個發表評論的人吧！