買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > SHIB > Info

SWAP:BlockSec DeFi攻擊分析系列之一我為自己代言:ChainSwap攻擊事件分析-ODAILY_INS

Author:

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

去中心化金融(DeFi)作為區塊鏈生態當紅項目形態,其安全尤為重要。從去年至今,發生了幾十起安全事件。BlockSec作為長期關注DeFi安全的研究團隊(https://blocksecteam.com),獨立發現了多起DeFi安全事件,研究成果發布在頂級安全會議中(包括USENIXSecurity,CCS和Blackhat)。在接下來的一段時間里,我們將系統性分析DeFi安全事件,剖析安全事件背后的根本原因。

今天帶來這個系列的第一篇,去中心化跨鏈資產橋梁項目ChainSwap攻擊事件。

0xffffffff.前言

北京時間2021年7月11日凌晨,去中心化跨鏈資產橋梁項目ChainSwap再次遭到攻擊,部署于該跨鏈橋上的20+個項目遭到攻擊,損失超過800萬美元,是DeFi發展史迄今為止發生的最嚴重的攻擊事件。本文將抽絲剝繭分析攻擊的全部細節。

時間:Jul-10-202107:16:11PM+UTC#12801461

閱讀建議:

如果您剛剛接觸DeFi,可以從頭開始看起,但是文章較長,看不下去記得點個關注再走

如果您對Sushiswap、AMM、DEX等比較了解,可以直接從「0x1攻擊分析」開始

0x0.背景介紹

ChainSwap是一個跨鏈資產橋。所謂跨鏈資產橋,本質上就是為了解決在多個智能合約鏈的資產轉移問題。舉例來說,在幣安智能鏈鏈上的USDT代幣,想要轉換到以太坊主鏈上進行交易,則必須通過跨鏈資產橋進行轉換。ChainSwap、RenProtocol等是目前具有代表性的跨鏈資產橋項目,其上承載了數千萬美元的跨鏈交易,也使得這次攻擊造成的損失極為慘重。

Block.one 推出的NFT平臺 Voice 新增跨鏈功能,后續將支持以太坊側鏈:2月17日消息,NFT平臺 Voice 宣布將新增多鏈支持功能,該功能上線后,用戶只需點擊幾下即可將 NFT 發送到單獨的鏈,并在該鏈上進行交易。?Voice 架構副總裁 Rick Whitner稱,屆時最初將支持基于 EOSIO 的區塊鏈網絡跨鏈,未來將轉向以太坊側鏈。“我們不直接針對以太坊的原因是,因為它是一個工作量證明(PoW)平臺,而我們非常注重環保。”他稱。

此前報道,Voice 由EOS開發公司Block.one 于2020年7月宣布推出,最初定位為去中心化社交媒體應用,去年轉型為NFT創作和交易平臺。目前Voice仍處在測試階段,尚未發布正式版。[2022/2/17 9:57:09]

①跨鏈資產橋ChainSwap

隨著以太坊及基于以太坊的去中心化金融生態的不斷發展壯大,越來越多基于以太坊虛擬機的智能合約區塊鏈應運而生,這其中就包括了幣安智能鏈、火幣生態鏈及波場鏈。

在多種智能合約鏈共存的場景下,出于在不同鏈上進行代幣交換的需求,跨鏈資產橋項目逐漸進入人們的視野。傳統的跨鏈資產橋如Shapeshift、ChangeNOW等是中心化的服務,在去中心化的大背景下,去中心化的跨鏈資產橋項目不斷出現,而ChainSwap正是其中的代表服務之一。

設計一個跨鏈資產橋,最大的難點在于如何在不同鏈之間驗證交易。針對這個問題,ChainSwap采取了PoA機制。

整個ChainSwap網絡中存在一組驗證者節點,這些節點的工作是驗證一條鏈上的交易并在另一條鏈上提供證明。舉例來說,假設用戶A希望將以太坊鏈上的1000USDT轉移到BSC鏈上,這一步轉移操作實現如下:

Block.one CEO抨擊ADA代幣分配機制:最近,Cardano (ADA)創始人Charles Hoskinson回應了Block.one首席執行官Brendan Blumer(BB) 將PoW作為一種公平分配機制的觀點。他認為,這一機制只對那些持有ASIC專利并獲得政府電力成本補貼的企業是公平的。隨后Brendan Blumer(BB) 提出了幾個關于 ADA代幣分配的重要問題。首先,BB詢問了ADA代幣銷售對PoW機制在公平性方面的好處。他詢問最初計劃在持有人之間分配ADA代幣的期限有多長。同時,BB質疑社區在整個發行期間參與ADA代幣銷售的意識。此外BB還表示對ADA代幣分銷的初始價格評估過程感興趣。(U.Today)[2021/6/1 23:02:32]

首先在以太坊鏈上,服務調用鏈上合約的send方法,把用戶的1000USDT發送給以太坊上的ChainSwap合約,生成一個發送交易。

隨后,ChainSwap會將這筆交易的信息發送給一組驗證者,這些驗證者會將這筆交易驗證并返回一組簽名。

最后在BSC鏈上,服務調用鏈上合約的receive方法,在BSC鏈上收到1000USDT發回給用戶。這個調用會發送以太坊上交易的簽名以驗證在以太坊鏈上的交易。

②ChainSwap的實現機制概述

從本質上來說,ChainSwap是不同鏈上交易的撮合方。拿以上的轉移操作為例,第二步需要有一個獨立的驗證者對以太坊鏈上用戶的轉賬操作進行證明。那么怎樣實現高效安全的簽名機制呢?

讓我們回歸以太坊的基本知識。以太坊用戶生成地址的過程如下:首先生成一個巨大的隨機數作為私鑰,該私鑰經過一定的單項算法可以得到公鑰,再通過某個單向哈希算法生成地址。所以本質上來說,地址的背后對應私鑰。

動態 | 企業以太坊聯盟與Whiteblock合作推出測試網絡:企業以太坊聯盟(EEA)宣布與區塊鏈測試和開發公司Whiteblock合作,為EEA的全球會員提供測試網。在該合作關系中,EEA將會利用Whiteblock的Genesis測試平臺以管理和部署官方的測試網絡,Whiteblock Genesis 將會區塊鏈的測試和開發提供端到端的SaaS服務。EEA 的測試網將作為全球業務的沙盒,幫助企業級的以太坊社區構建、協作和測試下一代以太坊商業化應用。另外,參與早期測試將使企業能為今年后續推出的EEA 認證計劃做好準備。[2020/1/20]

私鑰不僅可以用來解密,還可以用來簽名。具體來說,任何人可以將某個消息序列化,并用私鑰生成對應的簽名。簽名包括四個部分:消息的摘要和三個參數。

簽名之后,怎樣驗證簽名的有效性呢?智能合約的Solidity編程語言提供了ecrecover函數,可以通過以上四個參數計算得到簽名這個消息的地址。合約的實現方必須自行驗證這個地址是否有效。后文我們將看到,正是由于沒有驗證地址的有效性,導致了ChainSwap的這次攻擊。③ChainSwap的實現機制概述在分析代碼和攻擊之前,首先概述一下ChainSwap的實現機制:

ChainSwap作為一個跨鏈資產橋,其設置了一個Factory用于管理和查詢下屬的項目,即找到跨鏈幣種在以太坊主鏈上的地址。

每個項目可以向ChainSwap申請對接,自動成為跨鏈代幣。ChainSwap會為這些代幣創建一個映射Token用于代表該Token在鏈上的“映射”。

上文說到,為了跨鏈地證明交易,ChainSwap設置了幾個驗證者來進行交易驗證。ChainSwap代碼中將驗證者命名為簽名者,且為每一個驗證者限定了配額,也就是說每個驗證者驗證的交易額在一段時間內是有限制的。但驗證者會有一定的初始配額,且該配額會隨著時間累積。

動態 | EOS Authority審查資源交易所REX全部代碼 Block.one修復發現的嚴重Bug:EOS節點EOS Authority審查資源交易所REX的全部代碼,發現一個嚴重的Bug,該Bug現在已被Block.one修復。對REX的第一輪測試持續了35天,這是由于放貸周期是30天。[2019/1/26]

0x1.代碼分析

ChainSwap會為該項目承接的每一個代幣創建一個TokenMapped合約來代表該代幣在鏈上的映射。攻擊者的入口即為TokenMapped合約的receive方法。下面我們逐步分析相關代碼,看看攻擊是如何實現的。

①攻擊入口分析

上圖展示了receive函數的全部代碼。正常情況下,用戶在其他鏈上向ChainSwap發送某種Token之后,交易經過簽名者驗證,用戶可以將驗證信息發給以太坊主鏈上的ChainSwap合約,后者會在驗證之后將Token轉賬給給用戶。receive實現的正是這樣一個流程。

該函數的實現較為復雜,在開頭首先收取0.05ETH的費用。接下來,合約向ChainSwapFactory請求參數,獲得最小簽名個數,對傳入簽名個數進行驗證。從交易記錄中可以查到這個值為1,也就是說跨鏈交易只需要一個簽名者的簽名即可通過。在后文中會對這個參數的修改過程進行描述。

然后對每一個簽名,首先常規驗證傳入的簽名數組是否有重復。其次,通過ecrecover驗證簽名的有效性。這一步是常規的的簽名驗證過程,由于和攻擊本身無關,不再贅述。最后,通過_decreaseAuthQuota減少驗證者的配額。看到這里,整個實現邏輯似乎是完整且清晰的。

世界糧食計劃署:“Building Blocks”項目成功服務10萬名難民:外媒消息,近日,世界糧食計劃署(WFP)已采用區塊鏈技術來應對全球性饑餓問題。“Building Blocks”項目采用了以太坊的區塊鏈技術,無需轉移現金和食品,便完成與零售商和銀行的結算。高效、廉價和安全地幫助WFP解決了10萬名難民的饑餓問題。[2018/3/23]

但是通過以上分析過程我們發現,入口函數receive并沒有對簽名者的身份進行驗證,Signatory參數的存在僅僅用于配合ecrecover函數驗證消息是否確實是由Signatory進行簽名。也就是說,任何人都可以生成一個簽名。也許在receive函數調用的內部函數中對Signatory進行了驗證?我們繼續往下看。

上圖展示了第一個內部函數_decreaseAuthQuota的實現,該函數的主要功能為減少記錄在_authQuotas映射中對應Signatory的配額值。實現本身非常簡單,但是紅線部分展示的modifier部分引起了我們的注意。_decreaseAuthQuota并沒有對Signatory的合法性進行檢查,那么這個modifier是否有驗證呢?

上圖展示了updateAutoQuota(signatory)的實現。modifier是Solidity語言的一種語法糖,以上圖展示的modifier為例,這個modifier修飾的函數會將自己添加在函數中,最后一行的短劃線表示modifier標注的函數的真正函數體將會出現的位置。可見該modifier的實現方式是先調用authQuotaOf函數更新Signatory的配額,并根據條件進行更新。注意到這里在調用authQuotaOf之后也沒有做Signatory的合法性進行驗證。

最后來看authQuotaOf的實現。首先直接獲取_authQuotas映射中Signatory的配額。不同于Python等主流編程語言,Solidity是沒有類似Python中KeyError的概念的,如果映射中不存在這個鍵,則會返回0,然而這里沒有對返回值進行檢查。接下來,通過autoQuotaRatio和autoQuotaPeriod兩個參數計算新的最大配額quotaCap。通過搜索以太坊交易記錄,這兩個參數的值分別為1e15和86400。

因此倒數第三行計算得出的quotaCap是一個很大的值。因此quotaCap的理論最大值為代幣供應量的0.1%。

倒數第二行,由于lasttimeUpdateQuotaOf中找不到這個Signatory,因此返回0,因此在Signatory非法時delta可以比quotaCap更大。最后一行通過計算返回更新后的配額,通過以上的分析不難看出,在攻擊中返回的正是quotaCap。

總結一下,receive函數實現的整個過程,都沒有對傳入的Signatory的合法性進行檢查。因此攻擊者只需要隨機生成一個地址并生成對應的簽名,即可騙過ChainSwap,自己為自己提供簽名。同時,由于authQuotaOf在實現邏輯上的錯誤,在Signatory不合法時會返回一個非常大的值,導致了這次攻擊事件的發生。而本次攻擊事件發生的本質,是沒有對映射索引的值進行驗證。由于Solidity并不會在映射的鍵不存在時觸發任何錯誤,因此這類檢查就顯得非常重要。正是由于缺少這樣的檢查,導致了這次損失超過800萬美元的攻擊。

③番外篇1:參數minSignatures的修改

通過以上的分析不難看出,攻擊發生的主要原因是缺少對映射索引返回值的檢查。但參數參數minSignatures的值同樣引起了我們的注意。我們發現在交易0x50d462f4中,參數minSignatures的值被修改成1:

這個交易出現在區塊12377182,這是攻擊發生的65天前。這種針對協議底層參數的修改只能由官方進行,通過閱讀代碼也驗證了這一點:

Factory合約繼承了Configurable合約以提供參數配置功能。圖中函數聲明中的governancemodifier代表該函數僅能通過管理者進行修改。我們并不知道為什么ChainSwap官方修改了這個參數,但這個修改一方面增加了系統的不可靠性,另一方面為攻擊者提供了便利,因為攻擊者只需構造一個簽名便可騙過ChainSwap系統,直接提取代幣。

④番外篇2:虛假的驗證

有趣的是,在管理者Factory的合約實現中,ChainSwap設計了一個變量來保存Signatory構成的數組,代碼如下圖所示:

但很遺憾的是,通過對Factory合約實現的審計,我們發現這個變量僅僅是在管理Signatory配額的時候被使用,并沒有驗證一個任意地址是否包含在這個數組中的代碼實現,因此任何一個人都可以創造一個地址并為自己生成簽名。

0x2.攻擊分析

經過以上的代碼分析,不難得出一個最簡單的攻擊流程:只需要自己批量創建多個地址,生成并提交簽名即可。由于TokenMapped并不會進行任何驗證,可以將合約中鎖倉的代幣直接獲得,實現空手套白狼。攻擊者的真實攻擊就是這樣實現的。以其中一筆攻擊交易為例,交易執行Trace如下:

可以看出,攻擊只是簡單地調用了以上展示的有bug的receive函數,傳入了虛假的簽名,就套到了攻擊者本不應獲得的代幣。通過這樣的攻擊方式,攻擊者攻擊了基于ChainSwap的20+個項目,盜走了價值800萬美元以上的代幣,造成了極為嚴重的損失。

BlockSec團隊以核心安全技術驅動,長期關注DeFi安全、數字貨幣反洗錢和基于隱私計算的數字資產存管,為DApp項目方提供合約安全和數字資產安全服務。團隊發表20多篇頂級安全學術論文(CCS,USENIXSecurity,S&P),合伙人獲得AMiner全球最具影響力的安全和隱私學者稱號(2011-2020排名全球第六).研究成果獲得中央電視臺、新華社和海外媒體的報道。獨立發現數十個DeFi安全漏洞和威脅,獲得2019年美國美國國立衛生研究院隱私計算比賽(SGX賽道)全球第一名。團隊以技術驅動,秉持開放共贏理念,與社區伙伴攜手共建安全DeFi生態。掃描二維碼,關注更多精彩

https://www.blocksecteam.com/

contact@blocksecteam.com

Tags:INSCHASWAPNSWAPBitcoinSavinghitchain幣利好消息pawswap幣上線NSWAP價格

SHIB
USDT:1個比特幣或1億聰(SAT),你選哪一個? -ODAILY_USDL

即使在價格下跌50%之后,比特幣現在的交易價格仍在30,000美元到35,000美元之間,對于剛進入這個領域的新手可能覺得比特幣還是“太貴了”.

1900/1/1 0:00:00
BOO:Facebook的加密征途遭遇監管,步履維艱-ODAILY_HeroBook

據彭博社報道,昨日在美國總統金融市場工作組的非公開會議上,穩定幣Diem和Tether(USDT)成為焦點。會議參與者對Diem網絡效應表示擔憂,這可能源于Facebook的受眾規模.

1900/1/1 0:00:00
WEB:Coinbase對 Web3.0 時代的全面梳理與萬字解讀-ODAILY_COI

編譯|白澤研究院 這篇由3部分組成的文章重點介紹互聯網歷史上的最新章程—Web3的原因、內容和方式.

1900/1/1 0:00:00
BTC:倫敦升級完成,ETH瘋狂燃燒-ODAILY_以太坊

|利好兌現后價格仍然強勢 (圖)若站上2900美元箱體上軌,ETH將加速上漲在倫敦升級之前,幾大交易平臺考慮到可能會有礦工會分叉產生糖果,紛紛發布空投預案公告.

1900/1/1 0:00:00
ASH:MEV正在破壞以太坊的公平性,如何解決?-ODAILY_DASH達世幣最新消息

“想象一下,當ETH成為全球通用貨幣。你試圖在一個拍賣平臺上以50美元的價格購買DuaLipa的復出巡演NFT門票。一個機器人看到了你的交易,并以同樣的價格搶先購買了它.

1900/1/1 0:00:00
NFT:APENFT捐贈Beeple作品用于支持NFT慈善拍賣-ODAILY_PEN

近日,APENFT基金會獲得波場創始人孫宇晨捐贈的Beeple整套NFT作品,其中一幅作品《ABUNDANCE》在5月20日WDAS21×HuobiCharity的NFT拍賣晚宴中.

1900/1/1 0:00:00
ads