DeFi全面風控框架:從事前形式驗證到事後治理分叉

DeFi的風險管理:從事前到事後的全面框架

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

DeFi具有金融和科技的雙重屬性,主要存在以下幾種風險:

  1. 代碼風險:包括以太坊底層代碼、智能合約代碼以及錢包代碼等方面的風險。歷史上出現過DAO事件、最近的某DEX漏洞攻擊問題,以及各種錢包被盜事件,都屬於代碼風險導致的後果。

  2. 業務風險:主要指在業務設計過程中存在漏洞,被人合理利用或操縱。例如早期的FOMO3D被堵塞攻擊,以及某項目錯誤使用了易受攻擊的預言機,導致資產被盜取等情況。這類行爲的實施者通常被稱爲"套利者"。套利者對DeFi項目既有不利影響,也可能帶來一定的積極作用。

  3. 市場波動風險:許多DeFi項目在設計時未充分考慮應對極端市場情況的措施,導致在劇烈波動時可能出現穿倉。比如某借貸平台在2020年3月12日市場大跌時的表現,就是典型的市場極端波動風險造成的問題。

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

  5. "技術代理"風險:主要指不熟悉智能合約和區塊鏈技術的普通用戶,使用了由中心化團隊開發的"便利"交互工具,而這些工具本身可能存在潛在風險。

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

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

事前:主要是對合約代碼進行形式化驗證,包括明確合約使用的方法、資源甚至指令的邊界,以及這些元素在組合過程中的相互影響。未經充分論證的方法或邊界不明確的組合都不應該使用。這種方法不同於傳統軟件開發中的測試思維,更接近於數學論證的理念。優秀的合約開發應該建立在已經經過論證的方法組合之上。

事中:主要包括停機設計和異常觸發設計,即合約能夠識別和幹預潛在的攻擊行爲,包括自動停機設計和治理停機設計。異常觸發則是對合約運行過程中出現超出預期現象的一種控制管理機制,通常是自動觸發的,用於調整一些風險管理變量。

事後:事後風險管理包括幾個方面。首先,如果發現代碼漏洞,需要通過鏈上治理(即DAO治理)的方式進行修正。其次,如果治理資產本身遭受攻擊,可能需要進行合約分叉,這是一個often被忽視的重要環節。此外,還可以通過保險機制來降低可能的損失風險。最後,社區可以利用鏈上數據追蹤,與各類機構合作追查損失。

目前行業內對安全的理解仍處於較爲早期和傳統的階段。要適應未來的發展,需要轉變思維,引入邊界、完備性、一致性、形式化驗證、停機、異常觸發、治理、分叉等新概念和方法。只有這樣,才能構建一個更加安全、穩健的DeFi生態系統。

DEFI-6.99%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 6
  • 分享
留言
0/400
HackerWhoCaresvip
· 08-02 11:16
代码安全是重中之重
回復0
链上小透明ervip
· 08-01 15:22
安全才能活得更久
回復0
GateUser-c799715cvip
· 08-01 15:13
代码安全永远第一
回復0
AltcoinOraclevip
· 08-01 14:59
风险阿尔法已检测到。看涨。
查看原文回復0
RegenRestorervip
· 08-01 14:54
安全性最关键了
回復0
ShibaMillionairen'tvip
· 08-01 14:54
代码才是核心啊
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)