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

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

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

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

FTX 債務人將尋求歸還巴哈馬監管機構持有的加密貨幣:金色財經報道，FTX Trading及其附屬債務人周五表示，他們將尋求將巴哈馬證券委員會控制的加密貨幣歸還給他們的第11章財產，以利于債權人。

巴哈馬證券委員會周四表示，自11月12日以來，它一直掌握著價值超過35億美元的FTX客戶資產。FTX債務人稱，這些資金是在FTX前CEO SBF 和前CTO Gary Wang在巴哈馬當地政府的要求下，在破產程序啟動后轉移的。

債務人表示，由巴哈馬監管機構控制的Fireblocks錢包中的加密貨幣的價值在最初被轉移時按現貨市場價格計算為2.96億美元，目前價值1.67億美元。(The Block)[2022/12/31 22:17:56]

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

阿根廷航空公司Flybondi將發行NFT機票，并將引入Binance Pay和穩定幣購買:9月22日消息，阿根廷航空公司Flybondi正在其運營中引入區塊鏈技術，以NFT的形式發行機票，從而擴大客戶使用門票的可能性。例如，用戶可以在適用航班前三天將NFT出售或轉讓給其他旅客，并更改用戶姓名。該解決方案由區塊鏈技術開發公司Travelx開發，還引入了使用Binance Pay和穩定幣購買這些門票的可能性。[2022/9/22 7:14:06]

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

Circle首席執行官：我們需要大眾市場的穩定幣錢包和加密貨幣外匯市場:金色財經報道，Circle首席執行官Jeremy Allaire在社交媒體上稱，在歐洲使用自動取款機獲取歐元，被近20%的外匯+費用壓垮。上帝，我們需要大眾市場的穩定幣錢包和加密貨幣外匯市場。USDC/EUROC。

此前消息，7月6日，Circle推出的歐元穩定幣EUROC，目前僅支持在美國境內交易。[2022/7/31 2:48:49]

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

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

為了探求如何能避免這類型的錯誤再次發生，小編請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：ICXCERERTCERTicx幣官網SoccerHubHertz NetworkAnimal Concerts

以太坊交易