代码漏洞、黑客、市场波动、套利者:DeFi 风险管理的范式

DeFi是指用智能合约实现的去中心化金融协议,包括资产交易、借贷、保险、各种衍生品等等;除信用服务外,现实中的金融服务都可以通过DeFi协议实现。这些协议都是去中心化、自动运转的,没有第三方机构在管理和维护,所以合约的风险控制便成为行业难题。

DeFi兼具了金融和科技双重属性,主要包含以下风险:

1. 代码风险。包括以太坊底层代码风险,智能合约代码风险,钱包代码风险等。比如当年著名的DAO事件,近期的Uniswap漏洞攻击问题,各类钱包被盗事件,都是代码风险造成的。

2. 业务风险。主要是业务设计过程中留有漏洞,被人合理攻击或操纵。比如当年FOMO3D被堵塞攻击,又比如dZx错误使用了不抗攻击的Uniswap预言机,被合理打压价格盗取资产,这类人称之为套利者。套利者对一个DeFi项目既有不利的一面,也有有利的一面。

美SEC专员Hester Peirce:SEC是监管机构,而不是执法机构:金色财经消息,美国证券交易委员会 (SEC) 专员Hester Peirce周二针对 SEC 加密执法小组新增 20 个新工作岗位的公告发表了质疑。她在推文中表示:“美国证券交易委员会是一个有执法部门的监管机构,而不是执法机构,为什么我们要在加密领域引领执法?”

此前消息,SEC周二早些时候宣布计划将其新命名的加密资产和网络部门(前称为网络部门)的人数从目前的 30 人增加到 50 人,并将该部门描述为负责“保护加密市场的投资者和网络相关的威胁”。[2022/5/4 2:48:48]

3. 市场波动风险。DeFi在设计时缺少一些应对变量,导致市场极端情况发生出现穿仓。比如MakerDao在312的表现,主要就是市场极端波动风险造成的。

彭斯已抵达拜登就职典礼现场 拜登也已抵达:CNN刚刚消息,彭斯已抵达拜登就职典礼现场,拜登也已抵达。(金十)[2021/1/21 16:38:19]

4. 预言机风险。预言机提供全局变量,是大部分DeFi的基础,如果预言机遭遇攻击或者出现停摆,则下游DeFi会陷入崩溃。我们认为预言机将成为未来DeFi最重要的基础设施,带有任何中心化风险的预言机,最终都会走向消亡。

5. “技术代理”风险。主要是指对智能合约和区块链不熟悉的普通用户,使用了中心化团队开发的“便利”交互工具,这一工具本身可能存在风险。

任何DeFi项目在设计时,都应将以上风险考虑进去。完整的流程不仅仅是文档内做好提示,还需要一些风险管理手段。这些手段大部分以去中心化的方式进行,少量以社区治理的方式完成(主要是指链上治理)。这里我们提出一个DeFi风险管理框架,主要分为事前、事中和事后:

事前:主要是对合约代码进行形式化验证,包含弄清楚合约使用的方法、资源甚至是指令的边界,以及这些方法、指令、资源在组合过程中的相关性影响,没有经过论证的方法或没有找到边界的组合坚决使用。这不是传统软件开发测试的思维,这是一个接近数学论证的理念。好的合约开发应该建立在已经论证过的方法组合上。

事中:事中主要是停机设计和异常触发设计,即合约对攻击行为能进行识别与干预,包含自动停机设计和治理停机设计。而异常触发是对合约运行过程中,超预期现象的一种控制管理;异常触发一般是自动的,通过异常触发修正一些风险管理变量。可以参见NEST预言机系统中的beta系数和防堵塞攻击设置,这是行业内率先考虑停机及异常触发的一个实践。

事后:事后风险管理包含几个部分,首先是代码出现漏洞,需要进行修正,一般通过链上治理,即DAO治理的方式。其次是治理资产本身遭遇攻击,此时需要进行合约分叉!这是一个行业忽视的盲点。其次是通过保险机制,对合约可能的风险进行保险,从而降低损失。最后,社区可以通过链上数据的追踪,与各类机构合作追踪损失。关于链上治理和合约分叉,可以参见NEST的设计,这是一个创新。

以上是我们对DeFi安全的一个系统框架,仅供大家参考。目前行业内对安全的理解,过于早期,也过于传统;如果不能转变思维,将边界、完备性、一致性、形式化验证、停机、异常触发、治理、分叉等新的思想引入,是不能适应未来发展的。

作者:NEST爱好者_九章天问

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

DOT“区块链+电子证照”应用上线 安徽省首个政务区块链平台搭建完成

新华网合肥5月8日电(记者 程士华)记者从安徽省数据资源管理局获悉,安徽省首个政务区块链平台近日搭建完成,作为首个应用场景的律师执业资格证“区块链+电子证照”应用正式同步上线安徽省政务服务网络平台,具有全程可追溯、提高可信度等作用。此举标志着区块链应用在安徽省政务服务领域正式落地。

AAVE以太坊又一里程碑 仅仅五年第1000万区块被挖出

据Decrypt5月4日报道,以太坊的矿工们在短短5年时间里总共挖出了1000万个区块。矿工挖出了以太坊的第1000万个区块,这是总市值排名第二的加密货币的一个重要里程碑。区块链浏览器 Etherscan的数据显示,在世界标准时间(UTC)5月4日下午01:22:13 ,矿工成功地挖出了以太坊网络的第1000万个区块。

ICP金色深度丨以史为鉴 比特币价格会在“减半”后下跌?

金色财经 区块链5月5日讯 比特币第三次区块奖励减半即将到来,在这一重要事件发生之前的几周,比特币价格再次大幅上涨。不过,从历史数据来看,在供应量改变之后,比特币可能会遭受暂时价格回调。 自3月13日触底价为3,867美元以来,作为市值最高的加密货币,比特币价格已上涨了130%以上。仅在四月的最后10天,比特币价格就从6700美元跃升至9400美元。

比特币交易所5.3早间行情:大盘区间盘整 主流币轮动机会来临

大盘再次陷入了缩量盘整走势,整理区间8600-9000美金,屡次触及9000美金回落,跌至8600-8700美金区间便止跌反弹,小时线级别在MA60均线之上运行,等待短、中、长期均线黏合。  盘整走势很好理解,刚刚收回3.12崩盘以来的跌幅,并顺势向上拉升,需要在此区间消化掉抛压盘和多空的充分换手后,才有力量展开接下来的行情。

[0:0ms0-8:147ms