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