這是一個恐怖且真實發生的故事
挑戰
像任何正常人一樣,我花了很多時間潛伏在UniswapDiscord的支持頻道里。
周三下午,有人問是否能夠收回意外發送到配對合約的Uniswap流動性代幣。
我最初的想法是,這些代幣將被永遠鎖定,但那天深夜,我突然意識到,如果這些代幣仍在那里,那任何人都可以去恢復它們。
當任何人調用Uniswap核心合約上的burn函數時,該合約會測量自己的流動性代幣余額并將其燒掉,將提取的代幣提供給調用者指定的地址。這是Uniswapv2預期行為的核心部分。
我找到了這個合約,這些流動性代幣仍然在那里,它們的價值大約為12000美元。
這意味著三件事:
有一個滴答作響的時鐘,即使沒有其他人注意到這筆免費資金,任何人都可以在任何時候移除自己的流動資金,并意外地從合約中獲得這些代幣;
OpenSea將為創作者推出可定制的空投服務,現已開放搶先體驗申請:金色財經報道,據官方公告,NFT市場OpenSea宣布正分階段為創作者推出可定制的空投服務,該功能將在未來幾周開放體驗,現已開放搶先體驗申請。如果創作者的合約符合ERC721SeaDrop合約標準,即可使用該功能在OpenSea上創建一個空投。
OpenSea上的下拉頁面旨在提供豐富的、講故事的表面。這些登陸頁面是可定制的,并為關鍵消息和項目信息(如鑄造時間表、倒計時時鐘、NFT畫廊和路線圖)以及圖像和視頻提供空間。[2022/12/22 22:00:10]
我可以戴上我的白帽,試著幫失主找回他的代幣,這很簡單,我只需要調用池子的burn函數,將我自己的地址傳遞給它。
只是…我知道這不簡單。
黑暗森林
以太坊區塊鏈是一個高度敵對的環境,這一點已經不是什么秘密。如果一個智能合約可以被用來牟利,那它最終就會被利用。黑客攻擊的頻繁發生表明,一些非常聰明的人花了大量時間來檢查合約中的漏洞。但這種無情的環境與Mempool相比顯得相形見絀。如果說區塊鏈本身就是一個戰場,那么mempool就是更糟糕的東西:一片黑暗的森林。
Coinbase:非常重視有關搶先交易的指控,對非法行為零容忍:金色財經報道,Coinbase的一位發言人在一份聲明中回應了悉尼科技大學研究人員的一項研究稱,“Coinbase非常重視有關搶先交易的指控,我們努力確保所有市場參與者都能獲得相同的信息。作為這項工作的一部分,我們已采取措施將資產測試和集成步驟中出現技術信號的可能性降至最低。我們對非法行為零容忍,并對其進行監控,并在適當的時候進行調查。”
此前報道,悉尼科技大學研究人員的一項研究發現Coinbase內幕交易實例超出7月份被指控范圍。[2022/8/18 12:32:43]
《黑暗森林》是我最喜歡的科幻小說,它引入了“黑暗森林”的概念,在這種環境中,探測意味著某些高級捕食者的死亡。在這種環境下,公開識別別人的位置和直接摧毀他們一樣好。
在以太坊Mempool中,這些頂級捕食者會采取“套利機器人”的形式。套利機器人監控等待中的交易,并試圖利用它們創造盈利機會。對于這些機器人,沒有哪個白帽比PhilDaian更了解這些機器人,他和他的同事一起撰寫了《FlashBoys2.0》論文,并創造了術語“礦工可提取價值”。
BM評論以太坊搶先交易機器人事件:這就是以太坊不適合DeFi的原因:Paradigm研究合伙人Dan Robinson和Georgios Konstantopoulos發布文章《以太坊是黑暗森林》。根據分析,有多個機器人在掃描以太坊Mempool,尋找從其他用戶獲利的方法。有人詢問Dan是否能收回意外發送到配對合約的Uniswap流動性代幣(價值約12000美元)。他最初的想法是這些代幣將被永遠鎖定,但后來意識到,如果這些代幣仍在那里,任何人都可以去恢復。任何人調用Uniswap核心合約上的函數時,該合約會測量自己的流動性代幣余額并將其燒掉,將提取的代幣提供給調用者指定的地址。
他們實施營救行動時遭遇搶先交易機器人:get交易確實被納入,但是出現UniswapV2: INSUFFICIENT_LIQUIDITY_BURNED錯誤,意味著流動性代幣沒了。結果是其get交易進入Mempool后幾秒鐘內,就有人執行調用并掃蕩走資金。
EOS創始人BM評論稱,這就是為何以太坊不適合DeFi。EOS上不存在文章所描述的問題,因為它速度太快,無法搶先交易,而且生產者是已知的,并且可以承擔責任。以太坊上發生的事情太可怕了。(Cryptoticker)[2020/8/30]
Phil曾經告訴了我一個他稱之為“廣義搶跑者”的宇宙恐怖存在。套利機器人通常在Mempool中尋找特定類型的交易,并嘗試按照預先確定的算法進行搶先交易。通用的搶跑者通過復制并用自己的地址替換來尋找任何可使搶跑獲利的交易。
聲音 | 中科院王小云:我國亟需搶先制定區塊鏈等密碼協議標準與技術規范:由中國科學院學部主辦、中國信息通信研究院等單位聯合支持的“區塊鏈技術與應用”科學與技術前沿論壇于2019年12月7日、8日在深圳舉辦。中國科學院院士、清華大學高等研究院“楊振寧講座”教授、國際密碼協會會士(IACR Fellow)王小云院士,在大會上進行了主題為“Hash函數與區塊鏈技術”的開幕報告。王院士表示對我國的密碼學充滿信心,“在密碼協議方面,我們國家和其他國家都是處在同一個起跑線上”,同時她也指出了我國密碼學未來的發展方向,“哪個國家先制定標準,就掌握了先機。我國亟需搶先制定物聯網、車聯網、區塊鏈、國產操作系統等密碼協議標準與技術規范。”[2019/12/7]
這就是為什么這次救援行動不會簡單的原因。任何人都可以調用這個burn函數,如果我提交了一筆調用burn函數的交易,它就像一個閃爍的“免費貨幣”標志,直接指向這個有利可圖的機會。如果這些怪物真的在mempool中,它們會看到,復制然后變異,并在我的交易被接受之前搶先完成交易。
金色獨家 北郵在線數字經濟研究院李立中:中國需要搶先占領區塊鏈監管標準制高點:金色財經獨家專訪,近日,針對區塊鏈行業的監管問題,北郵在線數字經濟研究院執行董事、副院長李立中建議,首先,區塊鏈技術已經逐步成為賽博空間的基礎設施,中國需要搶先一步占領相關標準的制高點;其次,相關虛擬幣亂象對于中國這么大的市場確實有把控難度,里面的風險特別是洗錢風險、融資風險必須有效監管,但也不能因噎廢食。最后,找到有相關反洗錢能力的交易所項目進行試點或許是一個不錯的方法。相關信息監管實時可見可控,一旦有問題隨時管控,與其在體外循環風險不可見不可控,還不如培養可信有實力的機構一起占領市場制高點,說不定還可以加速推動人民幣國際化。[2018/6/16]
請注意,這種環境比以太坊區塊鏈狀態本身更殘酷。這些免費的資金已經在區塊鏈上停留了大約8個小時,它們尚未被發現,等待著被任何一個調用burn函數的人從池子中提取出流動性代幣。但任何試圖撿起它的嘗試,都會在飛行過程中立即遭到阻擊。
營救行動
為了在不通知機器人的情況下提取到資金,我需要混淆這筆交易,這樣機器人就無法檢測到它對Uniswap對的調用,這將涉及編寫和部署定制合約。盡管我是一個專業的DeFi思想領袖,但我以前從未在以太坊上部署過合約。
我需要幫助,而當時已經過了午夜。幸運的是,我認識的一些最好的智能合約工程師生活在歐洲時區。我在Paradigm的同事GeorgiosKonstantopoulos同意幫助部署合約并提交交易。我們另一家投資組合公司Yield的首席工程師AlbertoCuestaCa?ada則自愿執行合約。
一些優秀的以太坊安全工程師幫助我們想出了一個混淆方案。除了將調用隱藏為內部交易外,我們還將交易分為兩部分:一筆是激活我們合約的set交易,另一筆是在合約被激活的情況下拯救資金的get交易。具體實施如下:
部署一個Getter合約,當所有者調用它時,它只在激活時發出burn調用,否則將恢復;
部署一個Setter合約,當所有者調用它時,它將激活Getter合約;
在同一個區塊中提交set交易和get交易;
圖:我們自定義智能合約的代碼
如果攻擊者只嘗試執行get交易,它將在沒有調用set交易的情況下恢復。我們希望在攻擊者按順序執行這兩筆交易之前,我們的交易能夠先被區塊納入。
圖:我們的救援腳本
令我們驚訝的是,即使我們手動調高了gas費用,set?交易依舊被Infura拒絕了。在幾次失敗的嘗試和重置之后,時間給了我們壓力,然后我們開始變得草率了。我們讓第二筆交易溜到了之后的一個區塊。
而這成了一個致命錯誤!
我們的get交易確實被納入了,但是出現了一個UniswapV2:INSUFFICIENT_LIQUIDITY_BURNED錯誤,這意味著流動性代幣沒了。結果是,在我們的get交易進入mempool后的幾秒鐘內,就有人執行了調用,并掃蕩走了資金。
怪物吞噬了我們。
教訓
教訓1:怪物是真實存在的!
盡管從理智上,我們知道這些搶先交易機器人普遍存在,但在你真正看到它們的行動之前,你很可能低估了它們。
我們抱著一絲僥幸,通過授權合約將救援作為內部調用,我們原本以為它能保護我們,但現實并不是。
如果你發現自己也處于這樣的情況,我們建議你聯系ScottBigelow,他是一位一直在研究該主題的安全研究人員,而他有一個更好的混淆原型實現。
教訓2:別草率
即使在時間緊迫的情況下,我們也應該堅持原計劃。如果我們花更多的時間在腳本上,調整合約,或者甚至同步我們自己的節點以避免使用Infura,我們可能就能將兩筆交易放入同一個區塊中。
教訓3:不要依賴一般的基礎設施
你所做的事情越奇怪,你就越難通過現有的基礎設施,比如Infura。在我們的案例中,我們試圖提交一筆基于當前區塊鏈狀態看起來會失敗的交易,Infura對此有合理的保護措施。而使用我們自己的節點可以避免這個問題。
或者,如果你碰巧認識一個大礦工,你可以讓他們直接在一個區塊中納入你要提交的交易,完全跳過mempool和怪物。
教訓4:未來只會變得更可怕
這只是發生在我們身上的搶先交易事件的一個例子,而類似的事情每天會發生很多次。今天,搶先交易者只是機器人,而明天,則可能會是礦工。
今天,礦工們并沒有抓住這些機會,把錢留在了原地,但誰也不能保證,他們將來是否會重新排序并提交自己的交易,為其自身利益服務。更糟糕的是,他們可能會重構其他礦工開采的區塊,試圖竊取他們沒有認領的MEV,從而導致區塊鏈的不穩定。
我們認為這種未來是可以避免的。Optimism有一個雄心勃勃的愿景,即如何將MEV重新定向以造福于生態系統,以作為其layer2擴展性解決方案optimisticrollup的一部分。
如果你正在思考關于MEV的事,或在這一領域建設些什么,請聯系我們!
感謝AlbertoCuestaCa?ada、ScottBigelow、PhilDaian、CharlieNoyes以及SamSun對這篇文章提供的幫助。
End
注:原文作者是Paradigm研究合伙人DanRobinson和GeorgiosKonstantopoulos。
資訊簡評 福布斯:加密錢包數據顯示比特幣處于“牛犢”階段投資者可能會認同這樣的觀點,即在當前經濟形式下,比特幣稀缺性與數字化的貨幣形式是很有意義的,不過這很難成為確定比特幣公允價值的準繩.
1900/1/1 0:00:00耐心+心態+欲望+自知。能把控這四點者,必然會是一位成功的交易者。成功者的思維世界永遠是,能,可以,沒有問題.
1900/1/1 0:00:00有些時候,我們需要危機,來激發我們自身的潛能,喚醒我們內心深處被掩藏已久的人生,來實現人生最大的價值.
1900/1/1 0:00:00著名加密貨幣研究者Hasu說了,只有兩類人在玩Ampleforth這個項目,「IQ值140的,和IQ值60的」,不過,「這兩類人中只有一類人會長期陪跑」.
1900/1/1 0:00:00Paradigm研究合伙人DanRobinson和GeorgiosKonstantopoulos發布文章《以太坊是黑暗森林》.
1900/1/1 0:00:00BTC行情分析:4小時圖看幣價運行在布林上軌之下,布林帶呈平緩趨勢,KDJ三線交叉后呈向上多頭趨勢,RSI指標,MA5均線呈平緩趨勢,MA5日均線和MA10均線交叉.
1900/1/1 0:00:00