「韓國以太坊」ICON 爆代碼漏洞，所有交易暫停_ICX

韓國國家級區塊鏈項目ICON智能合約代碼近日被爆代碼存在安全漏洞，使transfer功能失效。雖然黑客無法利用這次漏洞盜幣，但該漏洞會導致包括轉賬、交易等重要功能無法正常使用。據聞，項目方已積極投入大量資源修復漏洞并保證交易不受影響。

ICON到底出了什么安全漏洞？

在ICX的合約中，有一個功能可以開啟/關閉合約的轉賬功能。最初，此功能的設計是只有ICX合約的所有者擁有調用它的權限；由于代碼寫錯了邏輯運算符號，導致除了合約所有者之外的任何人都能隨意開啟和關閉該合約的轉賬功能。

部分加密礦企正尋求將顯卡礦機用于AI領域:5月10日消息，包括Hive Blockchain和Hut 8 Mining等加密礦企正尋求將其此前囤積的GPU礦機（此前參與ETH挖礦）用于AI方面，為AI企業提供HPC服務。據為礦工提供經紀服務的Bitpro Consulting稱，5%到15%的GPU礦機可以重新用于AI視覺和生成圖形設計等相鄰的應用程序。但轉而為AI提供HPC服務將需要對額外的硬件和員工進行大量投資。[2023/5/11 14:55:43]

讓我們來看一下這段代碼：

SOL跌破18美元，24小時跌幅達35.08%:金色財經報道，SOL跌破18美元，現報17.96美元，24小時跌幅達35.08%。行情波動較大，請做好風險控制。[2022/11/9 12:38:22]

require(msg.sender!=walletAddress);//錯誤!從代碼邏輯上來看，「!=」表示「不等于」,「==」表示「等于」很明顯的，這行代碼應該寫成:require(msg.sender==walletAddress);//正確!

Avalanche八月鏈上交易量突破3320萬筆，創歷史新高:8月28日消息，Avalanche 社區新聞媒體 Avaxholic 近日披露，Avalanche 的本月交易量已突破 3320 萬筆，創下歷史新高。

此外，Avaxholic 還發布了一組數據。在交易量方面，Avalanche 以 18.8% 的增幅成為月均交易量增長最快的 EVM 區塊鏈，排名第二的是 Fantom（月交易量增幅 12.6%），Cronos 位居第三（增幅 10%），Polygon（7.57%）和 BSC（5.5%）分列第四和第五位。[2022/8/28 12:53:18]

事后來看，這幾行代碼所展現的錯誤很直接了當，可開發過程中要面對的是成百上千行代碼，這樣的繁雜就會帶來對漏洞的忽略。而傳統檢測和安全審計服務不僅耗時耗力，還容易出現人為失誤，導致不必要的損失。

怎么保證智能合約代碼無漏洞？

為了探求如何能避免這類型的錯誤再次發生，小編請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%的門羅幣來自惡意挖礦，誠實礦工收入銳減

Tags：ICXAVAcertikERTicx幣的最新資訊TAVA幣certik幣價

以太坊