韩国国家级区块链项目ICON智能合约代码近日被爆代码存在安全漏洞，使transfer功能失效。虽然黑客无法利用这次漏洞盗币，但该漏洞会导致包括转账、交易等重要功能无法正常使用。据闻，项目方已积极投入大量资源修复漏洞并保证交易不受影响。
ICON到底出了什么安全漏洞？
在ICX的合约中，有一个功能可以开启/关闭合约的转账功能。最初，此功能的设计是只有ICX合约的所有者拥有调用它的权限；由于代码写错了逻辑运算符号，导致除了合约所有者之外的任何人都能随意开启和关闭该合约的转账功能。
桑坦德银行：闪电网络每秒可处理超过100万笔交易:金色财经报道，桑坦德银行的报告估计，闪电网络每秒可处理超过100万笔交易，而VISA等传统卡支付网络每秒可处理2万笔交易。Amboss首席执行官Jesse Shrader表示，MicroStrategy和Santander等公司正在认识到基于该技术的闪电技术的潜力，而不是出于合规目的而采用它。
金色财经此前报道，桑坦德银行Santander的资产服务部门CACEIS，已在法国监管机构注册，提供加密货币托管服务。[2023/6/27 22:03:03]
让我们来看一下这段代码：
马来西亚证券委员会将Kucoin和Bybit列入投资者警告名单:7月23日消息，据马来西亚证券委员会（Securities Commission Malaysia）官方网站披露信息显示，Kucoin 和 Bybit 已被列入投资者警告名单，理由是这两家数字资产交易平台未进行注册和授权即开展运营。马来西亚证券委员会法律有的投资者警告名单中主要包括未经监管许可从事证券/衍生品交易、基金管理、投资建议等业务的机构，以及未经批准、授权或许可而发行或提供证券产品的机构等。[2022/7/23 2:32:41]
require(msg.sender!=walletAddress);//错误!从代码逻辑上来看，「!=」表示「不等于」,「==」表示「等于」很明显的，这行代码应该写成:require(msg.sender==walletAddress);//正确!
数据：当前Solana生态总市值为172.56亿美元:金色财经消息，据CoinGecko最新数据显示，当前Solana生态总市值为172.56亿美元（截至发稿时为17,256,805,961美元），24小时交易额为2,470,469,331美元。[2022/6/18 4:36:32]
事后来看，这几行代码所展现的错误很直接了当，可开发过程中要面对的是成百上千行代码，这样的繁杂就会带来对漏洞的忽略。而传统检测和安全审计服务不仅耗时耗力，还容易出现人为失误，导致不必要的损失。
怎么保证智能合约代码无漏洞？
为了探求如何能避免这类型的错误再次发生，小编请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%的门罗币来自恶意挖矿，诚实矿工收入锐减
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。