以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

BlockSec DeFi攻擊分析系列之三偷天換日:深度剖析Akropolis攻擊事件-ODAILY_KRO:atlas幣和polis幣

Author:

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

去中心化金融(DeFi)作為區塊鏈生態當紅項目形態,其安全尤為重要。從去年至今,發生了幾十起安全事件。

BlockSec作為長期關注DeFi安全的研究團隊(https://blocksecteam.com),獨立發現了多起DeFi安全事件,研究成果發布在頂級安全會議中(包括USENIXSecurity,CCS和Blackhat)。在接下來的一段時間里,我們將系統性分析DeFi安全事件,剖析安全事件背后的根本原因

往期回顧:(1)我為自己代言:ChainSwap攻擊事件分析(2)傾囊相送:Sushiswap手續費被盜

0xffffffff.前言

北京時間2020年11月12日夜晚。DeFi聚合器Akropolis遭受攻擊,黑客通過Flashloan+重入的攻擊方式,盜取了存儲在Akropolis中價格超過2,000,000美元的數字資產。本文將以一筆攻擊交易為例,深度解讀此次攻擊的原理。

時間:Nov-12-202012:04:02PM+UTC#11242695

閱讀建議:

如果您剛剛接觸DeFi(Ethereum),可以從頭看器,但是文章比較長,看不下去記得點個關注再走。

如果您對Akropolis等DeFi聚合器項目比較了解,可以直接從「0x2攻擊分析」開始。

0x0.背景介紹

Atlantic Equities將Block股票評級下調至中性:3月24日消息,位于倫敦的美國股票經紀公司 Atlantic Equities 分析師將 Block(SQ)股票評級從增持下調至中性,目標價下調至 70.00 美元。

昨日,Hindenburg發布做空Block公司的報告,Block昨日股價跌超10%。[2023/3/24 13:24:59]

2020年可謂是去中心化金融的元年。隨著DeFi生態的不斷發展,越來越多的DeFi項目上線以太坊。普通用戶可以選擇自己喜歡的DeFi項目進行投資以獲得收益。但是隨著DeFi市場的急劇擴張,普通用戶面臨的一個問題就是在眾多DeFi項目中如何選擇投資的目標,他們需要有人來幫助他們來進行投資。在這種情況下,一系列資產托管平臺、投資組合平臺應需而生。Akropolis就是眾多資產托管平臺中的一個:

普通用戶將個人的數字資產投入到Akropolis中,由Akropolis確定投資方向,優化投資策略。Akropolis獲得投資收益之后,將收益按比例分配給投資Akropolis的普通用戶。以現實中的金融活動舉例子,Akropolis就像是基金,其所投資的DeFi項目就是股票,基民購買基金,基金持有股票,獲得收益后將收益分配給基民。

0x1.Akropolis機制

為了便于理解,我們首先簡要地介紹一下和此次攻擊相關的兩個實體合約:Protocolcontract和Akropoliscontract

KLab成立區塊鏈業務子公司:株式會社BLOCKSMITH&Co:3月30日消息,日本KLab株式會社宣布,成立負責Web3相關業務的子公司,正式進軍區塊鏈相關業務。

在2022年3月舉行的董事會上,就株式會社BLOCKSMITH&Co.的成立達成決議。并由KLab取締役會長及創始人真田哲彌出任新公司的代表取締役社長。[2022/3/30 14:26:21]

Protocol:Protocol可以簡單地理解為:用戶將手中的token投資到Protocol中,獲得Protocol的份額,等到將來Protocol中的資產升值了,那么用戶便可以從Protocol獲取到一定的收益

Akropolis:之前我們講過,由于ETH上的DeFi項目太多了,如果用戶要投資多個項目,要么不知如何抉擇,要么操作難度比較大,所以Akropolis扮演了一個投資聚合器的角色:Akropolis綁定了多個DeFi投資項目,用戶可以很方便地通過Akropolis使用手里的token進行投資:用戶只需要簡單的調用Akropolis的函數,指定想要投資的protocol,那么Akropolis就會去幫你在不同的protocol中完成投資。

總體的交互邏輯如圖所示:

Akropolis提供了兩個外部接口:functiondeposit(address_protocol,addressmemory_tokens,uint256memory_dnAmounts)和functionwithdraw(address_protocol,addresstoken,uint256dnAmount,uint256maxNAmount)

BitMEX:已經安裝Blockstream比特幣衛星系統:加密衍生品交易平臺BitMEX發推表示已經安裝Blockstream比特幣衛星系統,可以通過衛星而不需要網絡連接來下載和驗證比特幣區塊鏈。BitMEX能夠相當快地設置系統,衛星連接也有足夠的帶寬來確保節點大部分時間在線。BitMEX把衛星節點添加到了網站,節點可以被衛星接收器識別,用戶也可以追蹤節點運行情況。(嗶嗶News)[2020/9/14]

Akropolis.depositfucntion:deposit函數的功能是:

用戶調用deposit。

Akropolis先計算Protocol中有多少的token:nBalanceBefore。

Akropolis將用戶的token轉入到Protocol中。

Akropolis再計算protocol中token的數量:nBalanceAfter。

得到用戶投資的數量:nDeposit=nBalanceAfter-nBalanceBefore。

通過用戶投資的數量計算得到用戶投資份額。

Akropolis.depositToProtocol函數:

動態 | BIG Blockchain Intelligence更名為BIGG Digital Assets:加拿大國家證券交易所上市公司BIG Blockchain Intelligence Group Inc.已于9月26日更名為BIGG Digital Assets Inc.。更名后,該公司將繼續在加拿大證券交易所交易其普通股,股票代碼為BIGG。(MarketWatch)[2019/9/28]

Akropolis.distributeYieldInternal函數和Akropolis.updateProtocolBalance函數:

Protocol.normalizedBalance函數:

注意,Protocol.normalizedBalance中的_registeredTokens=。deposit函數中使用到的distributeYieldInternal函數和updateprotocolBalance函數的功能都是查詢當前Protocol函數中所有代幣的余額,注意這里面normalizedBalance的意思是對余額歸一化處理。

用戶可以調用deposit函數,通過指定Protocol和token以及token的amount,將一定數量的代幣存入到和Akropolis中,Akropolis根據用戶存入的代幣數量給用戶返還Akropolis的LPToken。隨后使用用戶投資的token投入到Protocol中。

動態 | 隱私郵件應用Dmail將于6月份在Blockstack上線:據Dmail官方推特消息,構建于Blockstack上的隱私郵件應用Dmail將于6月1日正式上線,屆時用戶可以利用Blockstack ID收發隱私保護的郵件信息。 注:Blockstack是一個基于比特幣網絡的開發平臺,該平臺配備開源開發工具來構建和引導去中心化應用程序和協議生態系統。今年4月, Blockstack向美國SEC提交5000萬美元Stacks代幣融資申請。[2019/5/19]

withdrawfucntion:

用戶通過調用withdraw函數,取出之前通過deposit函數存入的token,獲取利息。

0x2.攻擊原理

我們注意到,在Akropolis.deposit函數中,要先計算beforeBalance,然后調用token的transferFrom函數,將token轉到Protocol中,最后計算afterbalance,正常邏輯下這種計算方式是正確的,但是如果攻擊者提供的token地址是一個惡意地址,那么在這種情況下,實際有效的token并沒有轉到Protocol賬戶中,并且Akropolis.deposit沒有防止重入的機制。這樣就使得攻擊者可以利用1.token地址未經校驗,2.deposit函數沒有放重入機制來對Akropolis進行攻擊。攻擊流程圖如下:

STEP1:

攻擊者首先調用Akropolis.deposit函數,傳遞的token地址參數是一個惡意合約地址。函數內部首先計算balanceBefore1,然后由于攻擊者傳遞進來的token合約地址是攻擊者偽造的faketoken,所以Akropolis緊接著調用了fakeToken.transferFrom函數。

STEP2:

在fakeToken.transferFrom函數中,該合約再次調用Akropolis.deposit,傳遞的token地址就是真實的DAI的地址,所以在第二次調用deposit的邏輯是一個正常邏輯:攻擊者存入一筆DAI,然后Akropolis根據balanceAfter2-balanceBefore2為攻擊者mint出對應的LPtoken。注意:這里面balanceBefore2=balanceBefore1。

STEP3:

在step2結束后,交易控制流返回到第一次的deposit之中,注意:這時候Akropolis計算了balanceAfter1并且balanceAfter1=balanceAfter2,然后根據step1中的balanceBefore1計算出balance之差,再一次給攻擊者mint出LPtokens。

雖然在整個交易中攻擊者只給Protocol傳進去一筆約$25k的DAI,但是由于重入的機制,導致的第二次deposit之后balanceBefore1沒有及時更新,使得Akropolis在函數控制流返回到第一次deposit函數中的時候以為攻擊者又給Protocol轉移了$25k的DAI。從而給用戶再一次mint出對應的LPtokens。

Others

總體而言,攻擊者通過重入+構造惡意token合約的方式,在僅僅花費$25kDAI的情況下使得Akropolis以為攻擊者存入了$50kDAI,最后取出這50kDAI,完成攻擊,獲利25kDAI。

Step3中我們提到了其實balanceAfter2比balanceAfter1小1,這個原因是在deposit的后續操作中會將用戶傳遞進來的token注入到Curve的池子之中,而Curve的合約中會檢查Curve之中Token的余額變化,如果說池子的余額沒有變化,那么Curve就會執行revert。所在faketoken的transferFrom函數中一定要往protocol之中轉一筆錢,不過數量不限。

可以看出在faketoken的transferFrom函數中攻擊者向Protocol轉了1個DAI。

0x3.總結

由于Akropolis并沒有對用戶傳遞進來的token參數進行校驗,加上deposit函數沒有防重入,導致攻擊者利用偽造的tokencontract重入deposit函數,從而達到偷天換日,魚目混珠,使用少量的DAI換出大量的DAI的效果。

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

https://www.blocksecteam.com/

contact@blocksecteam.com

Tags:AKROPOLPOLISKROakro幣漏洞POLCatlas幣和polis幣akro幣是什么幣

火幣交易所
美聯儲釋放利好信號,貨幣政策依然寬松-ODAILY_NOW:EDN

在昨晚的眾議院金融服務委員會中,美聯儲主席鮑威爾發表了相關講話,這個講話被市場解讀為利好,但整個過程中也不是單向的利好,還是有模棱兩可的地方.

1900/1/1 0:00:00
在即將到來的數字時代,經濟的新形態將是什么?-ODAILY_FACE:加密貨幣f行情

作者|伊斯蘭姆博士,銀行、移動應用程序行業、海關和增值稅的企業級系統開發工程師,曾負責開發企業私有鏈.

1900/1/1 0:00:00
鏈上天眼智慧助警,歐科云鏈為數字經濟安全護航-ODAILY_以太坊:以太坊幣價格今日行情價格紅色是漲嗎

本文來自孟巖的區塊鏈思考,作者孟巖,星球日報經授權轉載。數據作為數字經濟時代的核心要素,數據開放共享已成為國家大數據戰略和金融科技戰略布局中的重要組成部分,隨著機構間業務合作的深入,數據的共享使.

1900/1/1 0:00:00
領元宇宙游戲的空投,是怎樣的體驗?-ODAILY_ALA:ADD

今天為大家帶來的項目是一個大概率能得到空投的項目—AladdinDAO。AladdinDAO是一個通過集體價值發現將加密投資從風險資本家轉移到群體智慧的去中心化網絡.

1900/1/1 0:00:00
盤點SocialFi賽道42個項目:社交、生態、DAO 與治理工具-ODAILY_NFT:NFTSOL

區塊鏈+社交是一個有趣的賽道,總是吸引著開發者們不斷嘗試。作為行業的熱點賽道之一,社交代幣生態在不斷發展壯大.

1900/1/1 0:00:00
深度:美國貨幣政策轉向對加密貨幣的影響-ODAILY_區塊鏈:比特幣

吳說作者|劉全凱 本期編輯|ColinWu決定市場的核心因素是資金。牛市源于增量資金的不斷流入,存量資金的不斷壯大;熊市則是增量資金的萎靡,存量資金的不斷出逃.

1900/1/1 0:00:00
ads