赵 辉 ，李 星 ，谭嘉诚 ，盖珂珂

(1.河南大学 软件学院，河南 开封475000；2.北京理工大学 网络空间安全学院，北京100081)

0 引言

智能合约的概念最早由美国著名计算机学科学家SZABO N[1]提出，由于当时技术发展和缺乏可信执行环境等原因，智能合约并没有得到良好的应用。直到一个化名为中本聪的学者提出了比特币的概念[2]，其底层技术区块链的兴起重塑了智能合约，解决了之前技术不成熟和应用场景缺失等问题。

区块链具有去中心化、不可篡改等特性，为智能合约提供了一个解决信任问题的机制。相较于传统的金融合同，智能合约有很多的优点，智能合约执行的过程不需要可信的第三方的参与，一旦满足合约中的条件，相应的条款将会被强制自动地执行。智能合约降低了信任成本，并且将用户使用合约的门槛降低。基于智能合约的区块链技术广泛应用于金融[3]、能源[4]和物联网[5]等领域。

随着智能合约的迅速发展，智能合约复杂性不断增加，面临着许多不可忽视的安全问题，频发的合约攻击事件表明，智能合约的安全问题十分严重，智能合约漏洞的研究受到了广泛的关注。

本文的主要贡献：

(1)对2016 年以来发生的典型智能合约攻击事件进行了总结。

(2)对智能合约的常见漏洞进行了总结，并详细介绍其原理。

(3)对常见的安全分析工具进行了介绍，并对各个分析工具进行了比较。

本文首先对近年来发生的典型合约攻击事件进行了简介和分析；接着详细地分析了智能合约的安全漏洞；……