韩国国家级区块链项目ICON智能合约代码近日被爆代码存在安全漏洞，使transfer功能失效。虽然黑客无法利用这次漏洞盗币，但该漏洞会导致包括转账、交易等重要功能无法正常使用。据闻，项目方已积极投入大量资源修复漏洞并保证交易不受影响。
ICON到底出了什么安全漏洞？
在ICX的合约中，有一个功能可以开启/关闭合约的转账功能。最初，此功能的设计是只有ICX合约的所有者拥有调用它的权限；由于代码写错了逻辑运算符号，导致除了合约所有者之外的任何人都能随意开启和关闭该合约的转账功能。
Blockchain Capital重塑品牌，并推出投后支持项目“BCAP Build”:7月26日消息，加密风投机构Blockchain Capital今天推出了一个专注于为创始人提供投资后支持的新项目BCAP Build，同时还宣布重塑其网站，以展示其投资组合公司网络。Blockchain Capital普通合伙人Kinjal Shah在接受采访时表示，这个新项目将专注于人才、市场进入战略及其合作伙伴网络。
据悉，Blockchain Capital成立于2013年，目前管理着19亿美元的资产，并正在积极进行投资。[2023/7/27 16:01:00]
让我们来看一下这段代码：
韩国央行明年将试点面向私营部门的CBDC支付:金色财经报道，韩国央行发行的CBDC将于明年开始面向公众的首次支付实验（实证实验）。商业银行相关人士表示，韩国央行计划针对去年7月参与CBDC模拟的金融机构，进行小额支付CBDC实验的公开发行。在此基础上，针对民间企业进行CBDC试点测试。该部门将于明年进行。大额支付型CBDC的发行可以尽可能在韩国银行线上进行设想。[2023/6/30 22:09:34]
require(msg.sender!=walletAddress);//错误!从代码逻辑上来看，「!=」表示「不等于」,「==」表示「等于」很明显的，这行代码应该写成:require(msg.sender==walletAddress);//正确!
SushiSwap降低CEO拟议薪资，并将投票聘选新任CEO:金色财经消息，SushiSwap的治理社区已投票决定降低其首席执行官职位的薪酬。在SushiSwap的最初提案中，CEO的薪酬包含800,000USDC的基本工资、600,000个SUSHI代币，以及额外的激励措施。新通过的激励结构则将基本工资降低到500,000USDC。
此外，SushiSwap将举行另一次民意调查，对Jon Howard担任CEO一职进行投票，可能与其他候选人一起投票。（TheBlock）[2022/8/27 12:51:47]
事后来看，这几行代码所展现的错误很直接了当，可开发过程中要面对的是成百上千行代码，这样的繁杂就会带来对漏洞的忽略。而传统检测和安全审计服务不仅耗时耗力，还容易出现人为失误，导致不必要的损失。
怎么保证智能合约代码无漏洞？
为了探求如何能避免这类型的错误再次发生，小编请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%的门罗币来自恶意挖矿，诚实矿工收入锐减
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。