智能合约(smart contract) 这个术语是在1994 年由Nick Szabo 提出的，后来经过几次在不同环境下的重新定义。我们现在通常所说的区块链智能合约以以太坊为代表，以太坊的作者Vitalik Buterin 意识到，在区块链系统中，交易逻辑是可以和底层系统机制分离的。底层系统负责交易块的创建和验证，记账者的共识达成等基础功能，而交易本身到底做什么事情是可以通过二次编程的方式来定义的。因此他设计了一种交易代码执行的虚拟环境EVM，使用者可以开发自定义的交易逻辑，发布到链上，当交易进行时，链上所有的节点都执行相同的代码，从而同步改变链上数据的状态。他为这种代码使用了“智能合约”这个名字，这是我们目前通常所说的智能合约的内涵。

 

 

　　智能合约本质是一段运行在区块链网络中的代码，它完成用户所赋予的业务逻辑。以以太坊体系的代币为例，其业务逻辑是代币发币和交易。以太坊在设计之初，将智能合约设计成了一旦部署就不能修改的模式。这种设计有可能是为了提高智能合约的可信性。但是我们知道，只要是由人编写的程序，就一定会出现错误和缺陷。以太坊这种设计本身就违背了程序设计的一般规律，在智能合约出现漏洞的时候可能会造成无法弥补的损失。我们可以看到，近期出现的以太坊体系智能合约的漏洞，造成了巨大的影响，有的代币也因此毁灭。

 

　　目前以太坊体系区块链智能合约的机制设计，加之漏洞可能带来的毁灭性影响，使得已上线智能合约的漏洞的报告和处理变得非常棘手。360代码卫士团队在近期的研究中发现了以太坊体系下多个已上市交易的代币的智能合约安全漏洞，并已第一时间报告厂商，但到目前为止厂商尚未作出任何回应。对于厂商来说，由于智能合约不可修改的特性，要对上线后发现的漏洞进行有效修复，只能选择重新部署新的合约，这将付出巨大的代价，因此有的厂商可能会选择不响应，不处理。而对于安全研究者来说，也面临尴尬的境地，左右为难。在厂商修补漏洞前公开漏洞细节对于厂商不利，有悖漏洞披露的一般原则，但如果厂商迟迟不修补漏洞，公众对于漏洞的存在不知情，风险会随着时间的增长迅速膨胀，漏洞一旦爆发可能会造成更大的危害，波及更大的人群，可能会造成很多人的投资瞬间化为乌有。接下来我们还将与厂商保持积极的联系和沟通，以期帮助其修复漏洞。

 

 

　　在一些联盟链中，智能合约的设计是可以在部署之后更新的，当然这种更新需要一定的线下协商流程。要应对区块链智能合约的安全漏洞问题，未来需要普遍考虑设计相应的智能合约协商更新机制，降低漏洞修复的成本。

 

　　但现在，我们需要面对现实，做出几乎唯一可行的、切实有效的努力——在智能合约上线之前，对其进行全面深入的代码安全审计，尽可能的消除漏洞，降低安全风险。

 

　　据悉，360代码卫士团队利用自身在源代码静态分析领域的长期技术积累，迅速将污点传播、约束求解等技术移植到针对智能合约的分析中，可针对区块链智能合约提供专业的代码审计服务，帮助区块链项目尽早发现智能合约中可能存在的安全隐患。