什麼是以太坊虛擬機器（EVM）？為什麼它很重要？

EVM核心架構

1. EVM 作為一個分散的、確定性的執行環境運行，在以太坊網路中的每個完整節點上進行複製。

2. 它實作了基於堆疊的計算模型，其中每個堆疊條目恰好佔用 32 個位元組，最大深度上限為 1024 個條目。

3. 存在三個不同的記憶體層：用於瞬時計算的易失性記憶體、每個合約帳戶的持久性儲存以及用於輸入參數的不可變呼叫資料。

4. EVM 執行的每個指令都會消耗預先定量的 Gas，執行嚴格的資源責任並防止無限循環或 DoS 攻擊。

5. 程式計數器追蹤已編譯字節碼內的位元組級執行位置，從而透過 JUMP 和 JUMPI 操作碼實現精確的跳轉控制和條件分支。

EVM 內部的執行工作流程

1. Solidity 原始碼被編譯為包含一位元組操作碼序列的 EVM 相容字節碼。

2. 交易提交後，EVM 會載入合約字節碼以及當前的世界狀態，包括帳戶餘額和儲存值。

3. 每個操作碼都會觸發特定的狀態轉換（例如算術運算、記憶體寫入或儲存讀取），並且僅在成功完成時才會記錄副作用。

4. 如果在執行過程中發生氣體耗盡，則自事務啟動以來的所有狀態變更都會自動恢復，從而保持區塊鏈的一致性。

5. 函數呼叫的返回資料在記憶體中編碼，並在最終狀態提交之前複製到輸出緩衝區。

安全和隔離特性

1. EVM 強制執行嚴格的沙箱：無檔案系統存取、無網路 I/O、不與主機作業系統資源直接互動。

2. 如果沒有明確的介面呼叫和適當的存取控制邏輯，合約程式碼無法直接操作另一個合約的儲存。

3. 所有外部呼叫（包括 delegatecall）都受到 Gas 限制和恢復傳播規則的約束，限制了遞歸呼叫深度和跨合約影響。

4.記憶體分配是線性的、有界的；越界讀取回傳零，而超出分配空間的寫入會觸發氣體密集型擴展。

5. 恢復語意確保部分失敗不會留下不一致的中間狀態－要麼完全成功，要麼完全回滾。

操作碼分類與功能

1. 堆疊操作操作碼（如 PUSH1、POP、DUP1 和 SWAP1）在求值期間控制操作數定位和複製。

2. 算術和位元指令（包括 ADD、MUL、AND、XOR）對 256 位元字執行低階計算。

3. 儲存作業 SLOAD 和 SSTORE 與綁定到每個合約位址的持久鍵值儲存進行互動。

4. CALLER、ORIGIN、BLOCKHASH 和 TIMESTAMP 等環境操作碼向正在運行的合約公開上下文區塊鏈元資料。

5. JUMPDEST、JUMP 和 JUMPI 等控制流原語可實現結構化程式流程和基於運行時條件的動態調度。

天然氣核算和經濟執行

1. Gas 成本計畫是根據操作碼定義的，並透過以太坊改進提案進行更新，以反映不斷發展的硬體效率和攻擊面分析。

2. 交易發起者必須指定 Gas 限制和 Gas 價格，確定最大計算預算和區塊包含的優先順序。

3. 未使用的gas在執行後退還給發送者，激勵高效的編碼實踐和準確的gas估算。

4. 某些操作（例如覆蓋非零值時的 SSTORE）會產生不對稱成本，以阻止垃圾郵件並鼓勵深思熟慮的狀態設計。

5. 自毀功能提供了一種合約報廢機制，可退還部分燃氣，減少長期儲存膨脹。

常見問題解答

Q：EVM 字節碼可以逆向工程為可讀的 Solidity 來源嗎？由於有損編譯、優化器轉換以及部署的字節碼中缺少符號表或註釋，恢復原始高級邏輯通常是不可行的。

Q：為什麼 EVM 使用基於堆疊的架構而不是基於暫存器的架構？基於堆疊的設計簡化了指令編碼，減少了操作碼大小開銷，並支援跨異質硬體的確定性執行，而無需暫存器分配策略。

Q：當兩個合約嘗試同時寫入同一儲存槽時會發生什麼？儲存槽的範圍依合約位址決定；除非透過函數呼叫和商定的介面明確調解，否則合約之間不存在共享的可變狀態。

Q：EVM 如何處理整數上溢或下溢？在伊斯坦堡升級之前，算術運算以靜默方式結束；升級後，內建溢位檢查會導致立即恢復無效算術結果。