韩国国家级区块链项目ICON智能合约代码近日被爆代码存在安全漏洞，使transfer功能失效。虽然黑客无法利用这次漏洞盗币，但该漏洞会导致包括转账、交易等重要功能无法正常使用。据闻，项目方已积极投入大量资源修复漏洞并保证交易不受影响。
ICON到底出了什么安全漏洞？
在ICX的合约中，有一个功能可以开启/关闭合约的转账功能。最初，此功能的设计是只有ICX合约的所有者拥有调用它的权限；由于代码写错了逻辑运算符号，导致除了合约所有者之外的任何人都能随意开启和关闭该合约的转账功能。
分析：比特币矿工正在减少储备以对冲币价下跌:7月9日消息，根据Chart Today基于Crypto Quant数据的分析，在过去两周，比特币矿工储备显著下降。这可能表明，尽管本周比特币价格上涨，但人们对其价格逆转的信任正在减少。数据显示，在过去两周，比特币矿工储备减少了约4300枚，暗示对冲头寸以防价格下跌。
比特币挖矿社区的总体趋势似乎是将资产转移到衍生品市场。这可能是预期比特币价格进一步下跌的一个明确信号。此外，Glassnode的研究发现，比特币矿工正在从他们的储备中分配比特币。比特币挖矿收入相较于历史高点下降了56%。此外，比特币的生产成本增加了132%，使矿工社区的情况更加糟糕。（Coin Gape）[2022/7/9 2:02:16]
让我们来看一下这段代码：
以太坊2020年累计交易费接近比特币的两倍:金色财经报道，数据显示，2020年累计支付给以太坊矿工的交易费用几乎是比特币的两倍。根据Coinmetrics发布的图表，8月12日时以太坊与比特币的2020年累计费用相等，随后以太坊交易费持续攀升。[2020/9/29]
require(msg.sender!=walletAddress);//错误!从代码逻辑上来看，「!=」表示「不等于」,「==」表示「等于」很明显的，这行代码应该写成:require(msg.sender==walletAddress);//正确!
1252枚比特币自Coinbase转至一未知地址:据Whale Alert监测，北京时间11点17分，1252枚比特币自Coinbase转至一未知地址 。[2020/3/17]
事后来看，这几行代码所展现的错误很直接了当，可开发过程中要面对的是成百上千行代码，这样的繁杂就会带来对漏洞的忽略。而传统检测和安全审计服务不仅耗时耗力，还容易出现人为失误，导致不必要的损失。
怎么保证智能合约代码无漏洞？
为了探求如何能避免这类型的错误再次发生，小编请CertiK(Certik.org)--形式化验证平台帮忙做了一个深入检测，了解到CertiK如何通过将智能标签运用到源代码中，快速并且全自动化的检测安全漏洞。
上图就是CertiK检测ICX漏洞的实际过程，完整的演示了漏洞的验证过程及修复建议。据悉，ICX智能合约已经在上线做过多轮的安全「审计」，但可是这样的错误还是成了漏网之鱼。如果ICX当时能使用CertiK的形式化验证服务，这次事故很可能可以避免。
最后，小编还是要提醒智能合约要上线的各位，尽早让形式化验证平台为你的合约保驾护航。
附上ICX源代码：
来源链接：mp.weixin.qq.com
本文来源于非小号媒体平台：
区块链探长
现已在非小号资讯平台发布1篇作品，
非小号开放平台欢迎币圈作者入驻
入驻指南：
/apply_guide/
本文网址：
/news/3630312.html
以太坊ETH韩国漏洞风险安全
免责声明：
1.资讯内容不构成投资建议，投资者应独立决策并自行承担风险
2.本文版权归属原作所有，仅代表作者本人观点，不代表非小号的观点或立场
上一篇：
「云挖坑」HashOcean或350万美元的BTC，黑客又当回「背锅侠」?
下一篇：
5%的门罗币来自恶意挖矿，诚实矿工收入锐减
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。