比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > FIL > Info

AirSwap智能合約漏洞詳解:用戶資產可被攻擊者惡意吃單?_SWAP

Author:

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

2019年09月13日AirSwap團隊公布了一個AirSwap智能合約中存在致命的漏洞,這一漏洞可以使得用戶的資產在某些情況下被對手惡意吃單『偷盜』,PeckShield安全人員獨立分析了該漏洞,并與AirSwap團隊溝通了細節和修復方案。

漏洞影響概述

PeckShield安全人員深入分析AirSwap智能合約后發現,這一漏洞只對最近上線的Wrapper有影響,AirSwap團隊在發現該問題后第一時間下線當前合約,并將AirSwap?網站回退到之前使用的合約,從合約上線到問題修復整個過程僅持續了24小時,可見AirSwap團隊對于合約安全的重視程度之高。

PeckShield安全人員獨立分析了漏洞細節,并與AirSwap團隊溝通細節和修復的方案,同時將該漏洞命名為“?ItchySwap”。

PeckShield在此提醒,由于這一漏洞可使用戶的資產被攻擊者惡意偷盜,受此次影響的賬號一共有18個,其中有部分賬號有數萬至數十萬美元的資產,這些賬號需要盡快完成升級,或與AirSwap團隊聯系。

Web3 API平臺Airstack完成700萬美元融資:5月17日消息,Web3 API 平臺 Airstack 宣布完成 700 萬美元 Pre-Seed 輪后半部分融資,由 Superscrypt 領投,Polygon、Hashed Emergent、NGC、Primal Capital、UOB Ventures 和 Signum Capital 等參投。Airstack 允許開發者使用 AI 支持的自然語言請求訪問和利用鏈上數據。[2023/5/18 15:09:41]

ItchySwap?漏洞詳解

一、AirSwap合約

在分析之前,為方便起見,我們先定義幾個概念:

1.maker:出售資產的一方;

2.taker:購買資產的一方;

3.order:maker與taker之間發生資產交割的訂單;

4.Indexer:AirSwap中的訂單簿,匯聚了當前正在出售及需要購買的資產信息。

下圖說明了maker、taker和Indexer之間的交互流程:

Fairyproof:QANplatform遭到攻擊,攻擊者獲利約2000000美元:10月11日消息,Fairyproof監測系統顯示BNB鏈上的dApp項目QANplatform遭到攻擊。攻擊者的地址為0xF163A6cAB228085935Fa6c088f9Fc242AFD4FB11(BNB chain)。截圖顯示合約的部署者給攻擊者轉賬BNB,此行為高度疑似合約部署者的私鑰泄露。攻擊者將盜取的QANX代幣在1inch上換為WBNB代幣。截至發稿時為止,攻擊者在以太坊上獲利資產約960,000美元,在BNB chain上獲利資產約1,140,000美元。

投資者暫時不要買入QANX代幣![2022/10/11 10:31:08]

AirSwap是一個基于Ethereum的點對點去中心化交易所,它集成了SwapProtocol,在其中作為一個自動托管服務,允許交易的雙方在以太坊上安全地交易任何資產。與許多去中心化交易所不同,AirSwap雖然沒有對資金進行托管控制,但仍然有一個用于匹配目的的集中式訂單簿,它實現了一個用于交易和訂單匹配的完全對等模型。

Airbnb聯合創始人兼CEO:正認真考慮接受加密支付:3月18日消息,Airbnb聯合創始人兼CEO Brian Chesky在接受彭博社采訪時表示,正積極研究加密技術,并認真考慮接受加密支付。這有可能是Airbnb最受歡迎的功能。

此前報道,1月5日,Brian Chesky在個人社交媒體平臺發文表示,通過加密貨幣實現預訂住宿是今年的首要目標。[2022/3/18 14:05:39]

特別值得一提的是,有一個名為Indexer的鏈下服務,可以聚合來自maker和taker的交易意圖,然后為他們提供匹配的服務。特別是,一旦taker找到了合適的maker,他們就會開始進行場外價格的談判。一旦達成協議,訂單將由Taker通過SwapProtocol在鏈上進行填充和資產交割。

在AirSwap智能合約中,taker將訂單上鏈及資產交割的過程在AirSwapswap(Types.Ordercalldata_order)函數之中,這一函數實現如下所示:

動態 | 以太坊網站被大量使用 FairWin合同具有嚴重風險:據以太坊國際新聞消息,最近幾周,Ethereum網站被大量使用,以至于ETH的礦商決定將區塊的容量提高25%來允許更多的交易發生。調查顯示,一份名為“FairWin”的有問題的智能合同受到了廣泛的歡迎,消耗了以太坊所有天然氣的50%。區塊鏈游戲工作室Horizo??n Games的研發人員Philippe Castonguay最近在Twitter上寫道,FairWin合同具有“嚴重風險,使所有資金都處于風險中”,然后要求其追隨者傳播這一知識。[2019/9/29]

1)驗證訂單有效性

訂單order參數有效性檢查,這些信息均由taker上鏈的時候指定的,也意味著這些信息都可以由taker篡改,具體包含:

1.訂單還在有效期內;

2.訂單還沒有被其它的taker吃單;

3.訂單還沒有被取消;

4.訂單的nonce大于最小值;

5.設置訂單狀態為TAKEN狀態。

動態 | Diginex收購Altairian以助推數字業務:據bankingtechnology報道,總部位于香港的全球區塊鏈解決方案公司Diginex已經收購了英國Altairian集團,以推動其數字業務發展。據悉,Altairian主要提供數字資產和資產管理服務的保險托管,其托管服務將于2019年第一季度在英國推出,目標客戶是機構投資者。收購的財務細節目前并未披露。[2018/12/20]

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??

Tags:AIRSWAPAirSwapAPPAIRDROPHiswap Token中幣交易所app下載安卓

FIL
從信用卡到數字錢包,無現金運動的發展方向在哪?_BIR

1950年Diners俱樂部通用卡推出,預示著無現金運動的開始。通用卡被認為是第一張信用卡,但與現在的信用卡還有所不同的,Diners的持有者必須在每個月月底結賬.

1900/1/1 0:00:00
揭秘!“鏈上FBI”Chainalysis如何追蹤暗網交易_TIKI

像Chainalysis這樣的工具可以讓執法機構深入了解非法獲得,不僅僅定位比特幣地址,還能監控交易、識別犯罪、并讓案件更容易被陪審團理解.

1900/1/1 0:00:00
解讀 | 2019年香港證監會最新版虛擬資產監管條款_ODE

2019年10月4日,香港證監會正式在官方網站發布了關于監管投資于虛擬資產的持牌企業的備考條款及條件.

1900/1/1 0:00:00
宜家完成“世界第一筆”采用可編程電子貨幣的商業結算_聯盟鏈

據Coindesk10月3日報道,冰島宜家在以太坊上進行了一筆商業交易,使用智能合約和授權電子貨幣來幫助當地零售商NordicStore進行訂單結算.

1900/1/1 0:00:00
中國工程院院士陳純:鏈上鏈下數據協同技術是聯盟鏈發展的重要方向_人工智能

10月12日,由中國計算機學會主辦的“2019CCF區塊鏈技術大會”在成都舉行。大會上,中國工程院陳純院士發表了題為“聯盟區塊鏈關鍵技術與區塊鏈的監管挑戰”的演講.

1900/1/1 0:00:00
QKL123行情分析 | 比特幣ETF被拒符合預期,敘利亞戰事助推行情反彈(1010)_BTC

摘要:昨日晚間,大盤迅速上漲,比特幣和以太坊表現較強,萊特幣和柚子相對較弱。Bitwise的比特幣ETF申請被拒,基本符合市場預期;敘利亞再起戰事,短時黃金和比特幣等避險資產反應明顯.

1900/1/1 0:00:00
ads