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)