比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

PeckShield 深度還原,鎖死 MakerDAO 中 MKR 代幣的漏洞是啥?_SHIELD

Author:

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

05月10日凌晨,MakerDAO公開了新版合約。Zeppelin和PeckShield也各自獨立完成了對其新合約的審計,確定新版本修復了該漏洞。本文Peckshield將公布該漏洞的細節與詳細攻擊手法。

原文標題:《MakerDAO治理合約升級背后的安全風波》

北京時間2019年05月07日,區塊鏈安全公司Zeppelin對以太坊上的DeFi明星項目MakerDAO發出安全預警,宣稱其治理合約存在安全漏洞,希望已鎖倉參與投票的用戶盡快解鎖MKR提并出。MakerDAO的開發者Maker公司亦確認了漏洞存在,并上線了新的治理合約,并宣稱漏洞已修復。

該安全威脅曝出后,PeckShield全程追蹤了MKR代幣的轉移情況,并多次向社區發出預警,呼吁MKR代幣持有者立即轉移舊合約的MKR代幣。截止目前,絕大多數的MKR代幣已經完成了轉移,舊治理合約中尚有2,463個MKR代幣待轉移。

PECO代幣跌幅達100%,官方推特賬號已刪除:金色財經報道,派盾監測數據顯示,Amun Polygon Ecosystem Index(PECO)代幣跌幅達100%,其官方推特賬號@Amun已經刪除。[2022/12/26 22:07:49]

05月07日當天,經PeckShield獨立研究發現,確認了該漏洞的存在,具體而言:由于該治理合約實現的投票機制存在某種缺陷,允許投票給尚不存在的slate。等用戶投票后,攻擊者可以惡意調用free()退出,達到減掉有效提案的合法票數,并同時鎖死投票人的MKR代幣。

次日05月08日,PeckShield緊急和Maker公司同步了漏洞細節,05月10日凌晨,MakerDAO公開了新版合約。Zeppelin和PeckShield也各自獨立完成了對其新合約的審計,確定新版本修復了該漏洞。

PeckShield:NFT項目GraBoys的社區版主Glop帳戶被盜用,攻擊者正在擴散虛假Mint鏈接:5月9日消息,派盾(PeckShield)預警顯示,NFT 項目 GraBoys 的社區版主Glop帳戶被盜用,攻擊者正在擴散虛假的 Mint 鏈接,grayboysmint.com是釣魚網站,請不要點擊鏈接。[2022/5/9 3:00:28]

在此我們公布漏洞細節與攻擊手法,也希望有引用此第三方庫合約的其它DApp能盡快修復。

細節

在MakerDAO的設計里,用戶是可以通過投票來參與其治理機制,詳情可參照DAO的FAQ。

以下是關于itchyDAO的細節,用戶可以通過lock/free來將手上的MKR鎖定并投票或是取消投票:

PeckShield:Pickle Finance去年11月被盜資金中的1800 ETH通過Tornado Cash完成混幣:5月8日消息,據PeckShield監測,DeFi收益聚合協議Pickle Finance被盜資金中的1800ETH在過去10小時內通過Tornado Cash完成混幣。2021年11月份,PickleFinance遭受攻擊者通過偽造jar竊取資金,攻擊者部署了與原界面相同的偽造jar,并在偽造jar和真正的cDAIjar之間交換了資金,偷走了價值2000萬美元的存款。[2022/5/8 2:58:25]

在lock鎖定MKR之后,可以對一個或多個提案(address數組)進行投票:

注意到這里有兩個vote函數,兩者的傳參不一樣,而vote(addressyays)最終亦會調用vote(bytes32slate),其大致邏輯如下圖所示:

PeckShield:SafeDollar被攻擊源于獎勵池鑄幣漏洞:PeckShield“派盾”安全人員定位發現,Polygon鏈上的算法穩定幣項目SafeDollar遭到黑客攻擊,攻擊者頻繁調用deposit()/withdraw() 操作來降低獎勵池余額,從而大大提升每股的獎勵額,也就造成了獎勵池鑄幣漏洞。攻擊者利用鑄幣漏洞增發了831,309,277,244,108,000 (83萬萬億)枚SDO穩定幣。[2021/6/28 0:11:55]

簡單來說,兩個vote殊途同歸,最后調用addWeight將鎖住的票投入對應提案:

可惜的是,由于合約設計上失誤,讓攻擊者有機會透過一系列動作,來惡意操控投票結果,甚致讓鎖定的MKR無法取出。

這里我們假設有一個從未投過票的黑客打算開始攻擊:

1、調用lock()鎖倉MKR,此時deposits會存入鎖住的額度。

2、此時黑客可以線下預先算好要攻擊的提案并預先計算好哈希值,拿來做為步驟3的傳參,因為slate其實只是address數組的sha3。

這里要注意挑選的攻擊目標組合必須還不存在于slates中(否則攻擊便會失敗),黑客亦可以自己提出一個新提案來加入組合計算,如此便可以確定這個組合必定不存在。

3、調用vote(bytes32slate),因為slate其實只是address數組的sha3,黑客可以線下預先算好要攻擊的提案后傳入。

這時因為votes還未賦值,所以subWeight()會直接返回。接下來黑客傳入的sha3(slate)會存入votes,之后調用addWeight()。從上方的代碼我們可以看到,addWeight()是透過slates取得提案數組,此時slates獲取到的一樣是未賦值的初始數組,所以for循環不會執行

4、調用etch()將目標提案數組傳入。注意etch()與兩個vote()函數都是public,所以外部可以隨意調用。這時slates就會存入對應的提案數組。

5、調用free()解除鎖倉。這時會分成以下兩步:

deposits=sub(deposits,wad),解鎖黑客在1.的鎖倉subWeight(wad,votes)從對應提案中扣掉黑客的票數,然而從頭到尾其實攻擊者都沒有真正為它們投過票。

從上面的分析我們了解,黑客能透過這種攻擊造成以下可能影響:

一、惡意操控投票結果二、因為黑客預先扣掉部份票數,導致真正的投票者有可能無法解除鎖倉

時間軸

時間事件2019.05.07PeckShield復查并確認了漏洞存在2019.05.08PeckShield與Maker基金會討論并確認了漏洞細節2019.05.09Maker基金會公布新版DSChief合約源碼,PeckShield披露了漏洞相關細則來源鏈接:mp.weixin.qq.com

本文來源于非小號媒體平臺:

PeckShield

現已在非小號資訊平臺發布1篇作品,

非小號開放平臺歡迎幣圈作者入駐

入駐指南:

/apply_guide/

本文網址:

/news/3626575.html

MKR漏洞風險安全

免責聲明:

1.資訊內容不構成投資建議,投資者應獨立決策并自行承擔風險

2.本文版權歸屬原作所有,僅代表作者本人觀點,不代表非小號的觀點或立場

上一篇:

聽剛發現EOS重大漏洞的專家談談,區塊鏈的技術本質是什么?

下一篇:

慢霧創始人余弦:真正的黑客究竟什么樣?

Tags:SHIELDSHIELDMKRKishiburboYIELD AppShield Networkmkr幣發行價格

狗狗幣價格
日本首次對「加密劫持者」繩之以法,罪犯被判一年監禁_OIN

日本地方法院首次在「加密劫持」案件中對罪犯判刑。在10個縣逮捕利用Coinhive軟件實施非法行為的犯罪嫌疑人后,對這起案件作出了判決.

1900/1/1 0:00:00
公告中心丨國際志愿者招募_VNT

國際志愿者招募 親愛的用戶: 我們是敢于實現夢想的創新者。我們正在用區塊鏈技術創造一個更美好的世界,改革我們的金融系統,重新定義人際關系,縮短人與人之間的距離.

1900/1/1 0:00:00
Parity 提出新方案以解凍價值 2.64 億美元的以太坊_RIT

“不算太糟。” 一個以太坊用戶這樣描述Parity公司最近為挽回損失所作出的努力,該公司曾因其推出的錢包代碼出現漏洞被黑而導致了價值2.64億美元的以太坊被凍結.

1900/1/1 0:00:00
高盛可能考慮放棄加密貨幣交易平臺計劃_加密貨幣

高盛集團正在放棄開設加密貨幣交易平臺的計劃,因為加密管理監管框架尚不清楚,BusinessInsider周三援引熟悉此事的人士的話報道.

1900/1/1 0:00:00
5.22早間行情:BNB一枝獨秀接下來該如何操作_NFT

昨日BCH、BNB出現異動,BNB繼續以逼空行情往上開拓空間,上方沒有歷史套牢盤,只有獲利盤,該標的昨天的成交量繼續放大,還是沿5天線向上運行,注意5天線的得失,失手5天線可減倉應對.

1900/1/1 0:00:00
法國央行:保證金融機構遠離加密貨幣業務_加密貨幣

法國央行希望保證銀行與其他金融機構遠離加密貨幣業務。在三月初發布的一份報告中,法國銀行建議禁止保險公司、銀行與信托公司“參與加密資產活動的存款與貸款業務.

1900/1/1 0:00:00
ads