随着DeFi的快速增长，提供DeFi服务的平台和产品也如雨后春笋般纷纷冒头。作为衡量DeFi协议管理资金规模的标准之一，DeFi“总锁仓量”在过去两年一路从100亿美元增长到超400亿美元，期间更是一度冲上1800亿美元的巅峰。但直到今天，智能合约编程语言功能并没有足够完善到可以安全地创建和管理资产。面对这头“房间里的大象”，我们无法选择视而不见，因为DeFi要想称为主流，编程语言就必须要具备“资产导向”功能，只有这样DeFi智能合约的开发才能更加安全和直观。
智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper:8月15日消息，智能合约安全分析项目Certora的形式验证服务已支持以太坊编程语言Vyper，使智能合约开发人员能够在部署代码后审计之前检测错误。[2023/8/15 21:23:39]
截至2022年11月，DeFi的总锁仓量。数据来源：DefiLlama
DeFi编程语言尚未融入“资产”概念
要想解决DeFi常年遭受黑客攻击的问题，编写“审计代码”就是一个很好的方法。如果细数历史上规模最大的十次DeFi黑客攻击，那么你会发现其中有9次都是由“未审计”惹的祸。所以从某种程度上来说，审计的确是一种避免攻击非常有效的方法。假如没有审计，那么即便在黑客攻击问题上投入再多的资源也无济于事。这就好比为了解决一辆方形轮胎汽车的性能问题而安装大量发动机一样，这样做虽然可以让它跑得更快一些，但是没有找到突破性能的关键点。
Starkware开源Cairo编程语言的最新版本:金色财经报道，区块链开发公司 Starkware 开源了其编程语言 Cairo 的新版本，Cairo 支持 Starkware 的Layer 2网络 StarkNet 和 StarkEx。根据一份声明，这是该语言自创建以来的第一个主要版本，新版本将很快被引入 StarkNet。[2022/11/25 8:06:15]
同理，如今的DeFi编程语言，比如Solidity，并没有融入“资产”这个概念。代币、NFT这类资产仅仅只是智能合约中的一个变量，而至于这些变量该如何被保护以及被验证则需要开发人员对每个智能合约进行重新定义。比如，该变量不应被使用两次；不应被未经授权用户耗尽；转移时应该始终保持平衡且净值为零。。。。。。
动态 | 以太坊智能合约编程语言新版本Solidity0.5.11已发布:据github数据显示，针对以太坊智能合约的编程语言新版本Solidity0.5.11已发布。据悉该版本更新了诸多功能，并能帮助开发者修复错误编码。[2019/8/16]
随着智能合约变得越来越复杂，所需的保护和验证也正在变得越来越复杂。然而，人无完人，金无赤足，发生错误在所难免，资产也会因此而丢失。就连DeFi领域最佳蓝筹协议之一的Compound也无法幸免于难。2021年9月，Compound智能合约中的一个Bug导致其错误分发了8000万美元代币，原本应通过该合约缓慢分发给所有流动性提供者的COMP代币被错误释放，部分用户收到了远高于正常数量的代币。
ErisX推出OTC加密交易结算服务:金色财经报道，Cboe Global Markets旗下的ErisX今天宣布，它已推出ErisX结算服务，这是一个新的解决方案，这是一种新的解决方案，旨在帮助消除场外交易 (OTC) 加密交易的结算风险。
新产品扩展了ErisX为机构投资者提供的工具套件，使他们能够使用透明的美国许可加密现货市场与其他ErisX客户结算场外交易。[2022/9/8 13:15:10]
连锁反应
智能合约之间的交互是通过发送消息到各合约来实现的。智能合约在收到消息之后会更新其内部变量列表，而结果则反映出了一个较为复杂的平衡过程。至于智能合约之间的所有交互是否能正确处理则完全取决于DeFi开发人员。由于Solidity和以太坊虚拟机在设计初期没有考虑到防护问题，因此DeFi开发人员必须在后期通过一定的设计来确保必需的防护和验证。
为了降低安全风险，DeFi开发人员几乎将所有时间都花在了确保代码安全上。那些开发人员表示，他们在写完代码后一定会进行反复仔细检查，甚至不惜花费高达90%的时间进行验证和测试，而只留下10%的时间在构建产品性能和功能上。令人费解的是，开发人员将自己的大部分时间都花在了与不安全代码作斗争上，再加之开发人员短缺，DeFi为何还能发展得如此之快？
很显然，尽管当今的可编程化货币存在着风险和挑战，但这种能够实现自我主权、无需许可以及自动化的可编程化货币仍然是无法阻挡的大趋势。我们可以想象一下，假如DeFi开发人员能够将他们的生产力集中在开发产品功能性方面而不是整天忙于处理各种漏洞，那么该有多少创新力量可以被释放出来。这种创新很可能会带来一个惊人的结果，那就是使一个刚刚起步的460亿美元行业颠覆一个468万亿美元的全球金融大行业。
2002年至2020年全球金融机构总资产。资料来源：Statista
创新与安全
DeFi要想做到既创新又安全，关键一点在于要为开发人员提供一种简单的方法来创建资产并与其进行交互，与此同时将基本功能转换为编程语言的原生功能。最重要的是，创建的任何资产都应始终具有可预测性并符合常识性财务原则。
其实，在以资产为导向的编程范例中，创建资产就像调用原生功能一样简单。平台知道什么是资产，比如.initial_supply_fungible创建了一个固定供应量为1000的同质化代币，而.take和.put等功能则从某个地方获取到代币后再将它们放置在其他地方。
在以资产为导向的的编程中，任何人都会很自然地期望有关DeFi的基础操作已包含进了该语言的原生功能，而不是开发人员通过编写复杂的程序来指示智能合约用错误检查来更新变量列表。在这种情况下，有了以资产为导向的编程来做保证，代币就不会丢失或被耗尽。
以上就是在DeFi领域获得创新和安全性的方法。只有一切以资产为导向，来自主流的看法才会又所改变，人们也才会从远远观望这个令人生畏的DeFi转变为争先恐后地要将自己的资产投入其中。不然，你就输了。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。