歡迎光臨
比特幣資訊網

Mamori.xyz:基於機器學習的區塊鏈價值提取系統

免責聲明: 內容不構成买賣依據,投資有風險,入市需謹慎!

Mamori.xyz:基於機器學習的區塊鏈價值提取系統

黑色馬裏奧 個人專欄 剛剛 關注

Mamori.xyz 是一個基於機器學習的自動化區塊鏈價值提取系統,其开創一種通用路徑查找器,該工具可用於檢測和防御潛在的未知安全風險,Mamori.xyz 也將其稱爲“未知的未知”,即智能合約中的零日漏洞和新出現的與區塊鏈相關的軟件問題,以更低成本、更精准的降低智能合約安全隱患。同時,Mamori.xyz 的系統還有望在 MEV、意圖解決等領域深入的拓展與應用。

據悉,該項目在 7 月初獲得了一筆規模爲 500 萬美元的種子輪融資,本輪融資由 Blockchain Capital 領投,Velocity.Capital 和 Web3.com 等知名機構也參與了對該項目的投資。

合約安全審計存在局限性

在鏈上世界,智能合約是鏈上應用的重要自動執行組件,其本質上是一種具備執行交易邏輯能力的特殊账戶地址,扮演資金池的角色。而一些存在潛在漏洞的合約地址,通常會因網絡攻擊而引發資金安全事件。

據悉,安全審計機構 Certik 在 2023 記錄了 751 起鏈上安全事件(損失超過 18 億美元),其47 起安全事件歸因於私鑰泄露,這些損失約佔上述總損失的一半左右。而其余損失則是由於技術漏洞和經濟風險的利用所導致。其中技術風險是指利用代碼和基礎設施中的漏洞,而經濟風險則是操縱協議的經濟設計,通常通過多重函數調用和智能合約狀態操縱來利用這些風險。其中一些典型的事件包括 Euler Finance,因合約邏輯缺陷導致 2 億美元損失,以及 BonqDAO,因預言機操縱受損 1.2 億美元。這些令人震驚的安全事件,被認爲是鏈上應用、加密貨幣大規模採用的基本障礙。

事實上,目前主流的檢測智能合約漏洞的方式包括靜態分析器和動態分析器(模糊測試)。

其中靜態分析器通常是使用一系列的規則和模式匹配技術來檢查代碼,識別不符合最佳實踐或存在已知漏洞的模式。這可能會產生大量的誤報(錯誤的警告),因爲靜態分析無法完全理解代碼的上下文,並且對於依賴於運行時狀態的漏洞,如經濟風險或邏輯錯誤,靜態分析可能不夠有效。

對於動態分析器,則是指在代碼實際運行時對其進行監控和分析,以檢測漏洞和異常行爲。

例如,Trail of Bits 开發的 Echidna 使用基於屬性的測試,並需要定義合約應始終保持的精確屬性。但其只能檢測到在測試期間執行的代碼路徑,可能遺漏未被執行的代碼部分。同時其需要創建和維護測試環境,定義測試用例,這可能需要大量的時間和資源。

圖爲 Zhang 等人在 2023 年揭露智能合約中可利用的漏洞,來源:mamori.xyz 白皮書

所以整體而言,現有的審計工具和方法,通常是基於歷史數據,無法滿足快速創新和涉及數十億美元的行業所需的預防性安全需求。

加密行業爲什么需要 Mamori.xyz? 

Mamori.xyz 是一個基於機器學習的自動化區塊鏈價值提取系統,其採用了一種支持機器學習的路徑查找器(ML-enabled Pathfinder)方案,是一種自動化的價值提取系統,旨在應對 Web3 安全領域中的可擴展性、自動化、漏洞檢測的相關性和有效性等挑战,並應用跨學科技術,防範“未知的未知”漏洞。

事實上,現有的技術,包括 ML 模型和靜態分析器,已經逐步覆蓋了“已知的未知”區域,並試圖消除反復出現的漏洞。然而,在 Mamori.xyz 前仍舊沒有單一算法能夠完美覆蓋所有類型的經濟漏洞。Mamori.xyz 正在利用多樣化的技術,保護系統免受“未知的未知”漏洞的威脅,爲智能合約領域的創新特性提供一個促進環境。

Mamori.xyz 目前利用算法解析技術建立智能合約序列,採用可重復的狀態計算技術,並融入創新和可定制的算法反饋機制,以改善智能合約安全領域的空白、現有技術的局限性,推動智能合約審計的新標准。

憑借其創新的框架,改進了許多細節,包括:

  • 一種高級的狀態計算結構。

  • 通過算法解析實現減少尋找有效函數的設置成本。

  • 一種創新的跨學科反饋機制和序列初始化。

  • 一種可定制的特性,作爲 MEV 搜索器。

圖源:mamori.xyz 白皮書

Mamori.xyz 的技術特點

  • 算法解析方案:

Mamori.xyz 的算法解析技術旨在通過深入分析智能合約的執行路徑和狀態轉換,發現潛在的技術和經濟漏洞。Mamori.xyz 首先通過識別和設置智能合約中功能調用的順序,構建可能的執行路徑圖。這些路徑圖用於優先處理實際操作中的漏洞檢測。該過程能夠確保合約的各個功能調用序列都能被准確解析和測試,從而發現潛在的風險。

  • 可復現的狀態計算:

可復現的狀態計算技術是 Mamori.xyz 漏洞檢測能力的核心之一。這項技術通過使用高效的狀態性模糊測試方法,確保智能合約在各種狀態下的行爲都能被准確地測試和驗證。Mamori.xyz 利用 Rust 實現的 EVM 環境(revm),提供了一個靈活的執行平台,該平台允許在不同狀態下執行智能合約功能,同時保持計算的高效性和精確性。

爲了實現可復現的狀態計算,Mamori.xyz 採用了臨時數據庫技術,在內存中運行測試,只保留必要的鍵值對。這不僅減少了內存使用量,還顯著提高了測試速度。此外,Mamori.xyz 的執行環境被優化爲支持並行執行和異步 I/O,從而進一步增強了其測試效率。

圖源:mamori.xyz 白皮書

  • 創新的可定制反饋機制:

可定制反饋機制通過跨學科的技術融合,提供了一個高度靈活和可定制的反饋系統,以提高漏洞檢測的准確性和效率。該方案的核心在於,它不僅關注技術漏洞,還特別關注經濟風險,通過全面的多功能調用檢測來識別潛在的威脅。

該反饋機制通過持續監控智能合約在不同狀態下的表現,及時識別並反饋潛在的漏洞和風險。這種動態監控允許系統根據檢測到的風險調整測試路徑,優化搜索路徑,減少假陰性搜索的發生。Mamori.xyz 還利用這種機制支持 MEV(礦工可提取價值)搜索器的功能,最大化其利用率,從而覆蓋更多的潛在風險場景。

此外,這一機制的定制化功能允許用戶根據特定需求調整算法參數和檢測策略,從而提高系統的靈活性和適應性。通過這種方式,Mamori.xyz 不僅能夠在合約上线前進行全面的漏洞檢測,還可以在合約運行期間持續進行監控和更新,提供持續的安全保障。創新的可定制反饋機制使得 Mamori.xyz 在應對復雜和多變的智能合約環境中,能夠更快速、准確地識別和修復漏洞,提升了整體安全性。

  • 經濟風險檢測:

Mamori.xyz 的經濟風險檢測機制是其智能合約安全審計的一大特色,旨在識別和防範由於經濟漏洞引發的潛在威脅。經濟風險檢測的核心在於多功能調用序列的綜合檢測算法,該算法不僅針對單一功能的技術漏洞,還關注由於多功能組合導致的復雜經濟風險。

Mamori.xyz 利用其先進的算法解析技術,通過檢測合約中的多功能調用序列,構建可能的執行路徑圖。這些路徑圖經過優化處理後,用於識別那些可能導致經濟損失的復雜交互。特別是,Mamori.xyz 的狀態性模糊測試方法,通過生成和變異測試用例,能夠系統地測試合約在不同狀態下的行爲,從而發現隱藏的經濟風險。

此外,Mamori.xyz 的創新可定制反饋機制,在檢測過程中持續監控智能合約的狀態變化,及時反饋潛在的經濟風險。這種動態的監控和反饋系統允許實時調整測試策略,確保覆蓋所有可能的風險場景。通過結合技術漏洞和經濟風險的雙重檢測,Mamori.xyz 能夠提供全面的智能合約安全審計,確保合約在復雜的經濟環境中運行時的安全性和可靠性。

  • 高效搜索算法:

Mamori.xyz 的高效搜索算法旨在提高檢測速度和覆蓋範圍。該算法通過結合離散和連續優化技術,全面搜索智能合約的潛在漏洞。Mamori.xyz 的搜索算法包括兩層優化結構:上層進行動作序列的離散優化,下層則針對每個動作的輸入參數進行連續優化。

上層優化通過預篩選用戶可調用函數,確定一個可能導致漏洞的功能子集,然後生成和評估這些功能的動作序列。通過這種方式,Mamori.xyz 能夠有效減少需要檢測的路徑數量,從而加快搜索速度。在連續優化過程中,Mamori.xyz 採用粒子群優化(PSO)算法,通過模擬多個粒子在搜索空間中的移動,找到全局最優解。這種方法不僅提高了優化效率,還能夠處理復雜的非凸優化問題。而在狀態計算的加持下,Mamori.xyz 能夠在短時間內全面檢測智能合約的技術和經濟風險,提供快速、准確的漏洞識別和修復方案,確保合約在復雜環境中的安全運行。

Mamori.xyz 系統的用例

零日經濟漏洞檢測

Mamori.xyz 針對智能合約中潛在的零日經濟漏洞進行了深入的研究和優化。就像上文提到的那樣,傳統靜態分析工具在檢測經濟風險方面存在局限性,因爲它們往往側重於技術風險的識別,而忽略了復雜函數調用序列中可能隱藏的經濟漏洞。

Mamori.xyz 通過生成並執行一系列測試用例,模擬攻擊者可能採取的行動序列,觀察智能合約在不同狀態下的行爲變化。通過優化這些測試用例的輸入參數、算法解析技術建立智能合約序列,以及利用可復現的狀態計算技術,並結合創新的算法反饋機制,Mamori.xyz 有效地縮小了假陰性搜索範圍,提高了對經濟漏洞的檢測能力,以發現隱藏在復雜交易序列中的經濟漏洞,從而保護智能合約免受未知經濟攻擊的影響。

MEV 價值提取用例

Mamori.xyz 不僅聚焦於智能合約中的零日經濟漏洞檢測,還識別了傳統 MEV 與經濟風險之間的共性,將其視爲一個同質優化問題,這也使得 Mamori.xyz 的算法能夠擴展並服務於 MEV 搜索的角色,最大化其在實際應用中的效用。

Mamori.xyz 的核心優勢在於其能夠自動化地識別和利用智能合約中的套利機會,這些機會往往隱藏在復雜的交易序列和狀態轉換之中。Mamori.xyz 本身通過其先進的算法框架,能夠模擬不同的市場條件和交易場景,精確計算智能合約中的潛在 MEV 機會。通過分析智能合約的狀態依賴性和函數間的相互作用,生成一系列具有高潛在價值的測試用例。這些測試用例旨在探索智能合約在不同市場條件下的行爲邊界,揭示隱藏的套利機會,精確計算每個潛在交易序列的可提取價值。在連續的輸入空間內搜索最大化 MEV 的參數組合,爲市場參與者提供精確的 MEV 優化方案。

這對於礦工、交易者和其他市場參與者來說具有重要意義,因爲他們可以利用這些 MEV 機會來最大化其交易收益。

跨合約審計與集成

Mamori.xyz 通過其創新的架構和算法設計,能夠有效解決了跨合約審計的難題,提供了全面、深入的審計服務。

Mamori.xyz 的跨合約審計功能依賴於先進的靜態分析技術,以深入解析智能合約之間的依賴關系,包括函數調用、狀態變量共享等。通過構建跨合約依賴圖,Mamori.xyz 能夠清晰地展示不同合約之間的交互邏輯,爲後續的審計測試提供基礎。

基於 Mamori.xyz 的高度集成測試環境,系統能夠模擬了真實的區塊鏈網絡條件,如區塊高度、交易順序和 Gas 消耗等,還支持多合約的並行執行和交互測試。通過在這個環境中部署並執行測試用例,Mamori.xyz 能夠全面評估智能合約在跨合約場景下的行爲表現和潛在漏洞。

Mamori.xyz 先進的優化算法來生成跨合約測試用例,能夠綜合考慮了合約間的依賴關系、函數調用序列以及輸入參數的不同組合,以最大化漏洞暴露和經濟價值的挖掘。同時,Mamori.xyz 還利用反饋機制不斷優化測試用例,確保在有限的測試資源下獲得最佳的審計效果。

在審計過程中,Mamori.xyz 不僅關注代碼覆蓋率和功能覆蓋率等傳統指標,還引入了狀態覆蓋率和輸入空間覆蓋率等多維度評估標准。這些指標共同構成了對智能合約跨合約交互行爲的全面評估體系,幫助審計師和用戶更准確地了解合約的安全狀況。

值得一提的是,Mamori.xyz 的跨合約審計與集成功能還具有高度的靈活性和可擴展性。隨着 DeFi 生態系統的不斷發展和智能合約的持續演進,Mamori.xyz 能夠快速適應新的合約類型和交互模式,確保跨合約審計功能的持續有效性和前沿性。

總結

Mamori.xyz 在解決 DeFi 領域面臨的安全挑战方面現方面,正在展現出了非凡的潛力與優勢。

Mamori.xyz 的 ML 體系,通過融合先進的靜態分析技術、動態模擬測試環境、高級優化算法以及多維度評估體系,不僅有效覆蓋了傳統審計工具的盲點,更在跨合約審計與集成方面取得了突破性進展。

憑借其獨特的架構設計和靈活的定制能力,正在構建智能合約的安全審計領域的全新範式。它不僅能夠幫助开發者在合約部署前發現並修復潛在漏洞,還能在合約運行期間持續監控和評估其安全性能,爲 DeFi 生態系統的穩定性和用戶的資金安全提供了堅實的保障。

隨着 DeFi 市場的不斷擴張和智能合約應用的日益廣泛,它不僅是智能合約安全、MEV 等諸多領域的一次重要創新,更是推動鏈上領域健康、可持續發展的關鍵力量,Mamori.xyz 的出現無疑將爲整個行業注入了新的活力與信心。

0 好文章,需要你的鼓勵
了解更多區塊鏈一线報道,與作者、讀者更深入探討、交流,歡迎添加小助手QQ: 3150128700, 進入[金色財經讀者交流群]。
聲明:本文系金色財經原創稿件,版權屬金色財經所有,未經授權不得轉載,已經協議授權的媒體下載使用時須注明"稿件來源:金色財經",違者將依法追究責任。
本文作者: 黑色馬裏奧
打开金色財經App 閱讀全文 打开金色財經,閱讀體驗更佳 金色財經 > 黑色馬裏奧 > Mamori.xyz:基於機器學習的區塊鏈價值提取系統 免責聲明: 金色財經作爲开放的資訊分享平台,所提供的所有資訊僅代表作者個人觀點,與金色財經平台立場無關,且不構成任何投資理財建議。

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。


標題:Mamori.xyz:基於機器學習的區塊鏈價值提取系統

地址:https://www.globalstockvip.com/article/74675.html