作者：NEST爱好者_九章天问
DeFi是指用智能合约实现的去中心化金融协议，包括资产交易、借贷、保险、各种衍生品等等；除信用服务外，现实中的金融服务都可以通过DeFi协议实现。这些协议都是去中心化、自动运转的，没有第三方机构在管理和维护，所以合约的风险控制便成为行业难题。
DeFi兼具了金融和科技双重属性，主要包含以下风险：
推特前iOS工程师：披露Signal协议代码系其四年前所编写:金色财经报道，推特前iOS工程师Brandon Carpenter在社交媒体发文称，推特用户Jane Manchun Wong（@wongmjane）披露的推特集成Signal协议代码是他四年前写的，并表示可能是某人将这些代码发送给伊隆·马斯克进行代码复核（code reviews）或其他原因才重新被披露出来。Brandon Carpenter表示，如果有人因为这些代码“不符合标准”而被开除，他概不负责。
此前消息，推特2.0或将集成Signal协议推出加密私信功能。[2022/11/27 21:05:09]
1.代码风险。包括以太坊底层代码风险，智能合约代码风险，钱包代码风险等。比如当年著名的DAO事件，近期的Uniswap漏洞攻击问题，各类钱包被盗事件，都是代码风险造成的。
以太坊核心开发者：正在从以太坊代码库中删除Whisper:以太坊核心开发者Péter Szilágyi刚刚发推称，正在从以太坊代码库中删除Whisper，并打算将其移至对应存储库存档。据悉，Whisper是以太坊的一个通用的分布式通信协议，此前主要用于网络信息传送。[2020/7/22]
2.业务风险。主要是业务设计过程中留有漏洞，被人合理攻击或操纵。比如当年FOMO3D被堵塞攻击，又比如dZx错误使用了不抗攻击的Uniswap预言机，被合理打压价格盗取资产，这类人称之为套利者。套利者对一个DeFi项目既有不利的一面，也有有利的一面。
动态 | 加密资产Nym公布分散式身份识别系统新代码 可与Facebook登录应用程序竞争:据CoinDesk 消息，专注于隐私的Nym技术公司本周公布了其分散式身份识别系统的新代码。它计划在今年秋天发布测试网。周二在柏林举行的Web3峰会上，Nym首席执行官Harry Halpin表示，这项技术代表了“下一代隐私基础设施”，不仅适用于区块链，而且适用于整个网络。实际上，Halpin认为，Nym网络的一个关键特性就是它是区块链无关的。Halpin说:“我们正在开源我们的实现，它内置了与以太坊区块链的通信。”“我们允许将以太坊区块链中特定令牌的值转换为Nym凭据。”如果成功，这一举措将把Nym的数据屏蔽功能带给世界上几乎任何区块链平台的隐私用户。Halpin认为，Nym可以与Facebook及其单一登录应用程序Facebook Connect竞争，将用户数据隐私重新交到用户手中。[2019/8/22]
3.市场波动风险。DeFi在设计时缺少一些应对变量，导致市场极端情况发生出现穿仓。比如MakerDao在312的表现，主要就是市场极端波动风险造成的。
声音 | 郭达峰：DApp 开发者可以通过代码设计高效使用RAM:EOS Asia 的郭达峰在《EOSLaoMao · 宁话区块链》的节目中称“ DApp 开发者可以通过代码设计高效使用内存（RAM），即只在内存里存少量必要的数据。EOS Asia 在开发 DApp 时就特别为内存使用量进行优化。比如我们正在孵化的广告行业区块链解决方案TXT项目就需要储存大量的数据，对于这些数据我们并不会储存到内存（RAM），而是设计了一套第二层的储存链。通过这种方式，TXT只需要把大部分数据都存到了储存链，对主链的内存需求就大大减少了。”[2018/7/25]
4.预言机风险。预言机提供全局变量，是大部分DeFi的基础，如果预言机遭遇攻击或者出现停摆，则下游DeFi会陷入崩溃。我们认为预言机将成为未来DeFi最重要的基础设施，带有任何中心化风险的预言机，最终都会走向消亡。
5.“技术代理”风险。主要是指对智能合约和区块链不熟悉的普通用户，使用了中心化团队开发的“便利”交互工具，这一工具本身可能存在风险。
任何DeFi项目在设计时，都应将以上风险考虑进去。完整的流程不仅仅是文档内做好提示，还需要一些风险管理手段。这些手段大部分以去中心化的方式进行，少量以社区治理的方式完成。这里我们提出一个DeFi风险管理框架，主要分为事前、事中和事后：
事前：主要是对合约代码进行形式化验证，包含弄清楚合约使用的方法、资源甚至是指令的边界，以及这些方法、指令、资源在组合过程中的相关性影响，没有经过论证的方法或没有找到边界的组合坚决使用。这不是传统软件开发测试的思维，这是一个接近数学论证的理念。好的合约开发应该建立在已经论证过的方法组合上。
事中：事中主要是停机设计和异常触发设计，即合约对攻击行为能进行识别与干预，包含自动停机设计和治理停机设计。而异常触发是对合约运行过程中，超预期现象的一种控制管理；异常触发一般是自动的，通过异常触发修正一些风险管理变量。可以参见NEST预言机系统中的beta系数和防堵塞攻击设置，这是行业内率先考虑停机及异常触发的一个实践。
事后：事后风险管理包含几个部分，首先是代码出现漏洞，需要进行修正，一般通过链上治理，即DAO治理的方式。其次是治理资产本身遭遇攻击，此时需要进行合约分叉！这是一个行业忽视的盲点。其次是通过保险机制，对合约可能的风险进行保险，从而降低损失。最后，社区可以通过链上数据的追踪，与各类机构合作追踪损失。关于链上治理和合约分叉，可以参见NEST的设计，这是一个创新。
以上是我们对DeFi安全的一个系统框架，仅供大家参考。目前行业内对安全的理解，过于早期，也过于传统；如果不能转变思维，将边界、完备性、一致性、形式化验证、停机、异常触发、治理、分叉等新的思想引入，是不能适应未来发展的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。