引言：EVM——区块链世界的\”计算引擎\”
以太坊虚拟机（Ethereum Virtual Machine，EVM）是以太坊网络的核心创新，它不仅仅是一个执行环境，更是整个区块链生态系统的\”计算引擎\”。作为智能合约的运行时环境，EVM实现了去中心化计算与确定性状态管理，使以太坊从简单的价值转移系统进化为可编程的全球状态机。
与传统CPU相比，EVM具有独特的沙盒化特性和确定性执行能力。它像一台虚拟的全球计算机，每个节点都运行相同的EVM实例，确保智能合约在任何节点上执行都能得到一致的结果。这种设计使得以太坊不仅仅是一个分布式账本，而是一个能够执行复杂业务逻辑的分布式状态机。
EVM的影响力已远超以太坊本身，其兼容性已成为多链生态的技术标准。从Layer2解决方案（如Optimistic Rollup、ZK-Rollup）到侧链（如Polygon）和独立公链（如BNB Chain、Avalanche），EVM兼容性已成为项目吸引开发者和用户的关键因素。这种广泛的兼容性创造了一个庞大的生态系统，开发者可以\”一次编写，全链部署\”，极大地降低了开发门槛并促进了创新。
EVM的技术架构与核心组件
底层设计原则
EVM的设计基于两个核心原则：状态机模型和沙盒隔离。以太坊本质上是一个由交易驱动的全局状态机，其状态转换可以形式化描述为σ’ = Υ(σ,T)，其中σ代表当前状态，T代表交易，Υ是状态转换函数，σ’是新状态。这种模型确保了网络状态随着交易而精确演进，所有节点在独立执行相同交易后都能达成一致的状态。
沙盒隔离是EVM的另一个关键设计原则。EVM将智能合约代码限制在封闭的环境中执行，防止恶意代码访问外部系统资源（如网络、文件系统）或干扰其他合约的执行。这种隔离机制保证了执行结果的可重复性——无论在哪个节点的EVM实例上运行同一份合约代码，都能得到完全相同的结果。
关键组件
EVM采用基于栈的架构，主要包含以下核心组件：
堆栈（Stack）：EVM的核心工作区域，采用后进先出（LIFO）原则，深度为1024，每个栈项为256位（32字节）。所有算术和逻辑运算都通过栈进行——操作数从栈顶弹出，计算结果再压回栈中。例如，执行ADD操作时，EVM会弹出栈顶两个元素相加，然后将结果压回栈顶。
内存（Memory）与存储（Storage）：EVM采用分层的存储设计。内存是一个临时分配的字节数组，仅在单个交易执行期间有效，用于存储函数参数、中间变量等临时数据，执行完成后自动清空。存储则是每个合约账户拥有的持久化键值对存储，数据会永久保存在区块链上。两者在Gas成本上有显著差异——存储操作（如SSTORE）比内存操作昂贵约200倍，这是开发者优化合约的重要考量。
程序计数器（PC）与字节码：PC是指示当前执行位置的指针，确保EVM按正确顺序执行智能合约指令。EVM执行的字节码由高级语言（如Solidity）编译而成，包含约150种操作码，可分为算术运算（ADD、MUL）、逻辑运算（AND、OR）、存储操作（SLOAD、SSTORE）、控制流（JUMP、JUMPI）等类别。每个操作码都有明确的Gas成本，这不仅保证了网络安全，也使开发者在编写合约时必须考虑效率问题。
账户模型
以太坊采用账户模型管理状态，主要包含两种账户类型：
外部账户（EOA）：由私钥控制，用于发起交易和调用合约。EOA包含余额（Balance）和Nonce（交易计数器），但没有关联的代码。Nonce机制确保每笔交易只能被执行一次，防止重放攻击。
合约账户：由部署的智能合约代码控制，包含代码（Code）和存储（Storage），但没有私钥，只能通过外部账户的交易来激活。合约账户的创建是通过特殊交易完成的，其中to字段为空，data字段包含合约的初始化代码。
#mermaid-svg-WaTPwYJjDvK10j5k {font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-WaTPwYJjDvK10j5k .error-icon{fill:#552222;}#mermaid-svg-WaTPwYJjDvK10j5k .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-WaTPwYJjDvK10j5k .edge-thickness-normal{stroke-width:2px;}#mermaid-svg-WaTPwYJjDvK10j5k .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-WaTPwYJjDvK10j5k .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-WaTPwYJjDvK10j5k .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-WaTPwYJjDvK10j5k .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-WaTPwYJjDvK10j5k .marker{fill:#333333;stroke:#333333;}#mermaid-svg-WaTPwYJjDvK10j5k .marker.cross{stroke:#333333;}#mermaid-svg-WaTPwYJjDvK10j5k svg{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-WaTPwYJjDvK10j5k g.classGroup text{fill:#9370DB;fill:#131300;stroke:none;font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:10px;}#mermaid-svg-WaTPwYJjDvK10j5k g.classGroup text .title{font-weight:bolder;}#mermaid-svg-WaTPwYJjDvK10j5k .nodeLabel,#mermaid-svg-WaTPwYJjDvK10j5k .edgeLabel{color:#131300;}#mermaid-svg-WaTPwYJjDvK10j5k .edgeLabel .label rect{fill:#ECECFF;}#mermaid-svg-WaTPwYJjDvK10j5k .label text{fill:#131300;}#mermaid-svg-WaTPwYJjDvK10j5k .edgeLabel .label span{background:#ECECFF;}#mermaid-svg-WaTPwYJjDvK10j5k .classTitle{font-weight:bolder;}#mermaid-svg-WaTPwYJjDvK10j5k .node rect,#mermaid-svg-WaTPwYJjDvK10j5k .node circle,#mermaid-svg-WaTPwYJjDvK10j5k .node ellipse,#mermaid-svg-WaTPwYJjDvK10j5k .node polygon,#mermaid-svg-WaTPwYJjDvK10j5k .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-WaTPwYJjDvK10j5k .divider{stroke:#9370DB;stroke:1;}#mermaid-svg-WaTPwYJjDvK10j5k g.clickable{cursor:pointer;}#mermaid-svg-WaTPwYJjDvK10j5k g.classGroup rect{fill:#ECECFF;stroke:#9370DB;}#mermaid-svg-WaTPwYJjDvK10j5k g.classGroup line{stroke:#9370DB;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k .classLabel .box{stroke:none;stroke-width:0;fill:#ECECFF;opacity:0.5;}#mermaid-svg-WaTPwYJjDvK10j5k .classLabel .label{fill:#9370DB;font-size:10px;}#mermaid-svg-WaTPwYJjDvK10j5k .relation{stroke:#333333;stroke-width:1;fill:none;}#mermaid-svg-WaTPwYJjDvK10j5k .dashed-line{stroke-dasharray:3;}#mermaid-svg-WaTPwYJjDvK10j5k #compositionStart,#mermaid-svg-WaTPwYJjDvK10j5k .composition{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #compositionEnd,#mermaid-svg-WaTPwYJjDvK10j5k .composition{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #dependencyStart,#mermaid-svg-WaTPwYJjDvK10j5k .dependency{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #dependencyStart,#mermaid-svg-WaTPwYJjDvK10j5k .dependency{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #extensionStart,#mermaid-svg-WaTPwYJjDvK10j5k .extension{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #extensionEnd,#mermaid-svg-WaTPwYJjDvK10j5k .extension{fill:#333333!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #aggregationStart,#mermaid-svg-WaTPwYJjDvK10j5k .aggregation{fill:#ECECFF!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k #aggregationEnd,#mermaid-svg-WaTPwYJjDvK10j5k .aggregation{fill:#ECECFF!important;stroke:#333333!important;stroke-width:1;}#mermaid-svg-WaTPwYJjDvK10j5k .edgeTerminals{font-size:11px;}#mermaid-svg-WaTPwYJjDvK10j5k :root{–mermaid-font-family:\”trebuchet ms\”,verdana,arial,sans-serif;}
«abstract»
Account
address: bytes20
balance: uint256
nonce: uint256
EOA
privateKey: bytes32
signTransaction()
