在這篇文章中,我們將簡要地解釋重入和跨函數重入之間的區別,以及圖靈不完備性如何能夠防止一些這樣的攻擊。
其中我們將提供一個跨函數重入利用的案例,該案例中Kadena區塊鏈使用的是編程語言Pact,但圖靈不完備性并未防止該惡意利用的發生。
事件簡介
Kadena區塊鏈旨在實現比其他L1鏈更高的可擴展性、安全性和可用性。其開發了一種新的語言用以編寫智能合約:Pact。
這種語言是人類可讀的,且易于形式化驗證,并具備可提高安全性的圖靈不完備性。
這里提到的圖靈不完備性意味著Pact無法做到圖靈完備編程語言所能做到的那些事——看起來好像是個劣勢,但其實智能合約編程,哪怕是最復雜的DeFi協議也很少會需要用到圖靈完備性。
數據:0x8b9和0x362開頭鯨魚地址共買入788,877枚LINK:金色財經報道,Spot On Chain監測顯示,在過去的45分鐘內,0x8b9和0x362開頭的鯨魚地址(可能是同一巨鯨)共同交換了3,146枚stETH和ETH(572萬美元),以7.25美元的平均價格購買了788,877枚LINK。自他們購買以來,LINK的價格從7.12美元飆升至7.5美元,漲幅約為7%。[2023/7/20 11:07:05]
圖靈不完備性最重要的一點是沒有無界遞歸。雖然這確實大大減少了攻擊面,但一些「經典」攻擊是無法被100%避免的,接下來我們就會講述跨函數重入的問題。
經典重入攻擊
重入攻擊是非常常見的安全問題。這個問題不僅很難被開發者發現,也很難被審計師審查出其會導致的所有潛在后果。
日本金融廳年度金融行政政策發布,包含針對數字貨幣、Web 3.0等措施:9月2日消息,日本金融廳近日發布關于2022年度金融行政政策,其中包含推動數字貨幣、加密資產等環境的發展,從金融角度推動Web 3.0和元宇宙的發展的計劃。文件稱,日本將穩步實施和運營穩定幣系統,并將簡化自律組織對加密資產交易所處理的加密資產的預審查,明確對區塊鏈上發行的項目和內容的加密資產資格的解釋。
此外,日本金融廳將開發一個系統來處理與發行人持有的部分加密資產的稅收相關的問題,并允許信托銀行托管加密資產。此外,將努力改善在日本自營交易系統(PTS)上交易證??券代幣的環境,繼續考慮去中心化金融等。[2022/9/2 13:04:51]
重入攻擊取決于函數在進行外部調用之前和之后執行的特定任務的順序。
Jack Dorsey資助過的比特幣非營利組織?trust增加一位創始成員:7月21日消息,比特幣非營利組織 ?trust 增加一位創始成員 Vladimir Fomene,Fomene 是一位喀麥隆軟件工程師,擅長 JavaScript 和 Rust 領域,將在 ?trust 主要致力于比特幣開發工具包(BDK)。?trust 最初由 Jack Dorsey 和 Jay-Z 于 2021 年 2 月捐贈 500 枚比特幣資助,旨在通過教育和獎勵比特幣開發人員來去中心化比特幣軟件開發。(CoinDesk)[2022/7/21 2:29:50]
如果一個合約調用了一個不受信任的外部合約,攻擊者可以讓它一次又一次地重復這個函數調用,形成一個遞歸調用。而如果重新輸入的函數執行重要的任務,那這可能就會導致災難性的后果。
Terra研究員:Zhu Su正變賣其3500萬美元房產,但不打算用出售所得償還債務:7月1日消息,Terra研究員在社交媒體上發文表示,一位經過核實的消息人士證實,三箭資本聯合創始人Zhu Su正急于出售他在新加坡價值3500萬美元的房產,目前該房產由其子的信托基金持有。他要求將這些資金轉入迪拜的一個銀行賬戶,但無意用出售所得向債權人償還債務。[2022/7/1 1:44:18]
下方是一個簡化的例子。
我們把易受攻擊的合約稱為unsafe合約,把惡意的合約稱為Attack合約。
1.攻擊者調用unsafe合約,以將資金轉移到Attack合約中。
2.收到調用之后,unsafe合約首先檢查攻擊者是否有資金,然后將資金轉移到Attack合約。
3.收到資金后,Attack合約執行回退函數,在它能夠更新余額之前回調到不安全的合約,從而重新啟動該過程。
因為這種攻擊是通過無界遞歸調用進行的,所以如果語言不是圖靈完備的,攻擊就不可能進行。
跨函數重入
跨函數重入類似于經典的重入攻擊,除了重入的函數與進行外部調用的函數功能不同。這種重入攻擊通常更難被發現——因為在復雜的協議中,組合的可能性太多,無法手動測試每個可能的結果。
這就引出了我們的概念證明:使用Pact語言進行簡單的跨函數重入攻擊。
Pact模塊中的簡單跨函數重入
正如我們在下方代碼片段中看到的,合約中的函數對另一個實現特定接口的合約進行外部調用。這允許重入一個設計好的攻擊合約。Pact中的功能是內置函數,可授予用戶權限來執行敏感任務。以下代碼僅供說明之用,并非取自真實案例合約。
我們將使用的代碼例子包含三個部分:
1.合約接口
被攻擊的模擬示例合約
首先,數據庫被定義為一個表,其中字符串存儲在具有關聯十進制數的行中。
然后定義了一個能力:CREDIT。這個條件將是credit函數所需要的,但只被with_capability語句中的bad_function內部授予。這意味著直接調用credit會失敗。
現在,函數credit被定義如下:它增加了作為輸入的字符串的余額。如果該地址不在表中,它還會創建該條目。
最后,函數bad_function增加了legit_address的余額,但也執行了對符合之前定義的接口的合約的調用,該合約可以作為一個輸入參數提供。
函數get-balance允許我們讀取該表格。
3.用于觸發重入的模塊:
之后,返回10,返回100。
重入成功。
現在,如果我們不重入調用credit,而是嘗試重入再次調用bad_function,會發生什么?即使第一次調用credit成功,由于重入是在bad_function中,這將是一個遞歸調用且執行將會失敗。
現在,如果我們嘗試直接調用external_function,這將不起作用,因為所需的功能CREDIT沒有被授予。
寫在最后
通過移除無界遞歸,圖靈不完備性可以防止一些重入攻擊的載體。
然而,由于跨函數重入可以在沒有遞歸調用的情況下進行,圖靈不完備性并不能阻止所有此類攻擊載體,因此用戶在與這種語言交互時不應該假設重入不會造成惡劣影響。
重入和跨函數重入是非常常見的安全問題,Web3.0領域也因此發生了一系列規模巨大的攻擊事件。
Pact作為一種智能合約編程語言,極具潛力。
它采取的方法與其他語言如Solidity或Haskell有些不同。Pact并不完全依靠圖靈不完備性來提高安全性;該語言被設計地更容易閱讀、理解和正式驗證。
然而,沒有哪種編程語言能對所有的攻擊載體免疫。因此開發者必須了解他們所使用的語言的獨特功能,并且在部署前對所有項目進行徹底審計。
目前,CertiK的審計及端到端解決方案已覆蓋目前市面上大部分生態系統,并支持幾乎所有主流編程語言,就區塊鏈平臺、數字資產交易平臺、智能合約的安全性等領域為各個生態鏈提供安全技術支持。
金色財經報道,以太坊NFT二層擴容方案ImmutableX即將推出ImmutablePassport,它為希望將游戲玩家納入Web3的游戲工作室提供了一個一體式通證系統.
1900/1/1 0:00:00頭條 Azuki?官推遭黑客入侵,目前官方已恢復其賬號控制權Odaily星球日報訊據官方推特消息,藍籌?NFT?項目?Azuki?官方推特賬號于今日凌晨遭到黑客入侵.
1900/1/1 0:00:00?由于比特幣和股票回吐近期漲幅,投資者等待本周的FOMC和下一次加息的消息,加密貨幣市場今天下跌.
1900/1/1 0:00:00ForesightNews消息,FTX債權人援引法庭文件發推表示,紐約律師事務所Sullivan&Cromwell暗示其他貸方也可能成為?Voyager?之后的撤銷行動目標.
1900/1/1 0:00:00尊敬的XT.COM用戶:因HECO錢包升級維護,XT.COM現已暫停HECO鏈上代幣充提業務。給您帶來的不便,請您諒解!Line旗下NFT子公司Line Next完成1000萬美元戰略融資,軟銀.
1900/1/1 0:00:00金色財經報道,美國白宮周五發布了關于政府降低加密貨幣風險的路線圖。文章表示,政府的重點是繼續確保加密貨幣不會破壞金融穩定、保護投資者并追究不良行為者的責任.
1900/1/1 0:00:00