金色观察 | 编程语言如何推动DeFi成为主流?

金色财经 区块链11月27日讯 随着DeFi的快速增长,提供DeFi服务的平台和产品也如雨后春笋般纷纷冒头。作为衡量DeFi协议管理资金规模的标准之一,DeFi“总锁仓量”在过去两年一路从100亿美元增长到超400亿美元,期间更是一度冲上1800亿美元的巅峰。但直到今天,智能合约编程语言功能并没有足够完善到可以安全地创建和管理资产。面对这头“房间里的大象”,我们无法选择视而不见,因为DeFi要想称为主流,编程语言就必须要具备“资产导向”功能,只有这样DeFi智能合约的开发才能更加安全和直观。

截至 2022 年 11 月,DeFi 的总锁仓量。数据来源: DefiLlama

金色午报 | 12月18日午间重要动态一览:7:00-12:00关键词:美国财政部、俄罗斯议员、灰度、Warp Finance

1.美国财政部即将出台新的自托管加密钱包交易报告规则;

2.俄罗斯议员试图通过新法案将电子支付和加密货币进一步分离;

3.灰度明年将推出新的加密货币商业广告;

4.莱特币挖矿难度较6周前上升34%;

5.持有至少百万美元钱包本周增至66,540 增长了150%;

6.以太坊2.0质押流动性解决方案Lido上线治理工具Lido DAO;

7.DeFi协议Warp Finance遭遇闪电贷攻击约800万美元被盗;

8.分析:Warp Finance攻击者通过闪电贷铸造LP代币清算其USDC和DAI金库;

9.英国FCA现仅通过4家加密公司注册 100多家注册申请被通知评估无法按时完成。[2020/12/18 15:40:02]

DeFi编程语言尚未融入“资产”概念

金色晨讯 | 1月12日隔夜重要动态一览:21:00-7:00关键词:欧盟、济南、联盟区块链系统、以太坊2.0、比特币地址

1. 欧盟专员:欧盟正在制定有关加密类资产和稳定币的规则。

2. 北京经信局:北京市60个单位1000余个处室都已上链。

3. 深圳区块链企业近4000家,首个市级区块链协会挂牌。

4. 济南正式发布全国人力资本产业公共服务平台联盟区块链系统。

5. 以太坊2.0协调员发布ETH 2.0规范版本0.1的最终版本。

6. 2019年BTC每天新增超30万个地址。

7. BTC现报8027美元,近24小时下跌0.14%,市值为1455.02亿美元。[2020/1/12]

要想解决DeFi常年遭受黑客攻击的问题,编写“审计代码”就是一个很好的方法。如果细数历史上规模最大的十次DeFi黑客攻击,那么你会发现其中有9次都是由“未审计”惹的祸。所以从某种程度上来说,审计的确是一种避免攻击非常有效的方法。假如没有审计,那么即便在黑客攻击问题上投入再多的资源也无济于事。这就好比为了解决一辆方形轮胎汽车的性能问题而安装大量发动机一样,这样做虽然可以让它跑得更快一些,但是没有找到突破性能的关键点。

金色相对论 | 江恩:狗狗币创始人曾宣布退出币圈的原因是受不了粉丝的谩骂:在本次金色相对论上,针对狗狗币创始人Jackson Palmer曾宣布暂退币圈的问题,中国狗狗币协会会长江恩表示:对于狗狗币创始人称的币圈有,当时是因为狗狗币价格长期走低,从13年的最高1分五,跌到最低5毫多,很多人一直在骂创始人,所以创始人受不了大量粉丝的漫骂。对于\"温床局\"我是觉得,数字货币确实有非常多的子币,空气币,币,也吸引了很多的投机分子,数字货币目前还处在发展初期,这些都是非常正常的,反而可以看到数字货币的吸引力与魅力,在我看来,数字货币号称是人类的第四次革命一点也不为过,数字货币非常的伟大,确实可以影响到整个人类未来的发展方向。我们一定要开放性思维,自觉维护数字货币里正量能的,去除一些发展过程中带来的瘤。[2019/4/8]

同理,如今的DeFi编程语言,比如Solidity,并没有融入“资产”这个概念。代币、NFT这类资产仅仅只是智能合约中的一个变量(可以被更改的数字,如以太坊的ERC-20),而至于这些变量该如何被保护以及被验证则需要开发人员对每个智能合约进行重新定义。比如,该变量不应被使用两次;不应被未经授权用户耗尽;转移时应该始终保持平衡且净值为零。。。。。。

金色财经讯:前豆丁网CTO、比特币交易平台OKCoin创始人徐明星在完成对新三板挂牌企业华证联的收购,并于8月份正式出任董事长后,燃起了“第一把火”。10月24日,华证联发布挂牌之后的第一次股票发行方案,拟向非特定对象以2.30元-2.90元/股的价格发行不超过340万股,募资不超过986万元。[2017/10/27]

随着智能合约变得越来越复杂,所需的保护和验证也正在变得越来越复杂。然而,人无完人,金无赤足,发生错误在所难免,资产也会因此而丢失。就连DeFi领域最佳蓝筹协议之一的Compound也无法幸免于难。2021年9月,Compound智能合约中的一个Bug导致其错误分发了8000万美元代币,原本应通过该合约缓慢分发给所有流动性提供者的COMP代币被错误释放,部分用户收到了远高于正常数量的代币。

连锁反应

智能合约之间的交互(如代币之间的交换)是通过发送消息到各合约来实现的。智能合约在收到消息之后会更新其内部变量列表,而结果则反映出了一个较为复杂的平衡过程。至于智能合约之间的所有交互是否能正确处理则完全取决于DeFi开发人员。由于Solidity和以太坊虚拟机(EVM)在设计初期没有考虑到防护问题,因此DeFi 开发人员必须在后期通过一定的设计来确保必需的防护和验证。

为了降低安全风险,DeFi 开发人员几乎将所有时间都花在了确保代码安全上。那些开发人员表示,他们在写完代码后一定会进行反复仔细检查,甚至不惜花费高达90%的时间进行验证和测试,而只留下10%的时间在构建产品性能和功能上。令人费解的是,开发人员将自己的大部分时间都花在了与不安全代码作斗争上,再加之开发人员短缺,DeFi为何还能发展得如此之快?

很显然,尽管当今的可编程化货币存在着风险和挑战,但这种能够实现自我主权、无需许可以及自动化的可编程化货币仍然是无法阻挡的大趋势。我们可以想象一下,假如DeFi开发人员能够将他们的生产力集中在开发产品功能性方面而不是整天忙于处理各种漏洞,那么该有多少创新力量可以被释放出来。这种创新很可能会带来一个惊人的结果,那就是使一个刚刚起步的460亿美元行业颠覆一个468万亿美元的全球金融大行业。

2002年至2020年全球金融机构总资产。资料来源:Statista

创新与安全

DeFi要想做到既创新又安全,关键一点在于要为开发人员提供一种简单的方法来创建资产并与其进行交互,与此同时将基本功能转换为编程语言的原生功能。最重要的是,创建的任何资产都应始终具有可预测性并符合常识性财务原则。

其实,在以资产为导向的编程范例中,创建资产就像调用原生功能一样简单。平台知道什么是资产,比如 .initial_supply_fungible(1000)创建了一个固定供应量为1000的同质化代币(除了供应之外,还有更多的代币配置选项可用),而.take和.put等功能则从某个地方获取到代币后再将它们放置在其他地方。

在以资产为导向的的编程中,任何人都会很自然地期望有关DeFi的基础操作已包含进了该语言的原生功能,而不是开发人员通过编写复杂的程序来指示智能合约用错误检查来更新变量列表。在这种情况下,有了以资产为导向的编程来做保证,代币就不会丢失或被耗尽。

以上就是在DeFi领域获得创新和安全性的方法。只有一切以资产为导向,来自主流的看法才会又所改变,人们也才会从远远观望这个令人生畏的DeFi转变为争先恐后地要将自己的资产投入其中。不然,你就输了。

本文部分内容编译自cointelgraph

金色早8点

去中心化金融社区

CertiK中文社区

虎嗅科技

区块律动BlockBeats

念青

深潮TechFlow

Odaily星球日报

腾讯研究院

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

银河链

Filecoin一文速览:HK虚拟资产持牌规范

撰文:肖飒法律团队 自 11 月香港财经事务与库务局(财库局)正式发布了《有关香港虚拟资产发展的政策宣言》,标志着香港作为我国最为国际化、经济活动最频繁的金融地区之一,正式加入了竞争世界虚拟资产中心的大潮中.

[0:0ms0-1:664ms