6.18期间正愁”千手观音“还不够剁，如果一觉醒来，突然发现爸妈的账户可以随便用了，前男友的钱因为权限设置错误而对你以及他所有前女友开放了。不是天上掉馅饼，而是老天可能漏了个洞。
我的是我的，你的还是我的。
这种漏洞恰好于6月18日发生在了Bancor部署的智能合约上。
Bancor 在6月16号部署了他们的 BancorNetwork v0.6的智能合约, 紧接着两天后合约被发现存在严重的安全漏洞。攻击者可利用此漏洞转走合约里的钱。
智能合约可能产生的漏洞有很多种，而本次Bancor智能合约所产生的漏洞与函数有关。
先科普一下，在智能合约里，函数有4种访问权限:
Public - 可被所有人调用
LBank蓝贝壳于4月9日16:50首发 BOSON:据官方公告，4月9日16:50，LBank蓝贝壳首发BOSON(Boson Protocol)，开放USDT交易，4月9日16:00开放充值，4月12日16:00开放提现。上线同一时间开启充值交易BOSON瓜分10,000 USDT。
LBank蓝贝壳于4月9日16:50开启充值交易BOSON瓜分10,000 USDT。用户净充值数量不少于1枚BOSON ，可按净充值量获得等值1%的BOSON的USDT空投奖励；交易赛将根据用户的BOSON交易量进行排名，前30名可按个人交易量占比瓜分USDT。详情请点击官方公告。[2021/4/9 20:02:26]
External - 只可被外部所调用
Internal - 只可被合约本身以及继承合约调用
Private - 只可被合约本身调用
这里强调一下，当函数权限被设置为public时，任何人都可以调用这个函数，从而把合约里的钱转走。也就是说，当你的前男友不小心把他的钱包权限设置成了公开，那么包括他的现任、前任、前前任在内的世界上的任何人，都可以轻而易举地把他的钱转移走。此刻他一定非常心塞。
首发 | imKey正式支持Filecoin，成为首批Filecoin硬件钱包:12月1日，随着imToken2.7.2版本上线，imKey同步支持Filecoin，成为业内首批正式支持FIL的硬件钱包。Filecoin作为imKey多链支持的优先级项目之一，成为继BTC、ETH、EOS和COSMOS四条公链后的第五条公链。
据悉，imKey团队已在Q4全面启动多链支持计划，计划实现imToken已经支持的所有公链项目，本次imKey升级更新，无需更换硬件，不涉及固件升级，通过应用（Applet）自动升级，即可实现imKey对Filecoin的支持及FIL的代币管理。[2020/12/2 22:52:32]
下面我们来看一下此次Bancor漏洞的代码：
在漏洞合约的第45行我们看到safeTransferFrom函数，这个函数的功能是从一个地址往另一个地址转账，注意到此函数的权限被设置为public。
首发 | 刘尧：百度区块链推出天链平台赋能链上业务:12月20日，由CSDN主办的“2019中国区块链开发者大会”12月20日在北京举行。百度智能云区块链产品负责人刘尧以《企业区块链赋能产业创新落地》为主题进行了演讲，他指出：2020年将是区块链企业落地的元年，为了支持中国区块链的产业落地，百度将区块链进行平台化战略升级，依托百度智能云推出天链平台，就是要赋能360行的链上业务创新落地。[2019/12/20]
有趣的是，CertiK团队通过进一步的调查发现，在有漏洞的合约部署的两天后，Bancor团队用了以下两个钱包地址去通过漏洞提取合约中的资金，来清空合约里的资金，防止被黑客盗取，也算是弥补漏洞的精明之举:
0xc8021b971e69e60c5deede19528b33dcd52cdbd8，
0x14fa61fd261ab950b9ce07685180a9555ab5d665
几乎同时，两个第三方人员也开始利用这个漏洞提取资金，其中一位利用漏洞进行了16次取款交易，总共取出了131,889.34美元。这个第三方人员的ETH地址和邮箱分别是：
首发 | 蚂蚁矿机S17真机图首次曝光 采用双筒风扇及一体机设计 ?:继正式宣布在4月9日现货销售后，比特大陆即将发布的新品蚂蚁矿机S17又有了新动态。据悉，蚂蚁矿机S17真机图今天在网上首次曝光。
从曝光的图片来看，蚂蚁矿机S17延续上一代产品S15的双筒风扇设计，且采用一体机的机身设计。有业内人士认为，采用双筒设计可有效缩短风程，矿机出入风口的温差变小，机器性能将得到很大改善。
此前比特大陆产品负责人在接受媒体采访时表示，新品S17较上一代产品相比，无论是在能效比还是单位体积的算力等方面，均有较大提升。[2019/4/3]
0x052ede4c2a04670be329db369c4563283391a3ea
arden43y/img/2022811213429/4.jpg">
首发 | 百度推动246家博物馆线上藏品上链:金色财经讯，近日，百度超级链联合百度百科，基于区块链技术创建 “文博艺术链”，推动百科博物馆计划中的246家博物馆线上藏品上链。基于“文博艺术链”，百度将与博物馆共同推动线上藏品版权的确权与维护，同时探索线上藏品版权数字化交易方式，为合作的博物馆提供更全面的服务和更多的权益。据介绍，此项目将分阶段进行，一期将完成线上藏品的入链确权，为每一件藏品生产专属的版权存证证书。让每一名用户可以在百度百科博物馆计划的PC端和WAP端的藏品页查看证书。后续，百度还将推动AI与区块链技术在文博领域的结合应用，用来保障上链数据与藏品相匹配，为后续进行藏品图像版权数字化交易奠定基础。[2019/1/30]
而另一位的地址是以下两个:
0x854B21385544c44121f912AEdF4419335004F8ec，
0x1ad1099487b11879e6116ca1ceee486d1efa7b00
他总共进行了四笔取款交易，共提取了3340美元。（折合人民币2万3千元左右，可以足足吃上2000多顿小龙虾。）
Bancor对此事件进行了官方回应（详情请见文末“其他参考链接”第一条）:
其中有一段提到他们利用这个漏洞把合约里的$455,349的余额转移到另一个钱包里了。
另一段称已与两位第三方人员取得联系，请求他们退回利用合约漏洞而转走的资金。
Bancor随后更新了有漏洞的合约。
可以明显看出public被改为了internal。
造成此严重漏洞的原因是开发人员在设置函数权限的时候犯了错误。在智能合约里，仅仅一个参数使用错误，就可导致合约里所有人的钱都处于危险之中。
值得庆幸的是，此次漏洞并没有被黑客利用，不然用户的钱将永远无法追溯。
智能合约类似于函数调用错误的漏洞还包括但不限于DOS、逻辑错误、越权访问、重入及整数溢出等一千种可能。这一千种可能里面任意的一种可能，都会给公司及用户带来巨大的财产损失，而且合约具有一旦部署就不可更改的属性。
因此，保证智能合约没有漏洞，是非常重要的。合约在部署前，交给专业的安全公司进行安全审计是不可或缺的环节。
CertiK会使用形式化通过数学层面的验证去证明智能合约的正确性。以上则是CertiK安全审计的部分内容。
程序测试可以证明漏洞的存在，但永远不能说明漏洞不存在。
而CertiK的存在，就是为了让漏洞不存在。
我们绝不仅仅是寻找漏洞，而是要消除哪怕只有0.00000001%被攻击的可能性。
文中所提及智能合约及地址链接如下：
存在漏洞的智能合约:
https://github.com/bancorprotocol/contracts-solidity/blob/4394c0e1d1785a71044101b1d6df57e332b73ba9/solidity/contracts/utility/TokenHandler.sol
漏洞合约部署的地址：
0x8dFEB86C7C962577deD19AB2050AC78654feA9F7
0x5f58058C0eC971492166763c8C22632B583F667f
0x923cAb01E6a4639664aa64B76396Eec0ea7d3a5f
修改后的智能合约:
https://github.com/bancorprotocol/contracts-solidity/blob/master/solidity/contracts/utility/TokenHandler.sol
其他参考链接：
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#L45
https://explore.duneanalytics.com/public/dashboards/mEUEd9rQCPjeMkryEIgbtC0YUZwOXESQPTkkqdPX
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。