以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

一文復盤etherscan的0day(零日)漏洞_AAA:RSC

Author:

Time:1900/1/1 0:00:00

我喜歡挑戰假設。我喜歡嘗試做不可能的事情,找到別人錯過的東西,用他們從未見過的事來使他們震驚。去年的時候,我根據一個非常費解的Solidity漏洞為ParadigmCTF2021編寫了一個挑戰。雖然公開披露了一種變體,但我找到的漏洞從未真正被討論過。結果,幾乎所有嘗試過挑戰它的人,都被它看似不可能的性質所難倒。幾周前,我們正在討論關于ParadigmCTF2022的計劃,當時Georgios在推特上發布了一條難題推文,我認為在啟動電話會議的同一天發布一個挑戰會非常酷。然而,這不可能只是一次老掉牙的挑戰。我想從這個世界得到一些東西,一些沒有人會看到的東西,一些超越人們想象極限的東西。我想編寫第一個利用0day漏洞的以太坊CTF挑戰。

1

如何制造0day漏洞

作為安全研究人員,為了優化我們的時間,我們會做出一些基本假設。一是我們正在閱讀的源代碼確實產生了我們正在分析的合約。當然,只有當我們從可信的地方讀取源代碼時,這種假設才成立,比如說Etherscan。因此,如果我能找到一種方法讓Etherscan錯誤地驗證某些東西,我就能夠圍繞它設計出一個真正迂回的謎題。為了找出如何利用Etherscan的合約驗證系統,我必須驗證一些合約。我在Ropsten測試網部署了一些合約來折騰并嘗試驗證它們。很快,我就看到了下面的界面。

數據:4個地址在BALD開始交易4分鐘內買入5%供應量代幣,已拋售部分獲利超百萬美金:7月30日消息,據Lookonchain監測,有4個地址在BALD開始交易后 4 分鐘內花費 0.534枚ETH (1000美元) 購買 5000萬枚BALD (占總供應量的 5%)。然后以 出售了3700萬枚BALD換成554枚ETH的價格(104 萬美元)。這4個地址同時從Bybit提取0.5ETH ,跨鏈到Base網絡,并在BALD開始交易后4分鐘內購買BALD 。這很可能是同一個人,而且可能是項目的內部人士。[2023/7/31 16:07:52]

我選擇了正確的設置并進入下一頁。在這里,我被要求提供我的合約源代碼。

我輸入了源代碼并單擊了驗證按鈕,果然,我的源代碼現在附在了我的合約上。

既然我知道了事情是如何運作的,我就可以開始戲弄驗證過程了。我嘗試的第一件事是部署一個新的合約,將foo更改為bar,并用原始源代碼驗證該合約。毫不奇怪的是,Etherscan拒絕驗證我的合約。

然而,當我手動比較兩個字節碼輸出時,我注意到一些奇怪的事情。合約字節碼應該是十六進制的,但顯然有一些并非是十六進制的。

最高檢:加強對“元宇宙”、區塊鏈等新技術新業態相關法律問題的前瞻研究:金色財經報道,近日,最高人民檢察院印發《關于加強新時代檢察機關網絡法治工作的意見》,《意見》指出,要加強對“元宇宙”、人工智能、區塊鏈、云計算等新技術新業態相關法律問題的前瞻研究,強化安全風險綜合研判,準確把握創新發展與違法犯罪的界限,及時發現、精準懲治以新技術新業態為幌子實施的各類犯罪活動,既保護創新發展,又有效防范各類風險疊加演變。[2023/4/19 14:11:57]

我知道Solidity會將合約元數據附加到部署的字節碼中,但我從未真正考慮過它是如何影響合約驗證的。顯然,Etherscan正在掃描元數據的字節碼,然后用一個標記替換它,“這個區域中的任何東西都可以不同,我們仍然會認為它是相同的字節碼。”對于潛在的0day漏洞,這似乎是一個很有希望的線索。如果我可以欺騙Etherscan將非元數據解釋為元數據,那么我將能夠在標記為{ipfs}的區域中調整我部署的字節碼,同時仍然讓它驗證為合法的字節碼。我能想到的在創建事務中包含一些任意字節碼的最簡單方法,是將它們編碼為構造函數參數。Solidity通過將ABI編碼形式直接附加到創建交易數據上來對構造函數參數進行編碼。

然而,Etherscan太聰明了,它將構造函數參數排除在任何類型的元數據嗅探之外。你可以看到構造函數參數是斜體的,以表明它們與代碼本身是分開的。

美國國防部高級研究計劃局正評估加密貨幣對國家安全的威脅:金色財經報道,美國國防部高級研究計劃局(DARPA)已經與數字資產數據和分析供應商Inca Digital簽約,研究加密貨幣帶來的國家安全風險。

DARPA是美國國防部的研究和開發機構,計劃分析與分布式賬本的金融應用有關的活動。

該機構已經授予Inca Digital第二階段小企業創新研究(SBIR),以在一個名為 \"繪制數字金融資產的影響 \"的項目中開展這項研究。(Coindesk)[2022/9/24 7:17:40]

這意味著我需要以某種方式欺騙Solidity編譯器,使其發出我控制的字節序列,以便使其類似于嵌入的元數據。然而,這似乎是一個很難去解決的問題,因為如果沒有一些嚴重的編譯器爭論,我幾乎無法控制Solidity選擇使用的操作碼或字節,之后源代碼看起來會非常可疑。我考慮了一會兒這個問題,直到我意識到:導致Solidity發出任意字節實際上是非常容易的。以下代碼將導致Solidity發出32個字節的0xAA。bytes32value=0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa;受到鼓舞,我很快寫了一個小合約,它將推送一系列常量,以便Solidity會發出與嵌入的元數據完全相似的字節碼。

美國加州的加密相關法案獲議會批準,將要求加密業務獲得特殊許可:金色財經消息,美國加州的一項加密相關法案“數字金融資產法”(Digital Financial Assets Law)獲得州議會投票批準,現已送往州長 Gavin Newsom 的辦公桌,他必須在 9 月 30 日之前簽署或否決該法案。

該法案該法案將于 2025 年 1 月生效,要求數字資產交易所等加密金融服務企業獲得特殊許可證,如果簽署成為法律,將引入更嚴格的加密法規,并對加利福尼亞州的行業進行更多的監督。(彭博社)[2022/9/1 13:01:38]

令我高興的是,Etherscan在我的合約中間標記了IPFS哈希的存在。

我快速復制了預期的字節碼,并用一些隨機字節替換了IPFS哈希,然后部署了生成的合約。果然,Etherscan像往常一樣考慮了不同的字節業務,并允許我的合約得到驗證。

有了這個合約,源代碼建議在調用example()時應該返回一個簡單的字節對象。但是,如果你真的嘗試調用它,就會發生這種情況。$sethcall0x3cd2138cabfb03c8ed9687561a0ef5c9a153923f'example()'seth-rpc:{"id":1,"jsonrpc":"2.0","method":"eth_call","params":}seth-rpc:error:code-32000seth-rpc:error:messagestackunderflow(5<=>16)我在Etherscan中成功發現了一個0day漏洞,現在我可以驗證行為與源代碼建議完全不同的合約。而現在,我只需要圍繞它設計一個解密游戲。2

Gitcoin第15輪捐贈活動已獲得超100萬美元的匹配資金:金色財經消息,Gitcoin宣布第15輪捐贈活動在12輪生態系統中獲得超過100萬美元的匹配資金,其中包括a16z加密基礎設施、Forta、大中華區這三個新輪次。其中a16z加密基礎設施輪次匹配30萬美元,專注于改善用戶體驗、發展生態系統和改善Web3開發體驗的項目;Forta輪次匹配3萬美元,專注于支持/推進Forta網絡社區,并開發尋找鏈上異常的檢測機器人以保護Web3空間;大中華區輪次匹配5萬美元,尋求通過招募開發者來發展中國開發者生態系統的項目。[2022/8/30 12:56:51]

一個錯誤的開始

顯然,這個解密游戲將圍繞這樣一個想法,即Etherscan上看到的源代碼并不意味著合約的實際行為方式。我還想確保玩家不能簡單地直接重放交易,因此解決方案必須是每個地址唯一的。最好的方法顯然是要求簽名。但是在什么情況下會要求玩家簽署一些數據呢?我的第一個設計是一個具有單一公開函數的簡單puzzle。玩家將使用一些輸入調用該函數,對數據進行簽名以證明他們提出了解決方案,如果輸入通過了所有各種檢查,那么他們將被標記為solver。然而,當我在接下來的幾個小時內充實這個設計時,我很快就對事情的結果感到不滿意了,它開始變得非常笨重和不優雅,我無法忍受在一個設計如此糟糕的puzzle上毀掉如此棒的0day漏洞想法。不得不承認,我無法在周五前完成這件事,于是我決定睡一覺。3

Pinball彈球難題

周末我繼續嘗試迭代我的初始設計,但沒有取得更多的進展。就好像我現在的方法碰壁了,盡管我不想承認,但我知道如果我想要我滿意的東西,我可能不得不重新開始。最終,我發現自己從第一原理重新審視了這個問題。我想要的是一個解密游戲,玩家必須在其中完成各種知識檢查。但是,我沒有要求完成知識檢查本身就是獲勝的條件,相反,這可能是允許玩家選擇的眾多路徑之一。也許玩家可以在整個puzzle中累積分數,利用這個漏洞可以獲得某種獎勵。贏的條件只是最高的分數,因此間接鼓勵使用漏洞。我回想起我去年設計的一個挑戰,Lockbox,它迫使玩家構建一個單一的數據塊,以滿足六個不同合約的要求。合約會對相同的字節應用不同的約束,迫使玩家在構建有效載荷的方式上變得聰明。我意識到我想在這里做一些類似的事情,我會要求玩家提交一個單一的數據blob,我會根據滿足特定要求的某些數據部分來獎勵分數。正是在這一點上,我意識到我基本上是在描述pinboooll,這是我在DEFCONCTF2020決賽期間面臨的一個挑戰。pinboooll的噱頭是當你執行二進制文件時,執行會在控制流圖上反彈,就像一個球在彈球機中反彈一樣。通過正確構造輸入,你將能夠找到特定的代碼部分并獲得分數。當然,也有一個漏洞,但坦率地說,我已經忘記了它是什么,我也不打算再去尋找它。除此之外,我已經有了自己想要利用的漏洞。由于我在處理的是一個運行當中的零日漏洞,我決定要盡快解決這個難題。最后,我花了幾個小時讓自己重新認識pinboooll的工作原理,并花了幾天時間將其重新實現。這就解決了puzzle的支架問題,現在我只需要集成這個漏洞。4

武裝化一個零日漏洞

我讓Solidity輸出正確字節的方法一直是只加載幾個常量,并讓Solidity發出相應的PUSH指令。然而,這樣的任意常數可能是一個巨大的危險信號,我想要一些能更好地融入其中的東西。我還必須加載一行中的所有常量,這在實際代碼中很難解釋。因為我真的只需要硬編碼兩個神奇的字節序列,所以我決定看看是否可以在它們之間夾入代碼,而不是第三個常量。在已部署的合約中,我只需要用一些其他指令替換夾在中間的代碼。addressa=0xa264...1220;uintx=1+1+1+...+1;addressb=0x6473...0033;經過一些實驗,我發現這是可能的,但前提是啟用了優化器。否則,Solidity會發出過多的值清理代碼。這是可以接受的,所以我繼續改進代碼本身。我只能在兩個地址內修改代碼,但是在最后看到一個懸空的地址會很奇怪,所以我決定在條件語句中使用它們。我還必須證明第二個條件的必要性,所以最后我投了一點分數獎勵。我做了第一次有條件的檢查,檢查tx.origin是否匹配了硬編碼的值,以給人們一個最初的印象,即沒有必要進一步追求這個代碼路徑。if(tx.origin!=0x13378bd7CacfCAb2909Fa2646970667358221220)returntrue;state.rand=0x40;state.location=0x60;if(msg.sender!=0x64736F6c6343A0FB380033c82951b4126BD95042)returntrue;state.baseScore+=1500;現在源代碼都準備好了,我必須編寫實際的后門。我的后門需要驗證玩家是否正確觸發了漏洞利用,如果他們沒有正確觸發,則不給出任何提示就失敗,如果他們成功觸發,則獎勵他們。我想確保漏洞不會被輕易重放,所以我決定只要求玩家簽署自己的地址,并在交易中提交簽名。為了增加樂趣,我決定要求簽名位于交易數據中的偏移量0x44處,球通常會從這里開始。這將需要玩家了解ABI編碼的工作原理,并手動將球數據重新定位到其他地方。但是,在這里我遇到了一個大問題:根本不可能將所有這些邏輯都放入31字節的手寫匯編中。幸運的是,經過一番考慮,我意識到我還有另外31個字節可以使用。畢竟,真正嵌入的元數據包含了另一個Etherscan也會忽略的IPFS哈希。在打了一些代碼高爾夫之后,我抵達了一個可以工作的后門。在第一個IPFS哈希中,我會立即彈出剛剛推送的地址,然后跳轉到第二個IPFS哈希。在那里,我會哈希調用方,并部分設置memory/堆棧以調用ecrecover。然后我會跳回第一個IPFS哈希,在那里我完成設置堆棧并執行調用。最后,我將分數乘數設置為等于(msg.sender==ecrecover())*0x40+1,這意味著不需要額外的分支。在把后門編碼成一定大小后,我在推特上發布了我的Rinkeby地址,以便從水龍頭處獲取一些測試網ETH,然后向任何觀看這條推文的人暗示可能會發生一些事情。接著,我部署了合約并對其進行了驗證。

現在剩下要做的,就是等待有緣人發現隱藏在視線中的后門。注:截至發稿時,來自RocketPool的軟件開發者KaneWallmann已經解出了這個謎題,具體過程在這里:https://medium.com/@kanewallmann_71759/an-untrustworthy-pinball-machine-d9dcd07882c此外,Etherscan開發者CalebLau也已經修復了該漏洞。

本文來自元宇宙之道,星球日報經授權轉載。

Tags:ETHAAARSCETHEethical的中文諧音AAA幣RSCT幣ethereal詞源

萊特幣最新價格
ConsenSys三季度報告精華:受NFT帶動,以太坊生態正高速擴展_ONS:CONC價格

近日,以太坊生態孵化器ConsenSys發布《Web3Q32021》報告。報告指出,以太坊龐大的Web3.0生態系統——包括大多數DeFi、穩定幣、NFT和區塊鏈游戲世界——持續擴大并吸引用戶,

1900/1/1 0:00:00
從 DeFi 喚醒到 DeFi 2.0 的突圍,一文探討 DeFi 2.0 的核心特質是什么?_DEF:ChargeDeFi Charge

被NFT和GameFi壓住風頭的DeFi近期似乎又回到了輿論中央,以多個創新性的DeFi項目為代表,不知不覺將DeFi2.0的影子帶了出來.

1900/1/1 0:00:00
淺析元宇宙發展的三種主要觀點及道路發展結果_NFT:SOLCASH

最近有朋友問我“元宇宙”是什么,他說自己在某音上看到了一些聊“元宇宙”的視頻,就覺得挺有意思的.

1900/1/1 0:00:00
加密運動正快速破圈,主流消費品牌紛紛擁抱NFT和Tokenization_TOKE:Lien Token

作者:GeJin長期研究游戲和虛擬經濟的學者,國際上第一部游戲打金紀錄片《GoldFarmers》導演,目前擔任美國上市科技公司的中國子公司總經理,并為多家全球品牌提供戰略咨詢.

1900/1/1 0:00:00
關于 NFT 的未來:我們可以擁有會思考和感受的 NFT_APE:CRY

作者:MarioGabriele文章翻譯:Blockunicorn 可操作的見解 如果您只有幾分鐘的空閑時間,那么投資者、運營商和創始人可以在今天的文章中了解NFT和知識產權.

1900/1/1 0:00:00
Taproot 升級:Taproot 最終可以為普通比特幣用戶提供什么?_OOT:有什么用途

作者:AmyLiu圖片來源:網絡Taproot是比特幣近幾年最大的升級,該升級一旦成功,不僅將大大提高比特幣的交易隱私和效率,還將進一步釋放智能合約的潛力.

1900/1/1 0:00:00
ads