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領域的安全挑戰。

DEFI-9.52%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 5
  • 分享
留言
0/400
DEX罗宾汉vip
· 07-29 07:58
智能合约坑得我晕头转向
回復0
SerumSquirtervip
· 07-28 16:13
代码都被盯死了还出这么多事
回復0
共识机器人vip
· 07-28 16:10
安全风险真的反复割韭菜啊
回復0
NFT深呼吸vip
· 07-28 16:02
讲这么多 还不是嫌没跑路快
回復0
数据酸菜鱼vip
· 07-28 16:00
喝醉的聪明会被送进笨蛋监狱
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)