引言：Solidity不是合约，字节码才是智能合约开发者日常面对的是Solidity、Vyper或Move，但这些语言都不是链上实际执行的东西。以太坊节点执行的，是一串字节——每一个字节（或字节序列）对应一个操作码（opcode），操作码操控一台由栈、内存和持久化存储构成的确定性状态机。Solidity只是把这台机器的操作包装成了人类可读的语法。这意味着一个被长期遮蔽的事实：你对合约行为的理解，如果停留在Solidity层面，就停留在编译器希望你看到的那一层。编译器可能插入你没有写的检查，可能重排你的存储布局，可能在你看不到的地方执行一次SLOAD或一次CALL。Assembly语言——无论是Solidity内联的Yul，还是纯汇编的Huff——把你直接放到了这台机器的操纵杆前。本文不从“EVM是什么”讲起，而是从字节码的实际布局和执行语义出发，逐层揭示：一个合约部署时链上究竟发生了什么、栈式机器如何在32字节字和1024深度栈的约束下完成任意计算、Yul和Huff如何以两种不同的抽象级别编排操作码、以及汇编层优化如何把Gas从“够用”压到“极限”。一、字节码的双层结构：链上存储的从来不是“你的合约”1.1 init code与runtime code的分离一个Solidity合约编译后产
引言：Solidity不是合约，字节码才是智能合约开发者日常面对的是Solidity、Vyper或Move，但这些语言都不是链上实际执行的东西。以太坊节点执行的，是一串字节——每一个字节（或字节序列）对应一个操作码（opcode），操作码操控一台由栈、内存和持久化存储构成的确定性状态机。Solidity只是把这台机器的操作包装成了人类可读的语法。这意味着一个被长期遮蔽的事实：你对合约行为的理解，如果停留在Solidity层面，就停留在编译器希望你看到的那一层。编译器可能插入你没有写的检查，可能重排你的存储布局，可能在你看不到的地方执行一次SLOAD或一次CALL。Assembly语言——无论是Solidity内联的Yul，还是纯汇编的Huff——把你直接放到了这台机器的操纵杆前。本文不从“EVM是什么”讲起，而是从字节码的实际布局和执行语义出发，逐层揭示：一个合约部署时链上究竟发生了什么、栈式机器如何在32字节字和1024深度栈的约束下完成任意计算、Yul和Huff如何以两种不同的抽象级别编排操作码、以及汇编层优化如何把Gas从“够用”压到“极限”。一、字节码的双层结构：链上存储的从来不是“你的合约”1.1 init code与runtime code的分离一个Solidity合约编译后产
