之前我們發現了一個Aptos Move VM的嚴重漏洞,經過深入研究,我們發現了另外一個新的整數溢出漏洞,這次一的漏洞觸發過程相對更有趣一點, 下面是對這個漏洞的深入分析過程,里面包含了很多Move語言本身的背景知識.通過本文講解相信你會對move語言有更深入的理解。
眾所周知,Move 語言在執行字節碼之前會驗證代碼單元。驗證代碼單元的過程,分為4步。這個漏洞就出現在 reference_safety 的步驟中。
如上面代碼所示, 此模塊定義了用于驗證過程主體的引用安全性的轉移函數。其檢查包括(但不限于)驗證沒有懸空引用、對可變引用的訪問是否安全、對全局存儲引用的訪問是否安全。
下面是引用安全驗證入口函數, 它將調用analyze_function.
在analyze_function中,函數將對每一個基本塊進行驗證,那么什么是基本塊呢?
在代碼編譯領域,基本塊是一個代碼序列,除了入口之外沒有分支指令,除了出口之外沒有分支指令。
在Move 語言中, 基本塊是通過遍歷字節碼、查找所有分支指令以及循環指令序列來確定的。以下是核心代碼:
Signum Capital宣布成立UVM Signum區塊鏈基金:官方消息,Signum Capital宣布成立UVM Signum區塊鏈基金(UVM Signum Blockchain Fund),其是Signum Capital與大華銀行(UOB Bank)投資部門、大華銀行風險管理公司(UOB Venture Management)的聯合合作項目,將專注于四個關鍵領域:基礎設施建設和增強、金融服務和系統、資產代幣化平臺以及其他應用程序和工具。[2021/12/16 7:43:43]
接下來,我們來分享一個move ir代碼基本塊的例子, 如下所示, 它 3 個基本塊。分別由分支指令:BrTrue,Branch,Ret確定。
參考Rust語言的思想,Move 支持兩種類型的引用類型。不可變引用&(例如&T)和可變引用&mut(例如&mut T)。你可以使用不可變 (&) 引用從結構中讀取數據,使用可變 (&mut)引用 修改它們。通過使用恰當的引用類型,有助于維護安全性以及識別讀取模塊。這樣可以讓讀者清晰地知道此方法是更改值還是僅讀取。 下面是官方Move教程中的示例:
Bitcoin Latinum將利用GK8的端到端加密托管解決方案來保護其生態系統:10月15日消息,Bitcoin Latinum宣布與區塊鏈網絡安全公司GK8達成合作。據悉,GK8是為金融機構和加密貨幣項目提供數字資產自我管理的端到端托管平臺。
為了保護其生態系統,Bitcoin Latinum將集成GK8專有的專有合規解決方案,利用它來存儲自己的代幣,并有可能向其散戶和機構投資者提供托管服務。GK8保護數字資產的新方法提供冷存儲庫(Cold Vault)和MPC功能,同時內置對DeFi集成和代幣質押的支持。其專有的MPC解決方案允許數十個自動共同簽署者(co-signer)。(Pressat)[2021/10/15 20:32:23]
在示例中,我們可以看到mut_ref_t是 t 的可變引用。
所以在Move 引用安全模塊中,嘗試通過以函數為單元,掃描函數中的基本塊中的字節碼指令驗證判斷所有引用操作是否合法。
下圖顯示了驗證引用安全性的主要流程。
這里的state是AbstractState結構體, 它包含了borrow graph 和locals ,他們共同用于確保引用函數中的引用安全性。
這里borrow graph是用來表示局部變量引用之間關系的圖。
游戲平臺Rootboy與Signum達成合作,將推出支持使用Signa的支付系統:歐洲游戲平臺Rootboy與可持續區塊鏈Signum達成合作,將使用Signum區塊鏈及其加密貨幣Signa(SIGNA)實現加密支付系統。支持使用Signa的支付、獎勵和忠誠度計劃系統將在全球1000多萬玩家和用戶的社區中推廣。(AMBCrypto)[2021/8/10 1:45:51]
從上圖中可以看到, 這里有一個pre state ,其包含locals 和borrow graph (L ,BG)。然后執行了basic block 生成一個post state (L’, BG’)。然后將前后的state合并以更新塊狀態并將該塊的后置條件傳播到后續塊。這就像 V8 turbofan中的Sea of Nodes 思想。
下面的代碼是上圖對應的主循環。首先, 執行塊代碼(如果執行指令不成功,將返回 AnalysisError)然后嘗試通過join_result是否更改,來合并pre state和post state。如果更改并且當前塊本身包含一個后向的邊指向自己(這意味著有一個循環)將跳回到循環的開頭, 在下一輪循環仍將執行此基本塊,直到post state等于pre state或因某些錯誤而中止。
因此在引用安全模塊,如何判斷 join的結果是否改變?
SBI數字資產部門投資瑞士加密銀行Signum Bank:SBI集團的數字資產部門SBI數字資產控股有限公司(SBI ADH)宣布將投資瑞士加密貨幣銀行Signum Bank,投資額超1000萬美元。通過此次投資,SBI將加強在STO領域的發展。(JP.Cointelegraph)[2021/2/18 17:25:46]
通過上面的代碼,我們可以通過判斷locals和borrow關系是否發生變化來判斷join結果是否發生變化。 這里的 join_ 函數用于更新本地變量和 borrow關系圖 。
下面是join_ 函數代碼,第 6 行是初始化一個新的 locals Map 對象。 第 9 行迭代 locals 中的所有索引,如果pre state與 post state都值為 None,則不要插入到新的 locals 映射中,如果 pre state 有值,post state為None,則需要釋放 brow_graph id ,意味著這里消除該值的借用關系, 反之亦然。特別的,當pre state與 post state 兩個值都存在且相同時,像第30-33行一樣將它們插入到新的map中,然后在第38行合并 borrow graph。
通過上面代碼,我們可以看到 self.iter_locals() 是locals變量的個數。 請注意,此局部變量不僅包括函數的真實局部變量,還包括參數。
在這里我們已經覆蓋了所有與漏洞相關的代碼,你找到漏洞了嗎?
Litentry完成百萬美元種子輪融資 FBG、Candaq、Signum等多家機構參投:波卡(Polkadot)生態去中心化跨鏈身份協議 Litentry 完成百萬美元種子輪融資,參與投資機構包括FBG Capital、Candaq Group、Signum Capital、NGC Ventures、BlockVC、D1 Ventures、Altonomy、Hypersphere Ventures、PAKA基金、數字文藝復興基金會、RockX以及LD Capital等。這是Litentry自2019年拿到Web3 Grants后首次進行融資。Litentry 團隊表示,本輪融資將有助于公司充實團隊力量和建立全球社區,Litentry 將會繼續專注于優化產品的技術架構,為 DeFi、鏈上治理等Polkadot 生態內外的應用提供精細化的鏈上身份信用服務,在區塊鏈網絡中共同打造一個可信的去中心化身份聚合器,成為Web 3.0網絡中的重要基礎設施,為大規模應用落地做好準備。[2020/10/28]
如果你沒有發現漏洞也沒關系,下面我會詳細說明漏洞觸發過程。
首先在下面的代碼中,如果參數長度添加局部長度大于 256。這似乎沒有問題?
當函數 join_() 中是 function_view.parameters().len() 和 function_view.locals().len() 組合值大于 256,由于語句 for local in self.iter_locals()中 local 是 u8類型,此時執行此語句對造成溢出。
開發者似乎只檢查了 Move Modules代碼中的 locals+parameter 長度,而忽略了script。
通過上面的介紹,我們知道有一個主循環來掃描代碼塊,然后調用execute_block函數,之后會合并執行前后的state,當move代碼中存在循環,則會跳轉到代碼塊開始,再次執行基本塊。 因此,如果我們制造一個循環代碼塊并利用溢出改變塊的state,使 AbstractState 對象中的新的locals map與之前不同,當再次執行 execute_block 函數時,在分析basic block中字節碼指令序列的時候會訪問新的locals map,這時候如果指令中需要訪問的索引在新的AbstractState locals map中不存在,將導致DoS。
在審核代碼后,我發現在 reference safety模塊中,MoveLoc/CopyLoc/FreeRef 操作碼,我們可以實現這個目標。
這里讓我們看一下文件路徑中execute_block函數調用的copy_loc函數作為一個說明:
move/language/move-bytecode-verifier/src/reference_safety/abstract_state.rs
在第287行,代碼嘗試通過LocalIndex作為參數獲取本地值,如果LocalIndex不存在會導致panic,想象一下當節點執行滿足上述條件代碼的時候,會導致整個節點崩潰。
下面是你可以在git里面重現的PoC:
commit:add615b64390ea36e377e2a575f8cb91c9466844
thread 'regression_tests::reference_analysis::PoC' panicked at 'called `Option::unwrap()` on a `None` value', language/move-bytecode-verifier/src/reference_safety/abstract_state.rs:287:39 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
我們可以看到PoC中代碼塊存在一個basic block,分支指令是一個無條件分支指令,每次執行最后一條指令時,branch(0) 將跳回第一條指令,因此這個代碼塊將多次調用 execute_block 和 join 函數。
1.在第一次執行完 execute_block 函數,當這里設置 parameters 為SignatureIndex(0),locals為SignatureIndex(0)會導致num_locals為132*2=264。 所以在執行join_函數下面這行代碼之后
將會導致新的locals map長度為8.
2.在第二次執行execute_block函數時,執行move代碼第一條指令copyloc(57),57是locals需要壓入棧的offset,但是這次locals只有長度8,offset 57不存在,所以會導致 get(57).unwrap() 函數返回 none ,最后導致panic。
以上就是這個漏洞的來龍去脈。首先這個漏洞說明沒有絕對安全的代碼, Move語言在代碼執行之前確實做了很好的靜態校驗,但是就像這個漏洞一樣,可以通過溢出漏洞完全繞過之前的邊界校驗。再者代碼審計很重要,程序員難免會疏忽。作為Move語言安全研究的領導者,我們將繼續深挖Move的安全問題。第三點,對于Move語言,我們建議語言設計者在move運行時增加更多的檢查代碼,以防止意外情況的發生。目前move語言主要是在verify階段進行一系列的安全檢查,但我覺得這還不夠,一旦驗證被繞過,運行階段沒有過多的安全加固,將導致危害進一步加深,引發更嚴重的問題。最后,我們還發現了Move語言的另一個漏洞,后續會繼續分享給大家。
參考資料
https://github.com/move-language/move
https://github.com/MystenLabs/awesome-move
https://move-language.github.io/move/
Numen Cyber
企業專欄
閱讀更多
金色早8點
金色財經
去中心化金融社區
CertiK中文社區
虎嗅科技
區塊律動BlockBeats
念青
深潮TechFlow
Odaily星球日報
騰訊研究院
作者:Chen Li,Ivy Zeng 和 Ivo Entchev 來源:Youbi 對于第一次接觸 Web3 的 Web2 用戶來說,初次上手的體驗(客氣地說)是不大愉悅的.
1900/1/1 0:00:00撰文:Ignas 編譯:Crush,Biteye 核心貢獻者 來源:Biteye FTX 的崩潰證明了自我托管和風險管理的重要性.
1900/1/1 0:00:00采訪:Tiffany Fong編譯:Frank,Foresight News"在我申請破產 8 分鐘后,流動性又增加了 40 億美元.
1900/1/1 0:00:00It is only a moment that determines a person's life, as well as his entire destiny.決定一個人的一生.
1900/1/1 0:00:00近期,Arbitrum鏈上一款名為The Beacon的游戲突然走火,各個社群和社交媒體開始大量討論.
1900/1/1 0:00:00“OGtown”是華語cryptopunks社區授權的文章專欄主持人moonlight:您認為NFT的熊市會持續多久?Jamestownkings.eth:我認為NFT的熊市.
1900/1/1 0:00:00