安比實驗室創始人郭宇：智能合約安全的嚴重性遠超大家想象 | 區塊鏈P.O.D大會_WIN

9月5日，由Odaily星球日報主辦、36Kr集團戰略協辦的P.O.D大會在北京舉行。在大會的安全論壇上，安比實驗室創始人郭宇與眾嘉賓共同探討區塊鏈的安全問題。郭宇就近期的安全熱點話題Lastwinner展開報告，詳細解釋其中內幕。在談及Lastwinner攻擊母合約，為何需要傳入Lastwinner合約地址時，郭宇表示Lastwinner攻擊母合約實際上是一個通用武器,能攻擊很多類Fomo3D游戲，這個合約構造的非常巧妙。在帶領大家切身感受黑客如何一步步巧妙利用Fomo3D游戲中的漏洞實施攻擊后，郭宇也表示，智能合約安全的嚴重性遠超大家想象，我們在享受去中心化世界帶來好處時也會面臨新的安全風險和代價。以下為安比實驗室創始人郭宇演講實錄：

我是安比實驗室的郭宇，今天分享一下一些比較有意思的事情。

8月10日，一個合作伙伴突然跟我說以太坊似乎有一些很奇怪的事情，問我們能否分析一下。我們接過來后也覺得事情奇怪。這其中有連續且大量的失敗交易，標紅色的點中發現帶的全都是0.1ETH，這些大量重復的東西好像在攻擊什么。而且這些所有交易來源方均來自于一個前四個字母是0x5483的詭異智能合約。該智能合約的交易量還很大，一分鐘有幾十個，這很容易造成以太坊嚴重擁堵，這是我們發現一個初步特征。覺得奇怪，又感到很可疑，我們也想知道它到底要干什么。

公鏈LUKSO啟動Genesis Validator存款智能合約:4月21日消息，以太坊ERC-20標準提出者之一Fabian Vogelstelle等人推出的Layer1區塊鏈項目LUKSO現已啟動Genesis Validator存款智能合約。Genesis Validator存款智能合約將允許用戶存入32枚LYXe（ERC-20代幣）參與區塊驗證過程。

LUKSO于2021年2月，LUKSO通過可逆ICO籌集到1800萬美元資金。LUKSO使用Casper FFG權益證明，LYXe驗證者來提議、驗證和擔保區塊的有效性。主網上線后，LYXe將轉換為LYX（LUKSO的原生代幣）。[2023/4/21 14:17:26]

之后我們發現除了大量的失敗交易外，還存在更大量的成功交易。成功交易沒什么顯著特征，投進去0.1個，出來有0.19個，這就特別奇怪。同時，失敗交易的一個特別特征是Gas消耗特別低，感覺是一個非常高效的挖礦機，回報率相當高。

數字藏品國內周指數上漲39.9至100.5:金色財經報道，據同伴客數據顯示，上周（2023年3月14日-3月20日）數字藏品國際周指數上漲3.3點至18.7點，國內周指數上漲39.9點至100.5點，數字藏品綜合價值周指數上漲17.9至51.4點。

備注：

· 數字藏品綜合價值指數由同伴客數據與鏈境Labs聯合研發，是對國際及國內當月市場熱度最高的數字藝術品項目市場總銷售規模的綜合反映，以2021年11月份銷售額的30分之7為基數，指數基值為100。

·國內周指數成分之一的幻核于8月16日發布平臺終止運營公告，但銷量已于7月10日后歸零。為遵循去掉某一成分后指數計算結果無變化的原則，該指數使用幻核7/4-7/10的銷售數據進行銷售基數調整，并將新的銷售基數作為8/14后的指數計算基數。[2023/3/20 13:15:08]

之后我們就發現，0X5483實際上是一個攻擊Lastwinner的攻擊合約，精心構造且非常強大，攻擊步驟也特別復雜。合約中存在大量轉賬，比如PPT中的這個合約，扔進去的0.1ETH，最后出來是0.18ETH或者0.12ETH等。

巴西最大的銀行之一 Itaú Unibanco 將推出加密貨幣托管產品:金色財經報道，巴西最大的銀行之一 Itaú Unibanco 將于 2023 年第二季度推出加密貨幣托管產品，旗下 Itaú Digital Assets 將負責該解決方案的技術研發。Crypto.com 前巴西機構副總裁 José Augusto Antunes 將領導該業務。該服務最初將面向銀行客戶，未來會將服務拓展至第三方，提供解決方案。[2022/11/22 7:53:53]

Lastwinner是什么？它是Fomo3D山寨版，主要面向國內。在百度能看到大量廣告信息，還有很多微信群、QQ群。此外，Lastwinner還有安卓以及iOS客戶端可以下載。當時高峰時期有16000，參與的人非常瘋狂。

Fomo3D是什么？這是前一段時間一個現象級的智能合約游戲，瞬間對以太坊用戶造成擁堵。游戲中有一個巨大的獎勵誘惑，規則是這樣的。首先是需要兌換key，在拿到key之后扔給類Fomo3D游戲合約。這其中包括三種獲利方式，第一種方式存在主獎池，可以有機會拿到最終大獎，即這個游戲不停倒計時，最后一個買key的人拿到最后的巨額獎勵；第二種方式有一個副獎池，方式為隨機概率抽獎，即兌換key時就有機會抽獎；第三種方式為小額度獎勵，買key時間越早，就可以越早享受后來人進來的分紅。基于這三種誘人的獲獎模式，Fomo3D推出之后就一度造成以太坊擁堵。7月24日，安比實驗室就已發現剛才第二項空投存在漏洞，有人可以通過不公平方式拿到抽獎結果，我們在8月10日才收到警告。之前被曝光的空投抽獎的模式，是有人公開了一個可以攻擊的方案，但攻擊方式非常低效，甚至不一定成功。大家知道但沒有人去試，好像賺不到什么錢。但是這個攻擊合約不一樣，經過統計該合約成功率將近60%。第二天，我們開始對該合約進行分析后發現有三個疑點。一是有五個地址來調用攻擊合約；二是Lastwinner合約地址作為參數傳入攻擊合約；三是每筆成功中獎的攻擊交易中都帶有合約的創建與自毀。當時也不知道為什么，但是可以肯定這是一個團伙，對其數據分析后發現，這個團伙做了很多別的事情，他們共同去攻擊不同的游戲合約。我們把該攻擊者組織命名為“BAPT-LW20”。12日，團隊開始嘗試逆向分析該合約代碼。由于手上工具有限，只能看自解碼，摳了一天還是沒什么進展，分析過程陷入僵局。第二天，小伙伴建議把這個攻擊合約拷貝下來，將攻擊合約中的攻擊者地址替換成我們的地址，是不是可以像他一樣去拿到獎勵？我們重新部署攻擊合約，并發起試探性攻擊。但經過多次嘗試后，均無法贏得抽獎。我們做了非常完備的替換，并且跟蹤這個過程，就不知道為什么，就是成功不了，也是挺郁悶。晚上12點，最后方案決定對合約進行死磕，開始對合約進行逆向分析。合約逆向很累，我們怎么辦？我們思路就是開發逆向分析輔助工具。手頭上并沒有什么東西，我們要做幾件事情。首先，針對EVM逆向分析工具很少，我們決定自己開發；再者合約多層嵌套很難跟蹤；同時EVM字節碼中的循環過程不易定位。我們花了三天時間開發工具，事情開始出現轉機。第一個工具為awesome-tx-tracer，借助這個能夠把智能合約整個過程產生若干個tracer，并把很多交易行為全部tracer分析，進而產生大量數據；第二個我們做了用來做逆向的工具——minievm，借助該工具能夠批量定性分析很多tracer；第三個工具為ida-evm，這是基于evm的插件修改而來。產生的tracer可以自動往前往后，來回執行，這樣就能夠比較容易的把整個過程反復看。最終，我們終于發現真相，攻擊合約是一個母合約，母合約驅動1000個子合約，這樣能大大提高隨機數的中獎率。同時，每個子合約攻擊的時候會創建一個幽靈合約來發起攻擊。什么是幽靈合約？就是在攻擊的時候創建，等攻擊完立即自毀，在區塊鏈存儲區域不留下任何痕跡。黑客通過某一個母合約驅動1000個子合約，又創建無數的自毀合約，自毀合約最終去攻擊Lastwinner，這是一個非常巧妙的玩意。在17日早上開始復盤，我們敲定的最終結果是6天內抽走抽獎池50%，發起近5萬筆攻擊調用，創建2萬多個幽靈合約。Lastwinner很有意思是把空投獎池比例由Fomo3D的1%提高到10%。因此，黑客在攻擊Lastwinner成功以后，但是對Fomo3D并不那么了解。這個母合約在Lastwinner上線第一天幾個小時之內就發動了攻擊，在前幾天每小時幾十萬的收入。巧合的是，上午10點Lastwinner大獎開出，即剛才說的三種獲利模式中的第一個大獎。大獎被這五個攻擊者其中一個人拿走，攻擊者地址為0X5167，獎勵額度也超高，比他們空投抽到的還要大。事情還沒有結束。五天以后，下午3點02分，我們又有了一個驚人發現，Fomo3D第一輪結束，大獎被拿走。是被一個人拿走的嗎？不是，他們用了同樣手法拿走大獎。為什么？當時我們看到Fomo3D大獎的時候，就發現熟悉的一幕。在大獎開出時，出現一組連續的異常區塊，且這組連續的異常區塊中的消息數量驟減。最后，同一個知名miner打包獲獎交易。Lastwinner結束前后，也出現過類似的異常區塊，獲獎消息也是由同一個miner打包，這時候我們就發現這太巧了。我們開始懷疑，礦池是不是真的對Fomo3D作弊？第一時間跟礦池負責人聯系后，并把我們知道的所有信息拿出來跟對方對比發現，礦池并沒有參與這次作弊，而是這個異常區塊隱藏著一個巨大的秘密。這個秘密就是異常區塊中的消息均調用同一個合約，這里面存放一些非常詭異的交易，所有交易的Gas相當于正常的Gas的100倍；而這個合約的創建者與中獎者是同一個人。礦工并沒有作弊，而是攻擊者利用礦工打包策略，即礦工會優先選擇手續費很高的交易打包，這對礦工最有利。通過制造超高手續費來造成區塊鏈的擁堵，阻隔其他玩家。攻擊者也非常聰明，攻擊合約能夠智能判斷是否啟動網絡阻塞功能，使其效益最大化，成本最小化。總之，這個合約構造的非常巧妙。若攻擊者沒有拿走大獎，它依然會存在于很多礦池的應用池，等待時機成熟，這些交易就會順勢變成交易費用非常高的交易。所以說，這個游戲漏洞使得前面主獎池和副獎池可以很輕松被攻擊。還有一個問題，大家還記得Lastwinner攻擊母合約，為什么需要Lastwinner作為合約地址？事實上，這個攻擊母合約是一個通用母合約，能夠攻擊很多類Fomo3D游戲。在Fomo3D上線第二天就有人發現空投抽獎漏洞，并攻擊成功。你面對的是全世界非常頂尖的黑客，你隨時有可能受到損失。因此，智能合約安全嚴重性遠超大家的想象，大家想象的未來去中心化世界真的那么美好嗎？在享受去中心化世界帶來好處的時候也同樣會付出一些代價和面臨一些新的安全風險。謝謝大家。

前貝恩投資者Magdalena Kala推出3000萬美元的web3基金:金色財經報道，前貝恩投資者Magdalena Kala位于邁阿密的公司Double Down宣布推出專注于web3領域的早期消費者初創公司基金，總額約為 3000 萬美元。該基金已經對web3消費類初創公司進行了9次投資，包括位于邁阿密的OnChain Studios，[2022/11/2 12:09:55]

加密交易平臺Bit2Me擬進行2000萬至3000萬歐元級別融資:9月30日消息，據西班牙當地媒體La Información援引知情人士報道，西班牙加密貨幣交易平臺Bit2Me將進行一輪2000萬至3000萬歐元級別融資，本輪融資由西班牙電信公司巨頭Telefónica領投。

此前報道，西班牙電信公司巨頭Telefónica添加了加密交易平臺Bit2Me提供的支付功能，將允許用戶使用加密貨幣進行支付。此外，Telefónica還對Bit2Me進行了投資。[2022/10/1 22:42:55]

Tags：NERTWIINNWINOneRootTWINU幣INN幣WIN幣

PEPE