论文标题
区块链超级次数
Blockchain Superoptimizer
论文作者
论文摘要
在基于区块链的分布式计算平台以太坊中，称为智能合约的程序被编译为字节码并在以太坊虚拟机（EVM）上执行。执行EVM字节码会受到货币费用---一个明确的优化目标。我们的目的是通过将EVM指令的操作语义作为SMT公式进行编码，并利用约束求解器自动找到更便宜的字节码来超级优化EVM字节码。我们在EVM字节码超级测量器EBSO中实现了这种方法，并对现实世界数据集执行了两个大规模评估。
In the blockchain-based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Executing EVM bytecode is subject to monetary fees---a clear optimization target. Our aim is to superoptimize EVM bytecode by encoding the operational semantics of EVM instructions as SMT formulas and leveraging a constraint solver to automatically find cheaper bytecode. We implement this approach in our EVM Bytecode SuperOptimizer ebso and perform two large scale evaluations on real-world data sets.
