搶先交易機器人如何截胡資金?如何避免被搶先交易的厄運?
以太坊黑暗森林中的怪物可不是茶余飯后的玩笑。這些搶先交易的機器人能分析智能合約指令和它們之前從未在智能合約中用過的函數,以提取潛在收益。
要更好的了解這些機器人,本文提供了一次探尋以太坊黑暗森林的漫游之旅。讓我們進一步深入該黑暗森林中,了解它們有多么猖獗。
我們設法「利用陷阱」,捕獲了一些常見類型的搶先交易機器人,并對其行為進行了分析。
在這場漫游之旅中,我們研究了這些搶先機器人的效率,研究了各種交易被它們追獵的可能性。當然,我們還測試了不同的逃避他們的方法。
以下,enjoy。
一般來講,搶先交易(https://en.wikipedia.org/wiki/Front_running)是指在已知的未來交易發生之前,在執行隊列中插隊兌現交易的行為。
搶先交易的一個簡單示例是交易所出價。假設某人即將在 Uniswap 上購買大量 ETH,足以推動 ETH 價格上漲。從這種情境中受益的一種方法是在這筆大量買進 ETH 之前的瞬間搶先買入 ETH,此時價格仍然較低。然后,在 ETH 價格飆升之后,立即賣出以鎖定利潤。
除了這種套利交易實例,還存在很多利用搶先交易攫取價值的途徑,包括清算、購買罕見的 NFT,或者僅僅是制造用戶錯誤。(交易或成交順序的可提取價值被稱為「礦工可抽取價值 MEV」)?
以太坊中的搶先交易可以通過支付略高于正常水平的 gas 價格即可實現,通過這種方式,可以鼓勵礦工在構建區塊時將其交易排列在優先順序。交易支付的手續費用越高,執行的順序越靠前。因此,如果兩筆交易都會從同一個區塊中的同一個調用智能合約的指令中獲利,只有先成交的那筆交易會最終獲利。
Dan Robinson 和 Georgios Konstantopoulos 在聯手撰寫的「以太坊是一片黑暗森林」博客文章中描述了在一次試圖拯救以太坊一個智能合約中價值 12,000 美元代幣的行動中,遭到套利機器人截胡的經歷。這些超級掠食者機器人非常先進,能追蹤到以太坊交易池中任何有價值的交易,通過搶先交易的手段截胡。
3位加密科學家獲的理論計算機最高榮譽“2022年哥德爾獎”:金色財經報道,ACM算法與計算理論興趣組(SIGACT)宣布,2022年哥德爾獎授予Craig Gentry,Zvika Brakerski以及Vinod Vaikuntanathan,表彰其對密碼學做出的革命性貢獻。
據悉,Craig Gentry是一位美國計算機科學家,目前在由 Silvio Micali 創立的區塊鏈創業公司Algorand Foundation擔任研究員。
Zvika Brakerski是魏茨曼科學研究所(Weizmann Institute of Science)計算機科學與應用數學系副教授。他的研究興趣在于計算機科學基礎,目前主要研究密碼學和量子計算。
Vinod Vaikuntanathan致力于研究基于格的密碼學(格子密碼),使用整數格構建高級密碼原語。同時,還包括研究如何讓密碼抵抗泄露,開發抵抗對抗性信息泄漏的算法等等。[2022/5/22 3:34:18]
鏈聞注:「以太坊是一片黑暗森林」中文版文章可參見:
https://www.chainnews.com/articles/124072923888.htm
黑暗森林的故事令人「毛骨悚然」,以至于剛讀到文章時簡直無法相信。實際上,確實有理由質疑此類超級掠食者機器人的存在。為什么有人能從 Uniswap 協議中搞走資金呢?這個平臺可是被無數機器人虎視眈眈地監視著?這些機器人是不是也就是一群普通的「套利者」而已?
今年稍早,我們發表過分析文章證實它們可不是普通的「套利機器人」。據我們所知,它們能設法調用以前從未調用過的智能合約函數。就算是通過代理智能合約對交易進行了模糊處理,但這些機器人依然可以通過此類操作掠走資金。
至少可以這樣說,這令人震驚。能監視交易池中任何交易的能力是一種威力無窮的武器。令人不安的是,一些服務商開始公開提供「暗池」交易層。
「暗池」交易層無需使用諸如 Infura 之類的服務,甚至不使用私有節點,直接將交易發送給礦工,礦工承諾不會將其廣播到網絡中的其余節點,從而確保交易躲過掠食者的雷達。
著名白帽 samczun?曾聯合多位伙伴,從一個出現漏洞的智能合約中拯救出 960 萬美元的行動中采用了類似的方法。不難想象,會有礦工開始操縱搶先交易機器人,同時只為支付額外費用的交易者提供安全通道。
著名AI科學家Ben Goertzel正式出任EpiK銘識協議專家顧問:著名AI科學家、SigularityNET創始人,機器人公民Sophia的首席科學家 Ben Goertzel 正式出任EpiK銘識協議專家顧問,將推動EpiK領域專家生態搭建,助力構建高質量的實用知識圖譜數據生態。同時,Ben將推動EpiK銘識在AGI 強人工智能領域的應用實踐,同EpiK銘識一起共筑新一代AI智能基石。
同時,EpiK銘識協議測試網5.0于今日成功上線,首日即完成注冊數量超 5,414 節點,活躍節點3,275 個,全網算力125 GB,主網上線在即,為雙方合作創建的有效數據提供穩定的存儲基礎。[2021/6/17 23:44:27]
鏈聞注:關于該故事的中文版文章可參見:
https://www.chainnews.com/articles/551492636558.htm
這些機器人與以太坊的其它元素不同,只能活躍在以太坊主網,而智能合約可以在開發環境或測試網中進行測試。除了進行一些初步試驗之外,讓這些機器人嘗試搶先交易測試網中的交易在財務上沒有意義。此外,由于隱藏了邏輯,因此這些機器人的運行規則可能各不相同。
我們不清楚這些領先交易掠食者決定發起攻擊的條件。因此,在某些方面,追蹤這些掠食者類似于追逐稀有動物。
我們不針對所有領先交易機器人,而只針對特定的,即廣義類型的這種機器人。
我們要確保抓住的搶先交易機器人是「真正的」廣義搶先交易者,需要一個獨特的「陷阱」。陷阱是一個新造的智能合約,以 SHA256 哈希值的秘密字符串發起,并附帶有一些資金。任何人只有給出秘密合約才能提取鎖定的資金。資金將直接發送到提取交易的發送者。
這個陷阱的構想是以提供正確秘密合約的方式發送一個「誘餌」交易,以查看是否有人試圖復制并自己給出秘密合約,從而截胡資金。如果有人在誘餌交易之前截胡資金,則意味著有人在交易池中時能對交易池進行分析,復制其相關內容并自行給出秘密合約。
有意思的是,機器人能夠在一個以前所未有的智能合約中給出一個它們之前毫無所知的秘密合約來截胡資金——它們確實是真正的廣義搶先交易機器人。
該實驗一個不可或缺的部分,是要了解廣義搶先交易機器人的工作機制。但是如果有人打造了一臺賺錢機器,他們是不可能在 Github 上進行分享的。因此,我們只能對掠食機器人的行為進行觀察和反向工程。
動態 | 科學家破解迄今最長RSA密鑰并對最大整數離散對數進行匹配計算:密碼學達到一個新的里程碑,研究人員解開了有史以來人類計算過的最長RSA密鑰,并對有史以來最大的整數離散對數進行了匹配計算。這次的突破不是來自硬件性能的提升,而要歸功于軟件和算法的改進。這次的新記錄包括RSA-240的分解。RSA-240密鑰有240個十進制位,大小為795 bits。同一組研究人員還計算了同樣大小的離散對數。與以前的里程碑相比,這次的里程碑更少地受到摩爾定律的驅動,而更多地受到數域篩選軟件改進的驅動。為了證明效率的提高,研究人員在與2016年計算768位離散對數相同的硬件上運行他們的軟件。他們發現,使用舊的硬件篩選795-bit大小的記錄所需的時間比使用相同的設備執行768-bit DLP計算所需的時間減少了25%。(Arstechnica)[2019/12/7]
打造廣義搶先交易機器人通常需要兩個組件:
第一個組件是一個以太坊賬戶,有或沒有智能錢包代理,它們篡改的交易將會被發送到這個錢包。
第二個是「后端」,即操作的大腦,通常發生在鏈下。
這些機器人的操作者使用某種技術掃描交易池中的每筆交易,對其進行解析,替換其參數(例如,交易調用方),并判斷對其截胡是否有利潤。
搶先交易機器人工作流
理性的機器人對于交易費用超過可能獲利的交易不會發起截胡攻擊。總計交易費用可能較高,尤其是在 Gas 價格高昂的時候,因此,要想讓搶先交易機器人攻擊我們的誘餌交易,需要一定的最低利潤。
此外,由于機器人需要對交易池中的每筆交易(其中有很多交易)進行分析,因此時間也很重要。以太坊平均需要 12 秒產出一個區塊。如果交易的 Gas 價格足夠高,則必須在下一個區塊產生之前對其進行分析并足夠快地替換掉原交易。
這是一個存在一定概率的過程,在交易被廣播出去后,有可能有一個區塊被立即挖出,導致機器人沒有時間來成功分析該交易并廣播一個搶先交易。
考慮了這些因素以及一些想法,我們測試了搶先交易機器人出手截胡誘餌的條件。
我們的智能合約 (付款方?Giver:https://etherscan.io/address/0x36cb72433fbe10f03988b9d61d6c479a97a2a0b0) 設立時的最初余額為 0.035 ETH,當時價值約 20 美元。任何人向合約中存儲的哈希提供正確的秘密合約,就可以拿走這些資金。拿走這些資金的交易會觸發掠食者的搶先交易動作,另一個賬戶 (接受者 taker) 會試圖給出合適的秘密合約來提取資金。
聲音 | Bitcoin Unlimited首席科學家:閃電網絡是“半托管銀行”:根據AMBCrypto報道,Bitcoin Unlimited首席科學家Peter R. Rizun似乎并不支持閃電網絡,稱閃電網絡是“半托管銀行”。Rizun表示,每筆交易平均收費100美元,100美元對于世界上大多數人來說是一筆不菲的收入,因此閃電網絡不會給他們帶來財務自由,也不會成為他們的銀行并向他們選擇的任何人發送付款。[2019/3/16]
第一輪:直接調用合約
為了確保基準陷阱正常運行,我們首先使用了接收者帳戶來調用合同。第一次嘗試時,Gas 價格相對較高(由以太框架確定),我們能夠成功收回資金。
我們能成功可能是因為截胡這一交易的利潤太低,不足以打動掠食者,或者因為這一交易很快被寫入區塊,機器人沒來得及采取行動。顯然這不是我們期待的結果,我們的目標是引誘掠食者進入我們的陷阱。
第二輪:給掠食者留出思考時間
這一輪中我們解決了先前遇到的問題。我們增加了潛在利潤,并降低了 Gas 價格,因此交易不會太快地被寫入區塊,從而使機器人有時間找到它。該合約的余額增加至 0.04 ETH (余額比以前增加了 0.005 ETH)。
這次我們遭到了攻擊。該筆交易在被寫入區塊前滯留了約 3 分鐘,最終未能從陷阱智能合約中提取到價值。我們審視了合約的內部交易,發現資金被別人截胡。
鏈聞注:該筆交易地址為https://etherscan.io/tx/0x5bfd9294747686cddf8a0be649605ac700bd45363204bbb53dc091f193e0085c
這筆搶先交易 花了 25.000001111 Gwei (比我們使用的 Gwei 數高了 .000001111Gwei) ,與我們的交易被寫入同一區塊,明顯是截胡行動。
鏈聞注:該筆搶先交易地址為https://etherscan.io/tx/0x5b8221dea090c630e056e7160f065a590138eea8680c634c9134b2c37c7c394a
植入追蹤器
既然我們的陷阱已經成功地俘獲了一個機器人(我們也付出了一定的代價),我們可以提煉出一些有趣的洞察。
首先,交易顯示未直接執行對智能合約的調用。該機器人不是復制了交易并從其擁有的帳戶中盲目發送,而是還通過代理智能合約傳遞了該交易,其代理智能合約充當了執行這些交易的智能錢包。
聲音 | nChain首席科學家CSW:ICO浪費資金卻沒有創造任何財富:nChain首席科學家Craig Wright剛剛發推特稱,價值大小并不取決于籌集的資金量多少,而取決于是否創造了新的財富。目前的ICO浪費了大量資金卻沒有創造任何財富。[2018/9/12]
我們現在可以追蹤之前和未來的交易,仔細看一下這個機器人到底有多大神通,以及其如何運行。
這個機器人使用其自有的代理合約
反向編譯 (https://etherscan.io/bytecode-decompiler?a=0xc798d5ed657adef1ca7bc6090c590319dffe8979)該合約,顯示了兩個主要函數:
「Withdraw」主要是將該合約中的所有資金發送給機器人的運營者。另一個函數接受部分參數:要調用的合約,參數清單并傳遞價值參數。
有了這個函數,這個代理合約扮演了機器人運營者的智能錢包。除了能執行調用外部函數的功能外,它還可以確保交易開始時的余額至少等于結束時的余額,否則可以還原交易,從而避免在調用未知合約時可能造成的資金損失(當然不包括 Gas)。
利用 Dune Analytics 工具,我們可以看到這個機器人自 2018 年 5 月開始運營以來收獲頗豐。
假設這個機器人一直使用同一個智能代理和收款地址來發起搶先交易,我們可以估計其共賺到了約 17 ETH。
該機器人不同時間段賺到的資金 (以 ETH 為單位)
第三輪:這些機器人有多智能?
既然我們已經確信這個機器人程序是主動對我們發起攻擊,那么我們想測試是否可以通過第二個合約(代理合約)混淆我們對合約的調用,從而從合約中成功提取誘餌資金,該代理將調用一個函數來從誘餌合約(giver)中提取誘餌資金。(該合約還具有「收款」函數,可將資金退還給我們)。
我們部署了 ProxyTaker 合約,調用適當的函數,試圖提取資金。由于通過代理的行動的成本比之前略高一些, giver 合約的余額又上調至 0.055 ETH。結果是我們的交易立刻被另一個機器人搶先交易 。
鏈聞注:
ProxyTaker?合約地址為?https://etherscan.io/address/0x68b1b608034e9f4d34e777e1529bc157e17f60c8
調用地址為https://etherscan.io/tx/0xf4b8b57a6e61e97b954da6f9c6b66494aa764bdf0b3a4643e3beb8b276fd7b07
機器人搶先交易地址為https://etherscan.io/tx/0x8b358f45f28d27eb4910bd3a244527399c627c6066c70efc1c3fcb6ffc8517da
這一次機器人的手法更令人嘆為觀止。該機器人不僅能偵測出我們的提取交易,而且能從一個完全不同智能合約的內部調用中識別該交易!而且這一切是以創紀錄的短暫時間內完成,我們的提取交易是在幾秒后就被寫入新區塊,掠食者的搶先交易也是。
該機器人的身份也很有意思。該機器人的智能合約(https://etherscan.io/address/0xea4df374e6b7b3772bb5f98cea1a22606a9eb54c)主要是被這一賬戶(https://etherscan.io/address/0x052ede4c2a04670be329db369c4563283391a3ea)運營。該賬戶在 Etherescan 發表過一條評論,當時那條主貼是白帽討論從一個有漏洞的 Bancor 智能合約拯救資金的內容。
運營者賬戶中的信息 (來源 : etherscan)
考慮到該機器人的相同行為特征(利用賬戶 A 調用代理,將資金轉至賬戶 B) ,以及與上述交易的臨近特征,有理由懷疑這個機器人在上述事件中也對白帽的資金拯救行動進行過(https://etherscan.io/tx/0x43f5612bacb17117f538e7a08822f9f7956d82755d5b7b406bfffcea588f5ebe)廣義搶先交易。
這個機器人比我們之前遇到的那個要智能很多。它不僅瞄準 ETH 交易,還進行各種套利交易。
單從其賬戶余額來判斷,其收獲成果也要高出很多。目前該賬戶中余額約有 300 ETH (時價 18 萬美元)。我們還可以從合約地址中算一下所有流入和流出的資金,以估算其收益,其總額約為 900 ETH。
這只是一個粗略的估計,因為該帳戶可能進行過與其搶先交易活動無關的交易。這里是該機器人所有盈利的交易列表:
https://www.duneanalytics.com/queries/14863
為了讓挑戰更刺激,我們進行了更模糊的嘗試,這一次使用了僅我們能夠使用的代理合約 OwnedTaker。
這個陷阱與第三輪非常類似。Giver 合約余額為 0.05 ETH。同一筆交易中還包括了將資金返還我們的交易,而不是留在合約中。
第一次嘗試中,資金支付給 OwnedTaker 合約的該交易(https://etherscan.io/tx/0xce539b25b05e106c2f4ff0f6f76158efe436f1d8c9568048d4dcd1c016a6fef0)
花了約 1 分鐘寫入區塊,我們最終收回了資金。
我們隨之重復了這一實驗,這次 giver 合約余額提高至 0.06 ETH,迄今我們使用的最高一次余額,確保不會因為價值太低讓搶先交易機器人覺得不值得出手。
Gas 價值也被蓄意設在較低的值。該交易
(https://etherscan.io/tx/0x0eb7efff8e6386b13e8ebb7453689412cd2e23f844f70e18acb97209eb07d276)
滯留了約 7 分鐘,但我們依然成功提取了資金。
加入只能由合約主人轉發交易的 Owned 代理合約,在兩次交易中使得上述兩個已知的領先交易機器人無法成功解析數據并截胡。
成功提款
也許是只允許合同主人執行調用的要求,或者資金被發送到與調用合約不同的目標地址這一事實,能幫助避免機器人的搶先交易嘗試。
機器人很可能被調教為首先考慮自我保護。畢竟它們正在調用未知合約,該合約可能執行任意代碼。可以合理地假設:如果不能保證利潤,它們將避免不必要的風險或交易費損失。
具體取決于您如何看待它。我們使用了新合約,但只有我們知道一個這個秘密合約。很明顯,我們發現的兩個領先交易機器人都是在交易池中進行所有交易,并且從它們的利潤來看,它們干的很不錯。
我們為什么在最后的嘗試中避免了被搶先交易的厄運呢?
具體原因很難判斷。可能是機器人不愿冒與經過身份驗證的合同進行通信的風險,或者資金被轉移到另一個地址這一事實是出乎其意料。
這絕對不意味著這是避免被領先交易的完全可行的方法。最有可能的是,在以太坊交易池中潛伏著更復雜的機器人,它們只是根本不愿意冒險冒險獲得這么小的利潤。
在這一簡短的實驗中,我們能夠展示廣義搶先交易機器人的存在,以及其智能程度之高。
當然,我們很清楚我們的實驗既不完整也不確定。還存在許多其他的機器人,它們的觸發機制和運營方式截然不同,諸如潛在盈利、通信特征和最低復雜度(例如,通過 gasLimit)等因素可能會影響其運營方式。
不過我們確信我們的工作提供了一種概念驗證,讓人們進一步弄清這些廣義搶先交易機器人的作案手法。
目前令人震驚的現實是,如果存在任何人都可以調用智能合約而獲利的交易,即使它非常晦澀難懂,現實是很有可能被某個搶先交易機器人捷足先登掠走資金。
因此了解這些機器人及其運行方式至關重要,這樣我們才能在現在和將來構建更安全的系統。諸如 Flashbots 之類的項目試圖通過讓 MEV 提取民主化并使其成為公共資源來做到這一點。我們希望這項研究有助于實現這一目標。
感謝 Tal Be’ery、Omer Shlomovitz、Oded Leiba、Dan Robinson 以及其他幫助審閱本文的各位。
鏈聞注:文中作者所用相關合約代碼可在原文附錄查看:
https://medium.com/zengo/ethology-a-safari-tour-in-ethereums-dark-forest-677566d7c575
撰文:Alex Manuskin,加密貨幣錢包 Zengo 區塊鏈研究員,作者授權鏈聞發表該文章的中文版本
編譯:Perry Wang
穩定幣板塊最近特別火爆,尤其是在SEC起訴Ripple之后——投資者們對監管趨嚴的擔憂又進一步加深,雖然本質上其實是對中心化機構的不信任.
1900/1/1 0:00:002020年對整個世界都是充滿挑戰的一年。與此同時,事實證明它對以太坊卻給予了比較積極的影響——以太坊的生態系統在許多方面都沒有減弱,朝著我們的市值邁進了一大步.
1900/1/1 0:00:00近日,區塊鏈研究機構TokenInsight發布了《數字資產USDT永續合約研究報告》,該報告著眼于USDT合約設計機制、產品機制與市場情況三個方面進行研究.
1900/1/1 0:00:00比特幣近半年來漲勢迅猛,屢創歷史新高,至1月8日突破4萬美元大關。在比特幣的上漲過程中,加密市場的推特大V們也頻頻發表對比特幣的看多觀點,其中不乏各種花式唱多言論,對比特幣的價值極盡贊美之詞,運.
1900/1/1 0:00:00OKEx BTC/USDT永續合約: 在昨天的晚評中,我們提示短期要重點關注28000-30500支撐區間,在幣價首次進入該區間時容易引發短期抄底資金入場,從實際走勢來看.
1900/1/1 0:00:00原標題:《算法穩定幣的現狀與未來:小樣本窺探算法穩定幣的模型及挑戰痛點》摘要:本文從ESD、DSD和Basis Cash切入,小樣本窺探算法穩定幣及其解決的挑戰.
1900/1/1 0:00:00