KeyFrame內部研究專用

AI-Driven Prevention of Malicious Blockchain Transactions | Carlos Salort Sanchez (Forta)

DeFi Security Summit - DSS·1月21日週二·24 min英文

三句話摘要

Fora 基金會如何以「無狀態」AI 防火牆在交易上鏈前即時攔截區塊鏈攻擊,無需修改協議或停機。 僅看單筆交易本身(無狀態)的 AI 防火牆,不需要歷史上下文也能達到 99.8% 的攻擊偵測率,且速度快到足以在交易執行前完成攔截,是目前最具實用性的區塊鏈主動防禦架構。 偵測與預防是兩回事:以往能識別攻擊者但缺乏機制實際攔截,停止整個協議又過於極端,需要更精細的中間方案。

重點整理

重點
  • 1

    偵測與預防是兩回事:以往能識別攻擊者但缺乏機制實際攔截,停止整個協議又過於極端,需要更精細的中間方案。

  • 2

    無狀態分析是速度關鍵:有狀態分析需要查詢地址歷史、資金來源、合約行為等外部資料,每筆交易增加數百毫秒延遲;無狀態方法只用交易本身的輸入、日誌與 trace,速度快且可規模化到全鏈汙集。

  • 3

    MLOPS 迭代閉環確保模型持續進化:評估→找出失敗案例→補充數據模型特徵→重新訓練,讓模型不斷學習新型攻擊模式,誤報也能在下一輪迭代中修正。

  • 4

    風險評分讓防禦策略可配置:模型輸出 0–1 分而非二元判斷,使用者可依風險承受度自訂閾值(保守攔截設 0.5,高確信攔截設 0.8),在誤報與漏報之間取得平衡。

實用技巧與重點

乾貨
  • 系統名稱:Fora Foundation AI 防火牆(Firewall)
  • 模型類型:深度學習模型(非 LLM),監督式學習
  • 輸入資料:交易 sender、recipient、calldata、區塊鏈狀態、交易日誌、trace(全部來自單筆交易本身)
  • 訓練資料集規模:數十萬筆攻擊交易 + 數萬筆正常交易
  • 輸出:風險評分 0(安全)至 1(攻擊)
  • 推薦攔截閾值:0.8 以上(高確信攻擊)
  • 實測結果(9 月數據):
  • 鏈上攻擊總損失約 4000 萬美元
  • 系統偵測率:99.8% 的損失交易
  • 理論可防禦損失:約 3990 萬美元
  • 誤報率(Rollup 層):約 每 15 萬筆交易 1 次,主網全天約 10 次
  • Arbitrum 實測:約 45 萬筆交易僅 1 次誤報
  • 協議層誤報頻率:約每 3 個月 1 次
  • 整合方式:低摩擦,支援 Rollup 用戶與協議用戶兩種接入模式,設定閾值後全自動篩選
  • 管理介面:儀表板可查看被攔截交易並人工確認誤報
  • 發表場合:Devcon,研討會時間 下午 3:30

結論

結論

僅看單筆交易本身(無狀態)的 AI 防火牆,不需要歷史上下文也能達到 99.8% 的攻擊偵測率,且速度快到足以在交易執行前完成攔截,是目前最具實用性的區塊鏈主動防禦架構。

完整解析

詳細

區塊鏈安全領域長期存在一個落差:我們愈來愈擅長「發現」攻擊,卻始終難以「阻止」攻擊。Fora 基金會的 Carlos 指出,早期的機器學習監控系統確實能識別可疑地址與惡意行為,但充其量只能發出警告;若要真正阻止攻擊,唯一的選項是暫停整個協議,這在實際操作上過於極端,且會嚴重影響正常用戶。更棘手的是,即便偵測到攻擊,系統反應時往往已有資金受損,因為鏈上交易的速度遠快於人工介入的速度。

為了填補「偵測」與「預防」之間的鴻溝,Fora 開發了一套 AI 防火牆,其核心設計哲學是「無狀態分析」。傳統的有狀態分析需要查詢攻擊者的資金來源、歷史行為、部署合約內容等鏈上背景資訊,這些查詢不可避免地帶來數百毫秒的延遲,在需要覆蓋整條鏈的規模下根本行不通。無狀態方法則截然不同:系統只觀察「這一筆交易本身」——包含 sender、recipient、calldata、交易日誌與 trace——完全不依賴任何外部歷史狀態。這樣做雖然捨棄了部分上下文資訊,但換來了可以即時、大規模處理每一筆交易的速度,而這正是「攔截」所必須具備的條件。

模型的訓練遵循標準監督式學習流程,但關鍵在於特徵工程(數據建模)與 MLOPS 迭代閉環的結合。工程師從最簡單的特徵出發——例如「這筆交易誰獲利最多、獲利多少、交易複雜度如何」——建立基準模型後,透過評估數百萬筆正常交易來找出失敗案例,再針對失敗案例補充新特徵(如「有三個地址同時獲利」),重新訓練並再次評估。這個循環不斷重複,直到模型性能達到可接受水準。更重要的是,這個 MLOPS 閉環在部署後仍持續運作:每當客戶回報誤報,該案例就會被納入下一輪訓練,確保模型隨時間持續進化。

最終模型的輸出是一個 0 到 1 的連續風險評分,而非單純的二元判定。這個設計給了使用者靈活的配置空間——風險承受度低的協議可設定 0.5 為閾值,確保絕不放過任何可疑交易;注重流量的應用則可設定 0.8,只攔截極高確信度的攻擊。9 月的實測數據印證了這套系統的效果:在當月約 4000 萬美元的攻擊損失中,系統偵測到了 99.8% 的攻擊交易,理論上可防禦 3990 萬美元的損失;在 Arbitrum 上,約 45 萬筆交易中僅出現 1 次誤報,且那筆唯一被標記為高風險的交易,恰好正是一次真實攻擊。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵