又被攻擊 VETH智能合約是如何被盜90萬美元的？_EXCL

前言

2020 年 7 月 1 日，VETH 合約遭遇黑客攻擊。慢霧安全團隊在收到情報后對本次攻擊事件進行了全面的分析，下面為大家就這次攻擊事件展開具體的技術分析。

攻擊細節

本次攻擊交易如下 0xdd1120a90ed4112b634266d6a244b93ca86785317bc75f0e170ab0cd97c65224

通過交易概覽可以看到攻擊者在 Uniswap 中使用 0.9 ETH 兌換成 VETH，然后使用 VETH 在 Vether 合約中進行操作，最終盜走巨額的 VETH。

Request Finance集成至Moonbeam Network:2月3日消息，一體化財務解決方案Request Finance集成至Moonbeam Network，增加了對加密支付的支持。團隊現在可以利用Request以加密方式管理他們的工資單、費用和發票[2023/2/3 11:46:16]

現在使用 OKO 合約瀏覽器對具體的攻擊細節進行分析（下圖只展示一部分）https://oko.palkeo.com/0xdd1120a90ed4112b634266d6a244b93ca86785317bc75f0e170ab0cd97c65224/

安永在深圳開設亞太技術實驗室，創新領域包括區塊鏈、Web3等:12月13日消息，安永會計事務所在深圳開設亞太技術實驗室，該技術旨在利用新興技術提升創新潛力，如AI、AR、VR、區塊鏈、Web3等。該實驗室目前已推出一種基于 Web3 的醫療保健數據分析模型，由去中心化身份 (DID) 規范支持，以幫助與主要制藥公司合作運行合規、經過身份驗證的醫療數據分析。（prnewswire）[2022/12/13 21:42:15]

通過分析交易內具體的細節可以發現：攻擊者先創建了一個合約0x47Ed415006C6F8052Fff05fe983f31D6D24B8fDB 通過此合約對 Vether 合約中的 changeExcluded(unknown37217349) 函數與 transferFrom 函數進行了調用。

Kava 11測試網正式上線:9月29日消息，據Kava Network官推消息，Kava 11測試網正式上線。[2022/9/29 6:02:16]

接下來對這兩個函數的具體代碼進行分析：

可以看到在 transferFrom 函數中，先對 mapAddress_Excluded[msg.sender] 進行了 if 判斷，具體邏輯是mapAddress_Excluded[msg.sender]為 false 時，將會檢查對攻擊者合約的授權額度，然后調用_transfer函數進行轉賬。而這個邏輯顯然走不通，攻擊者合約是沒有任何授權額度的。因此mapAddress_Excluded[msg.sender]只能為 true ，然后直接調用_transfer函數進行轉賬。

Alameda欠Celsius 1200萬美元未償貸款:金色財經報道，已破產的加密借貸平臺Celsius Network周二告訴法庭，它向Alameda Research提供了1200萬美元的貸款，這給試圖收回存款的Celsius債權人增加了另一個障礙。Celsius新任首席執行官Chris Ferraro表示，該公司過去面臨的風險要大得多。例如，2020年1月，Celsius在FTX Group的總敞口為36億美元。但在今年早些時候申請破產保護之前，它立即將風險敞口削減至3.54億美元。Ferraro還表示，Celsius正在通過質押部署及其挖礦業務產生“適度的收入”，Celsius Mining擁有大約40,000臺采礦設備。[2022/11/16 13:10:02]

接下來具體分析該如何將mapAddress_Excluded[msg.sender]設置為 true：

法國央行等8家新機構加入區塊鏈開放生態Hyperledger基金會:9月12日消息，全球企業級區塊鏈開放生態Hyperledger基金會宣布8家新成員機構加入，包括法國央行法蘭西銀行、尼日利亞中央銀行、CasperLabs、加拿大數字身份實驗室和DSR Corperation、BCW Group、Realto Group、以及國際可信區塊鏈應用協會 (INATBA)。

此前報道，Hyperledger是一個開源協作項目，旨在完善跨行業區塊鏈技術，進而實現商業用途。它是通過全球協作實現的，由Linux基金會托管。（Prnewswire）[2022/9/12 13:24:20]

通過查看合約可以發現：

合約在初始化時只將address(this)和burnAddress的mapAddress_Excluded置為 true，那么可以肯定還有其他邏輯可以設置mapAddress_Excluded，通過分析  Vether 合約可以發現changeExcluded函數可以實現對mapAddress_Excluded的設置。

通過分析changeExcluded函數可以發現其可見性為external，因此攻擊者合約可以直接調用changeExcluded函數，此時攻擊者合約的mapAddress_Excluded為 false，所以會進入 if 的邏輯中。

接下來對 if 邏輯內的代碼進行具體分析：

在進行 if 邏輯后需要先支付手續費，具體為上方代碼塊中的第 3 行，那這個手續費是從哪里來呢？答案就是攻擊者最初轉入合約中的 0.9 ETH。

圖中可以看到，通過 0.9 ETH 兌換成約 138 VETH。

通過計算代碼中的mapEra_Emission/16我們可以得到攻擊者需要支付的手續費：我們讀取合約中的 mapEra_Emission可以知道 mapEra_Emission為 2048。

此時計算mapEra_Emission/16可得手續費為 2048/16 = 128 VETH，而攻擊者兌換了約138 VETH 是足夠用來支付手續費的，因此便可以通過上方代碼塊中的第 4 行將攻擊者合約的mapAddress_Excluded置為 true。

創建攻擊合約，通過 Uniswap 將 0.9 ETH 兌換成約138 VETH（此處換幣為了后續支付手續費）

調用 Vether 合約中的changeExcluded函數并利用先前在 Uniswap 兌換的約 138 VETH 支付 128 VETH 的手續費，然后將mapAddress_Excluded置為 true

調用 transferFrom 函數，利用mapAddress_Excluded為 true，直接進行轉賬操作

拿錢走人

0xfa2700e67065bc364136b5e7f57112083cb2a0cd

0x75572098dc462f976127f59f8c97dfa291f81d8b

修復建議

此次攻擊主要利用 Vether 合約中changeExcluded函數的可見性為external且未有權限限制，用戶可以直接進行外部調用為攻擊創造了必要的條件。因此應做好對changeExcluded函數的權限或可見性的限制，從而避免任意用戶可以直接外部調用changeExcluded函數。

Tags：EXCLEXCCLULUDEXCL幣Kanga Exchange TokenDCLUB幣LUD幣

ICP