2019年09月13日AirSwap團隊公布了一個AirSwap智能合約中存在致命的漏洞,這一漏洞可以使得用戶的資產在某些情況下被對手惡意吃單『偷盜』,PeckShield安全人員獨立分析了該漏洞,并與AirSwap團隊溝通了細節和修復方案。
漏洞影響概述
PeckShield安全人員深入分析AirSwap智能合約后發現,這一漏洞只對最近上線的Wrapper有影響,AirSwap團隊在發現該問題后第一時間下線當前合約,并將AirSwap?網站回退到之前使用的合約,從合約上線到問題修復整個過程僅持續了24小時,可見AirSwap團隊對于合約安全的重視程度之高。
PeckShield安全人員獨立分析了漏洞細節,并與AirSwap團隊溝通細節和修復的方案,同時將該漏洞命名為“?ItchySwap”。
PeckShield在此提醒,由于這一漏洞可使用戶的資產被攻擊者惡意偷盜,受此次影響的賬號一共有18個,其中有部分賬號有數萬至數十萬美元的資產,這些賬號需要盡快完成升級,或與AirSwap團隊聯系。
AI 藝術家Claire Silver將于3月21日在盧浮宮展示NFT系列作品:金色財經報道,AI藝術家Claire Silver將于3月21日在巴黎盧浮宮博物館首次展示她的NFT新系列作品“我能告訴你一個秘密嗎”,據悉,該系列是一個“用人工智能創造的100個攝影后作品的自傳系列”。展覽將由Superchief畫廊促成,該畫廊是紐約和洛杉磯的實體畫廊空間。除了新系列首次亮相外,一件名為“Lovein the 4th Turning”的單件NFT藝術品也將在盧浮宮展出。[2023/3/8 12:48:36]
ItchySwap?漏洞詳解
一、AirSwap合約
在分析之前,為方便起見,我們先定義幾個概念:
1.maker:出售資產的一方;
2.taker:購買資產的一方;
3.order:maker與taker之間發生資產交割的訂單;
4.Indexer:AirSwap中的訂單簿,匯聚了當前正在出售及需要購買的資產信息。
數據:尼日利亞只有0.5%的居民使用eNaira:金色財經報道,在尼日利亞成為首個推出CBDC的國家近一年后,新的數據顯示,居民中采用這種貨幣的比例依然很低。盡管政府采取了各種舉措來推廣eNaira,但只有不到0.5%的人口在使用該貨幣。
盡管尼日利亞是全球加密貨幣采用的領先國家之一,但大多數居民都表示困惑,指出他們不理解CBDC和BTC等加密貨幣之間的區別。(finbold)[2022/10/26 16:39:01]
下圖說明了maker、taker和Indexer之間的交互流程:
AirSwap是一個基于Ethereum的點對點去中心化交易所,它集成了SwapProtocol,在其中作為一個自動托管服務,允許交易的雙方在以太坊上安全地交易任何資產。與許多去中心化交易所不同,AirSwap雖然沒有對資金進行托管控制,但仍然有一個用于匹配目的的集中式訂單簿,它實現了一個用于交易和訂單匹配的完全對等模型。
Jeremy Allaire:宣布與泰國加密貨幣交易所Bitkub達成合作伙伴關系:金色財經報道,Circle首席執行官Jeremy Allaire在社交媒體上表示,很高興宣布與泰國加密貨幣交易所Bitkub達成合作伙伴關系,已提高對USDC的認識和采用。對曼谷的訪問,看到了加密社區的活力,對泰國在不斷增長的加密經濟中的作用非常樂觀。[2022/7/20 2:26:27]
特別值得一提的是,有一個名為Indexer的鏈下服務,可以聚合來自maker和taker的交易意圖,然后為他們提供匹配的服務。特別是,一旦taker找到了合適的maker,他們就會開始進行場外價格的談判。一旦達成協議,訂單將由Taker通過SwapProtocol在鏈上進行填充和資產交割。
在AirSwap智能合約中,taker將訂單上鏈及資產交割的過程在AirSwapswap(Types.Ordercalldata_order)函數之中,這一函數實現如下所示:
Fairyproof:Osmosis上的678號池遭到攻擊,金額或涉及500萬美元:6月9日消息,部署在Osmosis區塊鏈上的678號池遭到攻擊。由于漏洞,池中的OSMO-USDC交易對很可能被利用。通過利用此漏洞,用戶可以退出池并獲得最初存入池中的額外50%的資產。用戶可以通過將USDC和OSMO存入池中并獲得GAMM-678代幣來加入池。然后可以通過將其獲得的相同數量的GAMM-678代幣存入池中來退出池。之后,不僅會獲得最初存入池中的USDC和OSMO的數量,還會獲得額外50%的這些代幣。
Osmosis區塊鏈是基于COSMOS的區塊鏈,交易對是本地部署的,在撰寫本文時Osmosis區塊鏈已關閉。[2022/6/9 4:12:10]
1)驗證訂單有效性
訂單order參數有效性檢查,這些信息均由taker上鏈的時候指定的,也意味著這些信息都可以由taker篡改,具體包含:
1.訂單還在有效期內;
2.訂單還沒有被其它的taker吃單;
3.訂單還沒有被取消;
哈薩克中央銀行原行長 Kairat KELIMBETOV:應該關注一些如區塊鏈這種新的技術發展和其帶來的影響:阿斯塔納金融中心主席、哈薩克中央銀行原行長 Kairat KELIMBETOV在《分論壇19 金融的風險:“黑天鵝”與“灰犀牛”》上發言。Kairat表示金融科技是一種新的現實,哪怕說是傳統的銀行也受到了其很多的影響。在哈薩克斯坦,我們設計了一些特殊的管轄區,特別強調法制。同時我們也特別關注資本市場的發展,讓一些特殊的公司進行一些監管的樣本性的嘗試,包括對于金融科技公司的試點性的監管。金融市場領域應該能夠和發展與時俱進,現在這是每一個人所面臨的問題。我們不僅要關注傳統的資本領域,同時也應該關注一些新的技術發展和其帶來的影響,比如說金融科技、區塊鏈,這些對于全球的金融監管又意味著什么?[2018/4/11]
4.訂單的nonce大于最小值;
5.設置訂單狀態為TAKEN狀態。
2)驗證taker信息
確立有效的taker,根據order中指定或者等同于合約的調用方msg.sender。
3)驗證maker信息
驗證maker的有效性,這里的驗證分為兩種情況考慮:
1.沒有maker簽名的訂單:需要保證msg.sender有權限操作這個maker地址即可,即這筆order發起者有權限操作maker的資產;
2.order中指定了maker的簽名信息:驗證簽名的有效性。
4)?資產交割
如果上述的驗證流程沒有問題,那么直接執行maker和taker的資產交割。
二、Wrapper合約
在上述的AirSwap合約中,用戶通過swap()函數執行資產互換,這一流程非常清晰,沒有問題。但是這一合約存在一點不完美的地方,用戶只能通過Token進行資產互換,無法直接用ETH平臺幣參與其中。用戶可以先把ETH轉換成WETH,再用WETH參與互換,但無論如何,用戶使用體驗上多了一步。
為了降低用戶使用體驗上的摩擦,AirSwap團隊與2019年09月12日?推出了?Wrapper合約,其使用是自動將用戶轉入的ETH轉換成WETH之后再參與資產互換的過程,其關鍵流程如下:
1.驗證swap()發起方與taker是相同的;
2.如果用戶發起swap()有攜帶了ETH資產,并且需要轉換的token為WETH,那么就自動將ETH轉換成WETH;
3.直接調用AirSwap合約的swap()操作。
考慮到一種特殊的場景,Alice希望通過Wrapper合約執行AirSwap資產互換,這一過程需要先由Alice自行在AirSwap合約中授權Wrapper合約,以允許Wrapper合約可以執行各自的資產交割流程。
由于區塊鏈的透明性,Eve看到了Alice的授權操作,那么他就可以向Wrapper合約發起一筆惡意的訂單,其包含的內容如下:
1.?order中的有效時間、nonce為一個非常大的數值;
2.order中的maker對應的賬號為Alice的賬號;
3.order中的taker為空;
4.order的signature為空。
將上述構造好的order代入AirSwap的swap()?函數,其中1,2兩步的驗證由于是taker控制的,不會有問題,我們重點看下第三步驗證maker信息:
由于此時AirSwap合約是由Wrapper合約調用的,那么msg.sender即Wrapper合約的地址,前文講到,Wrapper合約是經過Alice授權可直接控制Alice的資產,此時雖然Eve沒有權限操作Alice的資產,但此時可以通過Wrapper控制,也就間接地控制了Alice的資產。
安全規避
PeckShield安全人員分析發現,截止至2019年09月28日為止,共有6個賬號執行了revoke()操作,以解除對Wrapper合約的授權,還有12個賬號存在安全風險,這剩下的所有賬號應當立即執行revoke()操作,或者將賬號中的資產轉移至未對Wrapper授權過的安全賬號。
任何的代碼在上線生產環境之前都應當得到充分的測試和驗證,特別是承載著用戶價值的DEX平臺。在產品增加新特性之時,一定要考慮到舊特性的兼容性與安全,新特性的引入不應該觸發舊產品中設計不完備的地方。
附錄
備注:
AirSwap官方漏洞細節鏈接:https://medium.com/fluidity/critical-vulnerability-in-a-new-airswap-smart-contract-c1204e04d7d3??
我們一步一步的講,先以最簡單的發電子郵件為例。現在A向B發出一封email,這封郵件是加密的,根據之前的公鑰加密原理也就是非對稱加密原理,B是收email的,那么,A就拿著B的公鑰加密這個ema.
1900/1/1 0:00:0087個IEO項目,募資超20億,62%破發?“比特幣將要暴跌到5000美元”,“加密貨幣就是騙局”。隨著9月底比特幣的暴跌,又出現了這樣的論調.
1900/1/1 0:00:00穩定幣和Layer1時代前比特幣核心代碼貢獻者JeffGarzik說穩定幣正在推動去中心化金融進入下一階段.
1900/1/1 0:00:00近日,英國金融市場行為監管局(FCA)對加密相關公司采取了強硬措施。據《金融時報》報道,英國FCA正在調查87起與數字資產相關的公司案件,比去年同期高74%,去年僅50起.
1900/1/1 0:00:00作者:真本聰編者注:原標題為《手記|Libra被人誤解和唾罵,但USV稱一定會挺它到底》 今天內容包括: 1、開放互聯網的未來歷史2、Grayscale第三季度數字資產投資報告發布3、Libra.
1900/1/1 0:00:009月28日,CFTC公布了最新一期的CME比特幣期貨周報,這一統計區間恰好覆蓋到了本周前半周的暴跌跳水,而統計結果非常好地反映出了各類賬戶在極端行情出現后的應急處置效率.
1900/1/1 0:00:00