漏洞分析连载第十三期：合约实现中的事与愿违——实现与设计不

[billy.ryoko]

针对区块链安全问题，成都链安科技团队每一周都将出智能合约安全漏洞解析连载，希望能帮助程序员写出更加安全牢固的合约，防患于未然。

引子：出尘花品爱池荷，零落秋风可奈何 —— 《病中咏秋荷》清·蔡桓

前情提要：

上回书说到， 除法运算四舍五亦舍，浮点精度数小事不小

在合约的数学运算中，除法属于比较特殊的一类，其结果只保留整数部分。如果使用小分子大分母的运算基数，将会造成精度上的误差。对于此类运算，应从精度的设计、运算和表示三个方面入手，采用“大分子”、“运算顺序调整”、“运算前精度转换”三种方式来提高运算结果的准确度。在处理反映经济决策的比例，保持智能合约的正确精确度非常重要，这同时也是以太坊官方的一个努力方向。

了解了数据相关的知识，我们这期再回到逻辑与功能方面的安全问题。

本期话题
逻辑判断失误事与愿违，功能实现不周弄巧成拙

智能合约作为区块链技术革命的核心，乘着以太坊兴起的潮流，发展至今已经两年有余。智能合约的理念最早可以追溯到1995年，几乎与互联网同时出现。广受赞誉的密码学家尼克萨博最早提出了这个术语，他也是为比特币打下基础的学者之一。随着比特币的出现和应用，让智能合约的理念有了实现的机会。

1

从原理上来说，智能合约的执行依靠的是条件的触发，也就是类似于程序中的if-then语句。也就是说，智能合约对于其中合同条款的执行取决于预先编译好的逻辑判断，进而与真实世界的资产进行交互。本期，我们归纳总结了一些在从设计到实现的过程中出现安全漏洞。

智能合约愈发复杂

我们都知道，一个智能合约包含两部分：代码逻辑和数据。

相比于比特币的脚本语言，智能合约发展的一个终极目标就是“图灵完备”，简单来说，就是无论怎样复杂的交易逻辑或功能都可以实现。

智能合约的开发经过一段时间的沉淀，已经由最初简单的转账、付款等功能需求，向越来越多的交易功能和逻辑进化，比如冻结、暂停、中止、授权。根据复杂性理论，越复杂的系统越容易有出错的可能。因此，越是功能强大的智能合约，其逻辑就越是复杂，也越容易出现逻辑上的漏洞。

开发合约也会言多必失？

打个比方来说，逻辑更加复杂的代码相当于更庞大的城池，在容纳更多人口的同时，需要防守的地方也更多。有些精心设计而又容易忽视防范的地方，比如错综复杂的下水道系统，正是容易让整个城池沦陷的重大隐患。

http://m.8btc.com/lianan-loudongfenxi