KeyFrame內部研究專用

A deep dive into DeFi liquidations | Viktor Yurov (MixBytes)

DeFi Security Summit - DSS·12月21日週六·10 min英文

三句話摘要

DeFi協議清算邏輯在閃現崩潰中的演進與優化策略。 不同的清算架構設計(批量交易、軟清算、Tick分組)在閃現崩潰中各有優劣,協議需根據市場結構與資本效率權衡選擇最適方案。 閃現崩潰的連鎖機制:價格快速下跌→自動清算觸發→被迫拋售加劇→流動性枯竭→不良債務累積。流動性不足導致預言機更新延遲,清算觸發不準確,網路擁堵推高gas成本,整個過程加速市場崩潰。

重點整理

重點
  • 1

    閃現崩潰的連鎖機制:價格快速下跌→自動清算觸發→被迫拋售加劇→流動性枯竭→不良債務累積。流動性不足導致預言機更新延遲,清算觸發不準確,網路擁堵推高gas成本,整個過程加速市場崩潰。

  • 2

    傳統清算的經濟困境:Aave等協議逐個清算持倉,在高volatility與網路壅塞期間gas成本極高,對小額倉位在經濟上不可行,導致大量壞賬無法清算,用戶損失加劇。

  • 3

    Curve的軟清算方案:LLAMA機制將多用戶的未清算債務分組到價格帶(Band)中,通過逐步用擔保品交換Curve USD而非一次性拋售,降低市場衝擊、減少gas費用、讓清算更易管理。

  • 4

    Fluid的Tick聚合方案:將多個位置按價格範圍聚合到同一Tick進行集中評估,支援不良債務吸收機制,防止清算員執行虧損清算,但不支持同市場多資產組合。

實用技巧與重點

乾貨
  • MixBytes背景
  • 自2017年以來進行250+次審計,服務60+客戶
  • 90%客戶回訪進行代碼更新與新協議版本
  • 閃現崩潰的影響要素
  • 資產價格急速下跌
  • 負面新聞、大額拋售或低流動性觸發
  • 流動性枯竭導致形成資訊不對稱
  • 改進方案對比
  • Aave (傳統方案)
  • 逐個清算位置
  • 支持多種擔保品
  • 第三版允許用戶選擇債務與擔保品
  • 劣勢:高gas費、執行速度慢、對小倉不可行
  • Curve USD (LLAMA機制)
  • 軟清算方式
  • 擔保品分段到不同價格區間(Bands)
  • 用戶可選擇帶數量
  • 啟用套利與擔保品重新平衡
  • 更低gas費
  • 限制:僅支持隔離市場
  • Fluid (Tick方案)
  • 多位置按價格範圍分組到Tick
  • 價格超出範圍時集中評估該Tick所有位置
  • 不良債務吸收邏輯
  • 防止虧損清算
  • 限制:不支持同市場多資產

結論

結論

不同的清算架構設計(批量交易、軟清算、Tick分組)在閃現崩潰中各有優劣,協議需根據市場結構與資本效率權衡選擇最適方案。

完整解析

詳細

MixBytes高級審計師Victor Uru在此次演講中深入探討了DeFi協議在面臨閃現崩潰時的清算邏輯設計挑戰。他首先定義了問題背景:閃現崩潰是資產價格的急速下跌,通常由負面新聞、大額拋售訂單或流動性不足引發。這類事件會觸發一連串連鎖反應——價格下跌導致持倉被標記為未清算,自動清算機制啟動,大量強制拋售進一步加劇價格下滑,流動性乾涸,預言機延遲更新,最終導致壞賬積累。

傳統DeFi協議如Aave採用逐個清算單一持倉的模式,雖然邏輯簡單且透明,支持多種擔保品,但在高波動性與網路壅塞期間面臨重大經濟困境。單個清算交易的gas成本極高,在市場動盪時變得完全無利可圖,導致小額持倉無人清算,大量不良債務堆積,系統風險上升。

為解決這個問題,Curve引入了LLAMA機制(對應Curve USD協議),其創新之處在於將多用戶的未清算債務分組到不同價格帶中。清算不再是一次性拋售,而是通過逐步交換擔保品與Curve USD,分散市場衝擊,同時大幅降低gas成本。用戶可以選擇所需的帶數量,系統還支持套利機會與動態擔保品重新平衡,使清算過程更溫和、更可控。

Fluid則採取了另一種思路——Tick分組機制。它將多個持倉按價格範圍聚合到同一Tick,當擔保品價格移動到Tick範圍外時,系統集中評估該Tick內所有位置的抵押率。若綜合擔保品跌至必需的清算閾值,Fluid啟動整個Tick的清算。更值得注意的是,Fluid內建了不良債務吸收邏輯:當資產價格跌至某個檻值且清算不再有利可圖時,協議自身吸收這些虧損清算,防止清算員被迫執行無利可圖的交易。

隨著DeFi市場持續成長,改進清算機制的效率、降低對用戶的衝擊已成為協議設計的關鍵優先級。

關鍵時刻

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