智能合约问题致区块链安全事件频发(2)

曾经BEC批量转账漏洞事件就是利用了没有使用安全函数计算乘法，导致计算机结果超出范围造成溢出事件，使判断条件成立，然后就可以进行大量的转账了，最终BEC蒸发了60多亿的市值，不仅仅是给投资者，也给项目方造成了极大的损失。

图中红框的地方是我们为了避免溢出漏洞而使用的安全数学函数。

在这种写法里，我们除了做正向计算外，还要做一次逆向计算，以保证运算结果可逆，这样的计算结果才是正确的。

也就是说做一个加法，我们计算a + b = c，安全函数在计算完之后一定要再计算一遍c >= a，这个结果成立，我们会认为这是一次有效的计算。虽然这样增加了计算量，但是由于智能合约部署以后不可变更并且不可升级的特性，我们牺牲一点点效率，换来的是安全正确的计算结果，也是值得的。

所以在投资的时候一定要找开源代码的来投，开源代码一定要检查是不是用了安全函数，但是要注意，有了安全函数，不代表用了安全函数。