区块链超优化器

在基于区块链的分布式计算平台以太坊中，称为智能合约的程序被编译为字节码并在以太坊虚拟机（EVM）上执行。执行EVM字节码需支付货币费用——这是一个明确的优化目标。我们的目标是通过将EVM指令的操作语义编码为SMT公式并利用约束求解器自动寻找更廉价的字节码，从而对EVM字节码进行超优化。我们在EVM字节码超优化器ebso中实现了该方法，并在真实世界数据集上进行了两次大规模评估。