什么是以太坊虚拟机（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. 自毁功能提供了一种合约报废机制，可退还部分燃气，减少长期存储膨胀。

常见问题解答

问：EVM 字节码可以逆向工程为可读的 Solidity 源吗？由于有损编译、优化器转换以及部署的字节码中缺少符号表或注释，恢复原始高级逻辑通常是不可行的。

问：为什么 EVM 使用基于堆栈的架构而不是基于寄存器的架构？基于堆栈的设计简化了指令编码，减少了操作码大小开销，并支持跨异构硬件的确定性执行，而无需寄存器分配策略。

问：当两个合约尝试同时写入同一存储槽时会发生什么？存储槽的范围按合约地址确定；除非通过函数调用和商定的接口显式调解，否则合约之间不存在共享的可变状态。

问：EVM 如何处理整数上溢或下溢？在伊斯坦布尔升级之前，算术运算以静默方式结束；升级后，内置溢出检查会导致立即恢复无效算术结果。