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领域的安全挑战。

DEFI8.61%
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 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)