http://www.7klian.com

裂痕阐明 | 一千种死法之 智能合约函数挪用错误

修改后的智能合约:

这种裂痕刚好于6月18日产生在了Bancor陈设的智能合约上。

https://blog.bancor.network/bancors-response-to-today-s-smart-contract-vulnerability-dc888c589fe4
https://github.com/bancorprotocol/contracts-solidity/blob/4394c0e1d1785a71044101b1d6df57e332b73ba9/solidity/contracts/utility/TokenHandler.sol

Bancor对此事件举办了官方回应(详情请见文末“其他参考链接”第一条): 

此人称这个地点的背后是一个自动运行的生意业务系统,,大概会无意操作工钱的失误和合约的裂痕获取资金。假如可以或许证明这个地点通过裂痕获得了钱,他可以把钱偿还。

CertiK会利用形式化通过数学层面的验证去证明智能合约的正确性。以上则是CertiK安详审计的部门内容。
0x923cAb01E6a4639664aa64B76396Eec0ea7d3a5f
造成此严重裂痕的原因是开拓人员在配置函数权限的时候犯了错误。在智能合约里,仅仅一个参数利用错误,就可导致合约里所有人的钱都处于危险之中。
他总共举办了四笔取款生意业务,共提取了3340美元。(折合人民币2万3千元阁下,可以足足吃上2000多顿小龙虾。)

https://github.com/bancorprotocol/contracts-solidity/blob/4394c0e1d1785a71044101b1d6df57e332b73ba9/solidity/contracts/utility/TokenHandler.sol#L45
0x14fa61fd261ab950b9ce07685180a9555ab5d665

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

相关文章阅读