1.前言
相對于ethereum的soldity語言,move語言最近越來越火,而且由于其自身相對于soldity的強大優勢,越來越受到重視。其中move語言被用于很多明星項目,比如Aptos,sui。近期我們的Web3安全漏洞檢測產品發現了一個整數溢出的漏洞。可以導致Aptos節點崩潰,造成拒絕服務。本文通過對該漏洞的介紹,希望大家對move語言以及其安全性有更多的認識和理解。作為move語言安全性研究的領導者,我們會持續關注move語言的安全性,為move的生態安全做出我們的貢獻。?
2.Move語言的重要概念
模塊和腳本?
Move有兩種不同類型的程序:模塊和腳本。模塊是定義結構類型以及對這些類型進行操作的函數的庫。結構類型定義了Move的全局存儲的模式,模塊函數定義了更新存儲的規則。模塊本身也存儲在全局存儲中。腳本是可執行文件的入口點,類似于傳統語言中的主函數main。腳本通常調用已發布模塊的函數來更新全局存儲。腳本是臨時代碼片段,不會發布在全局存儲中。一個Move源文件可能包含多個模塊和腳本。然而,發布模塊或執行腳本都是獨立的虛擬機操作。?
對于熟悉操作系統的人來說,move的module就類似系統的可執行文件運行的時候加載的動態庫模塊,而script類似主程序。用戶可以通過自己編寫script,來訪問全局存儲,包括調用module模塊的代碼。?
全局存儲?
Move程序的目的是讀取和寫入樹形的持久全局存儲。程序不能訪問文件系統、網絡或任何此樹以外的數據。?
在偽代碼中,全局存儲看起來像:?
報告:阿聯酋與新加坡的NFT行業預計將以每年45.5%、51.2%的速度增長:金色財經報道,報告顯示,阿拉伯聯合酋長國的NFT行業預計將以每年45.5%的速度增長,到2022年達到9.821億美元。預計NFT行業將在預測期內穩步增長,2022-2028年的復合年增長率為32.1%。該國的NFT支出價值將從2022年的9.821億美元增加到2028年的47.463億美元。
此外,新加坡的NFT行業預計將以每年51.2%的速度增長,到2022年達到18.793億美元。預計NFT行業將在預測期內穩步增長,2022-2028年的復合年增長率為36.9%。該國的NFT支出價值將從2022年的18.793億美元增加到2028年的111.802億美元。[2022/12/9 21:32:50]
從結構上講,全局存儲是一個森林,這個森林由以賬戶地址為根的樹組成。每個地址可以存儲資源數據和模塊代碼。如上面的偽代碼所示,每個地址最多可以存儲一個給定類型的資源值,最多可以存儲一個給定名稱的模塊。??
MOVE虛擬機原理?
movevm與evm虛擬機都一樣,需要將源碼編譯成字節碼,然后在虛擬機中執行,下圖是整體的流程:?
1.將字節碼通過函數execute_script被加載進來?
新加坡WBF交易所DTCM即將從”開放區”轉到”創新區”:據官方消息顯示,由于DTCM/USDT自上線以來,成交量穩步上升,WBF決定于新加坡時間2020年9月26日10:10將DTCM/USDT由“開放區”轉板到“創新板”,若DTCM/USDT后續發展情況良好,將會轉板至“主板區”。[2020/9/25]
2.執行load_script函數,這個函數主要用來反序列化字節碼,并校驗字節碼是否合法,如果校驗失敗,就會返回失敗?
3.校驗成功之后就會開始執行真正的字節碼代碼?
4.執行字節碼,訪問或修改全局存儲的狀態,包括資源,modules?
注:move語言還有很多特性,這里我們就不一一介紹,后續我們會從安全性角度繼續分析move語言的特性。?
3.漏洞描述
本漏洞主要設計驗證模塊,在講具體漏洞之前先介紹下驗證模塊的功能以及StackUsageVerifier::verify。?
驗證模塊?
通過前面,我們知道在真正執行字節碼代碼之前,會有驗證字節碼的環節,而驗證環節有可以細分為好多子過程,?
分別是:?
BoundsChecker,邊界檢查,主要是用來檢查module與script的邊界安全。具體包括檢查signature,constants等的邊界?
DuplicationChecker,該模塊實現了一個檢查器,用于驗證CompiledModule中的每個向量是否包含不同的值?
SignatureChecker,用于檢查signature被用于函數參數,本地變量,結構體成員時,字段結構正確?
新加坡WBF交易所將于9月10日正式上線BDCC:據官方消息,新加坡WBF交易所即將上線BDCC,并在開放區上線BDCC/USDT交易對。
BDCC全稱BDCC GOLD CHAIN,以分布式賬本為基礎,以規則和共識為核心,根據不同的數據權屬、功能定位、應用場景和開放權限構建不同層級的協議,實現公有價值的交付、流通、分享及增值。BDCC的意義并不僅僅是對于區塊鏈的發展,更大的意義在于給網絡空間治理帶來了新規制。當實物黃金進入BDCC公鏈體系,黃金擁有方與公鏈的數據體系相結合,將會形成超級公鏈體系,伴隨而生的,將是“區塊鏈上的法定貨幣”。[2020/9/10]
InstructionConsistency,驗證指令一致性?
constants用于驗證常量,常量的類型必須是原始類型,常量的數據正確的序列化為其類型?
CodeUnitVerifier,驗證函數體代碼的正確性,分別通過stack_usage_verifier.rs與abstract_interpreter.rs來達到目的?
script_signature,用于驗證一個腳本或入口函數是否是一個有效的簽名?
該漏洞發生在verify環節CodeUnitVerifier::verify_script(config,script)?;函數中。可以看這里有許多的verify子流程。?
動態 | 新加坡理工學院將于明年開設區塊鏈相關課程:據Straits Times消息,新加坡理工學院(SP)將在2019年2月開設新的區塊鏈課程,該課程主要針對專業人士,課程內容包括創建加密貨幣、建立區塊鏈生態系統和開發智能合約。[2018/12/21]
分別是stack安全校驗,類型安全校驗名,本地變量安全性校驗,以及引用安全校驗。而漏洞產生的地方就在棧安全校驗過程中。?
棧安全校驗(StackUsageVerifier::verify)?
該模塊用于驗證函數的字節碼指令序列中的基本塊是否以平衡的方式使用。每個基本塊除了那些以Ret操作碼結尾的,必須確保離開block時候棧高度與開頭時候相同。此外,對于任何基本塊的塊,棧高度不得低于開始時的棧高度。?
循環校驗所有代碼塊是否滿足以上條件:??
即循環遍歷驗證所有基本塊的合法性。?
漏洞詳情?
前面已經介紹過,由于movevm是棧虛擬機,在驗證指令合法性的時候,很顯然,第一需要確保指令字節碼是否正確,第二需要確保棧空間經過一個block代碼塊調用之后,棧內存合法,即棧操作之后,棧保持平衡。verify_block函數正是用來完成第二個目的的。?
從verify_block代碼中我們可以看到,for循環會循環解析block代碼塊中的所有指令,然后通過對num_pops,num_pushes加減操作來驗證指令塊的對棧的影響是否合法,首先通過對stack_size_increment<num_pops來判斷棧空間是否合法,如果num_pops大于stack_size_increment就說明字節碼pop的數目大于棧本身的大小,就返回錯誤,字節碼校驗失敗。然后通過stack_size_increment-=num_pops;stack_size_increment+=num_pushes;這兩條指令來修改每個指令執行之后對棧的高度的影響,最后當循環結束之后,stack_size_increment需要等于0,即保持本block內的操作之后,需要保持棧的平衡。?
前英格蘭國腳“金童”邁克爾?歐文投資新加坡加密貨幣交易所:據CNBC報道,前英格蘭國腳“金童”邁克爾?歐文(Michael Owen)宣布進軍加密貨幣世界,在接受外媒CNBC采訪時,他談論了投資新加坡某加密貨幣交易所的事情。盡管加密貨幣存在一定風險,但歐文表示,這項技術可以為名人和粉絲之間的直接交流互動提供了一個很好的平臺。此前,知名拳擊明星曼尼?帕奎奧也曾與該交易所簽約并擔任該交易所大使。[2018/3/21]
看起來這里似乎沒什么問題,但是由于這里在執行16行代碼的時候,沒有去判斷是否存在整數溢出,導致可以通過構造超大num_pushes,間接控制stack_size_increment,從而產生整數溢出漏洞。那么如何構造構造這樣一個巨大的push數目呢?這里首先需要介紹一下movebytecode文件格式。?
movebytecode文件格式?
如同WindowsPE文件,或者linuxELF文件,move的字節碼文件以.mv為結尾,文件本身也是有一定的格式的,總的來說movebytecode文件格式如圖所示:?
首先是macgic,值為A11CEB0B,接下來是版本信息,以及table的數目,之后是tablesheaders,這里可以有很多個tables,tablekinds就是table的類型,總共有0x10種,更多詳細信息可以去看move語言文檔,接下來是table的偏移,以及table的長度。之后就是table的contents了,最后是SpecificData,有兩種,對于module來說就是ModuleSpecificData,對于script類型來說就是ScriptSpecificData。?
構造的惡意文件格式?
這里我們與aptos交互的時候,是以script來完成的,所以我們構造了下圖所示的文件格式,就可以造成stack_size_increment溢出:?
首先來解釋一下這個字節碼文件的格式:?
+0x00-0x03:是macgicword0xA11CEB0B?
+0x04-0x7:文件格式版本,這里為版本4?
+0x8-0x8:為tablecount這里為1?
+0x9-0x9:為tablekind這里是SIGNATURES類型?
+0xa-0xa:為tableoffset,這里為0?
+0xb-0xb:為tablelength,這里為0x10?
+0xc-0x18:為SIGNATURESToken數據?
從0x22開始為scrip的mian函數code代碼部分?
通過move-disassembler工具,我們可以看到指令的反匯編代碼如下:?
其中0,1,2三條指令對應的代碼就是紅框,綠框,黃框的數據。?
LdU64與漏洞本身無關,我們這里就不做過多解釋,感興趣的可以自行查看代碼。這里重點解釋下VecUnpack指令,VecUnpack的作用就是在代碼中碰到vector對象的時候,需要將數據全部push到棧上。?
在構造的這個文件中,我們構造了兩次VecUnpack,其vector的num分別是3315214543476364830,18394158839224997406,?
當執行函數instruction_effect的時候,實際上執行的是下面第二行代碼:?
執行完instruction_effect函數第一次返回(1,3315214543476364830),此時stack_size_increment為0,num_pops為1,num_pushes為3315214543476364830,執行第二次返回(1,18394158839224997406)。當再次執行stack_size_increment+=num_pushes;?
stack_size_increment已經為0x2e020210021e161d(3315214543476364829),?
num_pushes為0xff452e02021e161e(18394158839224997406),當兩者相加之后,大于u64的最大值,產生了數據截斷,stack_size_increment的值成為了0x12d473012043c2c3b,造成了整數溢出,從而造成了aptos節點崩潰,進而導致節點運行停止的嚴重影響(由于rust語言的安全特性,并不會向c/c++那樣造成更進一步的代碼安全影響)。?
4.漏洞影響
本漏洞由于是發生在movevm執行模塊,所以對于鏈上節點,只要執行該字節碼代碼,就會造成DoS攻擊,嚴重的情況下,可以使得aptos網絡完全停止運行,會對其生態造成難以估量的影響,以及對節點的穩定性產生嚴重影響。?
5.官方修復
當我們發現這個漏洞之后,第一時間報告給了官方,官方也很快修復了漏洞:?
官方的修復也很簡單,就是對stack_size_increment的加減分別做了溢出檢測。如果有溢出就直接返回異常。?
來源:Coindesk 編譯:比推BitpushNewsMaryLiu如果美聯儲主席杰羅姆·鮑威爾贏得通脹戰怎么辦?美聯儲再次大幅加息之后,一些評論員將這位現任掌門人與保羅·沃爾克進行比較.
1900/1/1 0:00:00Vitalik在其Endgame一文中,描繪了他認為的Ethereum終極形態,其中花費?量篇幅描繪了?個由Rollups和DA構建起來的新以太坊.
1900/1/1 0:00:00DAO的空間結構對生產關系的構建,也將改變DAO存在的治理悖論。原文標題:《06)ThinkaboutWeb3:我們為什么需要DAO操作系統?》撰文:VIONWILLIAMS本篇文章的寫作背景是.
1900/1/1 0:00:00來源:老雅痞 DeFi、社交、穩定幣,可能只是AAVE帝國的開始。 來源:readthegeneralist,作者:MarioGabriele 編譯:老雅痞 Aave擁有超過56億美元的鎖定總價.
1900/1/1 0:00:00這些公司包括CelsiusNetwork、VoyagerDigital、Kraken、GalaxyDigital、FTX、OpenSea等.
1900/1/1 0:00:0010月7日凌晨,黑客利用BNBChian跨鏈橋BSCTokenHub漏洞,分兩次共盜取200萬枚BNB。據分析,攻擊涉及的總金額超過7億美元,其中包含5.7億美元的BNB.
1900/1/1 0:00:00