By:Johan@慢霧安全團隊
據JetProtocol官方博客披露,他們近期修復了一個賞金漏洞,這個漏洞會導致惡意用戶可以提取任意用戶的存款資金,慢霧安全團隊對此漏洞進行了簡要分析,并將分析結果分享如下。
相關信息
JetProtocol是運行在Solana上的一個借貸市場,用戶可將賬號里的代幣存入金庫,賺取年化收益,同時也可以按一定的比例借出另一種代幣。在這個過程中合約會給用戶一個note憑證,作為用戶未來的提款憑證,用我們熟悉的字眼來說就是LP,而本次漏洞發生的原因也和這個LP的設計有關。
我們知道和以太坊合約相比,Solana合約沒有狀態的概念,取而代之的是賬號機制,合約數據都存儲在相關聯的賬號中,這種機制極大提升了Solana的區塊鏈性能,但也給合約編寫帶來了一些困難,最大的困難就是需要對輸入的賬號進行全面的驗證。JetProtocol在開發時使用了Anchor框架進行開發,Anchor是由Solana上的知名項目Serum團隊開發的,可以精簡很多賬號驗證及跨合約調用邏輯。
Binance將銷毀閑置的掛鉤代幣并釋放等量的抵押品代幣:金色財經報道,Binance表示,今天Binance將銷毀一些閑置的幣安掛鉤代幣,然后將釋放等量的在其本地網絡上用作抵押品的代幣:TRXOLD(BSC)、PAX(BSC)、DAI(BSC)、USDP(BSC)、PAXG(BSC)、PAXG(BNB)、BUSD(BSC)、USDC(BSC)。[2023/6/30 22:10:46]
Anchor是如何工作的呢?我們可以從JetProtocol的一段代碼說起:
programs/jet/src/instructions/init_deposit_account.rs
這里的deposit_account賬號就是用于存儲LP代幣數據的賬號,用戶在首次使用時,需要調用合約生成該賬號,并支付一定的存儲費用。
Flux支持開發者在網絡上構建時使用法定支付:金色財經報道,去中心化基礎設施Flux宣布推出 Jetpack 2.0,這是一個系統更新,可讓Dapps更便宜地部署到Flux 去中心化云。Jetpack 2.0改進Dapp 注冊和管理流程以及直接法幣支付和結算服務。Jetpack 2.0 監控 Dapp 和使用法定支付的能力,用戶可在 Web3 空間內操作。(prnewswire)[2022/11/2 12:09:29]
而這里的?#?宏定義限定了這個賬號的生成規則:
規則1:#
這個約束中,init是指通過跨合約調用系統合約創建賬號并初始化,payer=depositor意思是depositor為新賬號支付存儲空間費用。
歐盟委員會:歐盟國家要做好停止加密貨幣挖礦的準備:10月18日消息,歐盟委員會周二表示,歐盟成員國必須準備好阻止加密貨幣挖礦,因為該地區由于俄羅斯的天然氣供應中斷可能存在能源價格上漲、停電或電力短缺等問題。從長遠來看,終止稅收減免和其他有利于某些成員國目前實施的加密礦工的財政措施也至關重要。
該委員會表示,加密技術的能源消耗在五年內增加了900%,約占全球用電量的0.4%,并承諾到2025年再提交一份關于該主題的報告,建議采取進一步措施減少加密技術的能耗。(CoinDesk)[2022/10/18 17:31:12]
規則2:#
這個約束中將檢查給定帳戶是否是當前執行程序派生的PDA,PDA(ProgramDerivedAddress)?賬號是一個沒有私鑰、由程序派生的賬號,seed和bump是生成種子,如果bump未提供,則Anchor框架默認使用canonicalbump,可以理解成自動賦予一個確定性的值。
俄羅斯財政部:如果俄羅斯法律承認數字資產為財產,考慮在國際貿易中使用加密貨幣:6月17日消息,俄羅斯財政部表示,如果俄羅斯法律承認數字資產為財產,俄羅斯考慮在國際貿易中使用加密貨幣。(金十)[2022/6/17 4:33:11]
使用PDA,程序可以以編程方式對某些地址進行簽名,而無需私鑰。同時,PDA確保沒有外部用戶也可以為同一地址生成有效簽名。這些地址是跨程序調用的基礎,它允許Solana應用程序相互組合。這里用的是"deposits"字符+?reserve?賬號公鑰+?depositor?賬號公鑰作為?seeds,bump?則是在用戶調用時傳入。
規則3:#
這是一個SPL約束,用于更簡便地驗證SPL賬號。這里指定deposit_account賬號是一個token賬號,它的mint權限是deposit_note_mint賬號,authority權限是market_authority。
韓國或提出懲罰加密貨幣操縱者的法案:金色財經報道,韓國可能會提出一項法案,懲罰那些通過抬高幣價、內幕交易或虛假訂單從加密貨幣交易中獲取不公平利潤的人。在韓國議會要求研究加密貨幣監管后,韓國金融服務委員會(FSC)準備了這份研究報告。FSC提出的條例將比資本市場規制更加嚴格。根據該提案,對不正當獲取利益的人將處以罰款、賠償責任等民事、行政處罰,并處以監禁等刑事處罰。據悉韓國議會和政府將在立法過程中討論細節。(韓國經濟日報)[2022/5/18 3:23:44]
Account的宏定義還有很多,這里略表不提,詳細可以考慮文檔:
https://docs.rs/anchor-lang/latest/anchor_lang/derive.Accounts.html
有了這些前置知識,我們就可以直接來看漏洞代碼:
programs/jet/src/instructions/withdraw_tokens.rs
正常情況下,用戶調用函數withdraw_tokens提幣時,會傳入自己的LP賬號,然后合約會銷毀他的LP并返還相應數量的代幣。但這里我們可以看到deposit_note_account賬號是沒有進行任何約束的,用戶可以隨意傳入其他用戶的LP賬號。難道使用別人的LP賬號不需要他們的簽名授權嗎?
通過前面分析宏定義代碼,我們已經知道了market_authority賬號擁有LP代幣的操作權限,確實不需要用戶自己的簽名。那么market_authority又是一個怎么樣的賬號呢?我們可以看這里:
programs/jet/src/instructions/init_market.rs
這個market_authority也是一個PDA賬號。也就是說合約通過自身的調用就可以銷毀用戶的LP代幣。那么對于惡意用戶來說,要發起攻擊就很簡單了,只要簡單地把deposit_note_account賬號設置為想要竊取的目標賬號,withdraw_account賬號設置為自己的收款賬號,就可以銷毀他的LP,并把他的存款本金提現到自己的賬號上。
最后我們看一下官方的修復方法:
補丁中并未直接去約束deposit_note_account賬號,而是去除了burn操作的PDA簽名,并將authority權限改成了depositor,這樣的話用戶將無法直接調用這里的函數進行提現,而是要通過另一個函數withdraw()?去間接調用,而在withdraw()?函數中賬號宏定義已經進行了嚴密的校驗,惡意用戶如果傳入的是他人的LP賬號,將無法通過宏規則的驗證,將無法通過宏規則的驗證,因為depositor需要滿足signer簽名校驗,無法偽造成他人的賬號。
programs/jet/src/instructions/withdraw.rs
總結
本次漏洞的發現過程比較有戲劇性,漏洞的發現人@charlieyouai在他的個人推特上分享了漏洞發現的心路歷程,當時他發現burn的權限是market_authority,用戶無法進行簽名,認為這是一個bug,會導致調用失敗且用戶無法提款,于是給官方提交了一個賞金漏洞,然后就去吃飯睡覺打豆豆了。
而后官方開發者意識到了問題的嚴重性,嚴格地說,他們知道這段代碼沒有無法提現的漏洞,而是人人都可以提現啊,老鐵,一個能良好運行的bug你知道意味著什么嗎?!所幸的是沒有攻擊事件發生。
目前在Solana上發生過多起黑客攻擊事件均與賬號校驗問題有關,慢霧安全團隊提醒廣大Solana開發者,注意對賬號體系進行嚴密的審查。
作者:AbramBrown 本文來自:Forbes 譯者:Moni 蘇富比——這家有著近300多年歷史的知名拍賣行,不再滿足于老式的業務模式,而是緊跟時代步伐.
1900/1/1 0:00:00作者:Corn 出品:鴕鳥區塊鏈 說起如今比較受矚目的DAO項目,Cult.DAO一定占據了一席之地.
1900/1/1 0:00:00撰文|盧瀅西 一分鐘,6000份數字藏品全部售罄。“三部手機同時搶,陪跑是常態,搶到是意外。”最近一段時間,數字藏品的火爆程度堪稱藏有圈的“茅臺”.
1900/1/1 0:00:00周三,市場追蹤器DappRadar和區塊鏈游戲聯盟(BGA)發布了2022年第一季度區塊鏈游戲報告.
1900/1/1 0:00:00點擊藍字關注我們 SUBSCRIBE?toUS 元宇宙重新定義了人與空間的關系,AR、VR、云計算、5G和區塊鏈等技術搭建了通往元宇宙的通道,創造了虛擬與現實融合的交互方式.
1900/1/1 0:00:00翻譯:蔣海波 4月7日,CryptoInsiders創始人ZoranKole一篇《未來屬于NEAR》的文章引起了加密社區的討論,他寫到,在4月20日.
1900/1/1 0:00:00