未充分优化的智能合约吞噬你的资金
软件工程
2020-11-05 v2
摘要
智能合约是在区块链（例如最流行的区块链之一以太坊）上运行的完整程序。在以太坊中，gas（以以太币计，一种类似比特币的加密数字货币）是补偿矿工运行智能合约所消耗计算资源的执行费用。然而，我们发现未充分优化的智能合约会消耗超出必要的gas，导致合约创建者或用户被超额收费。本文首次对推荐的编译器Solidity进行研究，揭示其未能优化gas开销高的编程模式。具体而言，我们识别出7种gas开销高的模式并将其归为2类。随后，我们提出并开发了GASPER，一种通过分析智能合约字节码自动定位gas开销高模式的新工具。在4,240个真实智能合约上发现3种代表性模式的初步结果显示，分别有93.5%、90.1%和80%的合约存在这3种模式。
引用
@article{arxiv.1703.03994,
title = {Under-Optimized Smart Contracts Devour Your Money},
author = {Ting Chen and Xiaoqi Li and Xiapu Luo and Xiaosong Zhang},
journal= {arXiv preprint arXiv:1703.03994},
year = {2020}
}
备注
In International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2017