智能合约从入门到精通：Solidity汇编语言

本文链接：https://blog.csdn.net/shjuzhen/article/details/80940327

本文详细探讨了Solidity定义的汇编语言，旨在提高代码可读性和便于形式验证与优化。Solidity汇编语言提供高层级组件如for循环、switch语句和函数调用，以避免直接使用混淆的SWAP、DUP和JUMP指令。通过解析、脱汇编和生成指令流三个阶段，将Solidity代码转化为字节码。同时，文章介绍了如何处理局部变量的生命周期和栈高度，以及使用高层级构造器简化复杂控制流的原因。附带了一个Solidity程序的脱机汇编过程示例。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

简介：上一节，我们讲过在JUICE平台开发智能合约的开发规范，本节我们将继续就Solidity定义的汇编语言进行更加深入的讨论。

Solidity定义的汇编语言可以达到下述的目标：

1. 使用它编写的代码要可读，即使代码是从Solidity编译得到的。

2. 从汇编语言转为字节码应该尽可能的少坑。

3. 控制流应该容易检测来帮助进行形式验证与优化。

为了达到第一条和最后一条的目标，Solidity汇编语言提供了高层级的组件比如，for循环，switch语句和函数调用。这样的话，可以不直接使用SWAP,DUP,JUMP,JUMPI语句，因为前两个有混淆的数据流，后两个有混淆的控制流。此外，函数形式的语句如mul(add(x, y), 7)比纯的指令码的形式7 y x add num更加可读。

第二个目标是通过引入一个绝对阶段来实现，该阶段只能以非常规则的方式去除较高级别的构造，并且仍允许检查生成的低级汇编代码。Solidity汇编语言提供的非原生的操作是用户定义的标识符的命名查找（函数名，变量名等），这些都遵循简单和常规的作用域规则，会清理栈上的局部变量。

作用域：一个标识符（标签，变量，函数，汇编）在定义的地方，均只有块级作用域（作用域会延伸到，所在块所嵌套的块）。跨函数边界访问局部变量是不合法的，即使可能在作用域内（译者注：这里可能说的是，函数内定义多个函数的情况，JavaScript有这种语法）。不允许shadowing。局部变量不能在定义前被访问，但标签，函数和汇编可以。汇编是非常特殊的块结构可以用来，如，返回运行时的代码，或创建合约。外部定义的汇编变量在子汇编内不可见。

如果控制流来到了块的结束，局部变量数匹配的pop指令会插入到栈底（译者注：移除局部变量，因为局部变量失效了）。无论何时引用局部变量，代码生成器需要知道其当前在堆栈中的相对位置，因此需要跟踪当前所谓的堆栈高度。由于所有的局部变量在块结束时会被移除，因此在进入块之前和之后的栈高应该是不变的，如果不是这样的，将会抛出一个警告。

我们为什么要使用高层级的构造器，比如switch，for和函数。

使用