DeFi風險管理新思維:從形式化驗證到鏈上治理

DeFi風險管理:從傳統思維到創新框架

去中心化金融(DeFi)是基於智能合約的金融協議,涵蓋了資產交易、借貸、保險和各類衍生品等領域。除了信用服務,現實世界中的大多數金融服務都可以通過DeFi協議實現。這些協議的特點是去中心化和自動運行,沒有中央機構進行管理和維護,因此合約的風險控制成爲了行業面臨的一大挑戰。

DeFi具有金融和科技的雙重屬性,主要面臨以下幾類風險:

  1. 代碼風險:包括以太坊底層代碼、智能合約代碼和錢包代碼等方面的風險。歷史上的DAO事件、近期的某DEX漏洞攻擊問題,以及各種錢包被盜事件都屬於這一類。

  2. 業務風險:主要源於業務設計過程中的漏洞,可能被人合理利用或操縱。例如,FOMO3D遊戲被堵塞攻擊,以及某借貸平台錯誤使用了易受攻擊的價格預言機,導致資產被盜取。這類行爲的實施者通常被稱爲"套利者",他們對DeFi項目既有不利影響,也有積極作用。

  3. 市場波動風險:由於DeFi設計時缺乏應對某些變量的機制,在市場極端情況下可能出現穿倉。2020年3月12日某穩定幣項目的表現就是一個典型例子。

  4. 預言機風險:預言機作爲提供全局變量的關鍵組件,是大多數DeFi項目的基礎。如果預言機遭受攻擊或停止運作,依賴它的DeFi項目可能會崩潰。預言機將成爲未來DeFi最重要的基礎設施,而帶有中心化風險的預言機最終可能會被淘汰。

  5. "技術代理"風險:指不熟悉智能合約和區塊鏈技術的普通用戶使用中心化團隊開發的"便利"交互工具時可能面臨的風險。

在設計DeFi項目時,應當考慮上述所有風險因素。完善的風險管理不僅需要在文檔中做出提示,還需要採取具體的管理措施。這些措施大多應以去中心化的方式實施,少數可通過社區治理(主要是鏈上治理)完成。

以下是一個DeFi風險管理框架,分爲事前、事中和事後三個階段:

事前:主要是對合約代碼進行形式化驗證,包括明確合約使用的方法、資源和指令的邊界,以及這些元素在組合過程中的相互影響。未經論證的方法或未確定邊界的組合都不應使用。這種方法更接近數學論證,而非傳統軟件開發測試。

事中:重點是停機設計和異常觸發設計。合約應能識別和幹預攻擊行爲,包括自動停機和治理停機設計。異常觸發則是對合約運行中出現超預期現象的控制管理,通常是自動的,通過觸發機制修正風險管理變量。

事後:包括幾個方面。首先是修正代碼漏洞,通常通過鏈上治理(DAO治理)完成。其次是應對治理資產遭受攻擊的情況,可能需要進行合約分叉。此外,還可以通過保險機制降低潛在損失,以及利用鏈上數據追蹤與相關機構合作追回損失。

目前,行業對DeFi安全的理解仍處於早期階段,且過於傳統。要適應未來發展,需要引入邊界、完備性、一致性、形式化驗證、停機、異常觸發、治理和分叉等新思想。只有轉變思維,才能更好地應對DeFi領域的安全挑戰。

DEFI10.14%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 5
  • 分享
留言
0/400
GasGasGasBrovip
· 07-17 21:19
风控就是给黑客发大红包啊
回復0
盲盒开启师vip
· 07-15 15:51
又要割韭菜了
回復0
GateUser-aa7df71evip
· 07-15 15:50
智商在线的韭菜才有资格被割
回復0
链上小透明vip
· 07-15 15:36
又玩漏洞是吧
回復0
熊市朝阳人vip
· 07-15 15:35
听君一席话,不如风控到位嗲
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)