以太坊2.0存储合约进入形式验证阶段,信标链测试网浏览器上线_以太坊:DEF

据Trustnodes12月6日报道,以太坊2.0协调员丹尼·瑞安表示,以太坊2.0的存储合约似乎还不太可能在本月推出,因为有关报告尚未发布。

图片来源:pixabay

DeFi平台Indefibank正在开发基于以太坊的代币化加密卢布,预计10月推出:9月18日消息,DeFi平台Indefibank的首席执行官Sergey Mendeleev在Blockchain Life 2022会议上宣布,正在开发基于以太坊的代币化加密卢布,将与俄罗斯法定货币挂钩,用户可以通过在智能合约上用稳定币或加密货币抵押来独立发行加密卢布,也可以从授权的交易所购买。代币的开发人员已经准备好MVP ,最终产品预计将在10月发布。如果货币当局反对使用卢布一词,该公司将会更改加密货币的名称。[2022/9/18 7:04:19]

丹尼·瑞安说道:

以太坊L2网络总锁仓量达到56.68亿美元:金色财经报道,L2BEAT数据显示,截至1月3日,以太坊Layer2上总锁仓量已达到56.68亿美元。其中锁仓量最高的为扩容方案Arbitrum,约25.3亿美元,占比44.54%。其次是dYdX,锁仓量为9.79亿美元,占比17.22%。[2022/1/3 8:20:44]

“RuntimeVerificaton将在本月内发布其完整的形式验证、分析和报告。一旦发布,我们就可以部署合约。

声音 | Vitalik Buterin:可伸缩性、隐私性和可用性是以太坊的三大发展重点:据Invest In Blockchain消息,以太坊联合创始人Vitalik Buterin在与Abra首席执行官Bill Barhydt交流时分享了以太坊的三大发展重点:可伸缩性、隐私性以及可用性。其表示,以太坊网络需要每秒处理100,000笔交易才能成为未来可行的平台。此外,Vitalik Buterin还表达自己对比特币作为一种价值储存手段将如何发挥作用的看法,其认为如果比特币的意图是充当一种货币,那么转向“权益证明”(Proof-of-Stake)会更好。[2019/3/21]

在我们通过一个公共的多客户端测试网来检查这个过程之前,我有点犹豫要不要部署正式合约。也就是说,我不认为该组件会有什么特别的问题,因为有许多单客户端测试网正在按原样使用存款合约。

我知道这个项目对社区来说很重要,它标志着一切正在向前发展。一旦本月RuntimeVerificaton的报告出来,我们就可以讨论一个好的启动日期。”

RuntimeVerificaton自称拥有“形式建模、分析、安全、确认与较证”的经验,因此他们现在正在进行审计、建模等工作。

“我们与美国国家航空航天局、美国国防部高级研究计划局、波音公司和丰田公司合作,对安全和关键任务系统进行形式化和验证。我们还与IOHK和以太坊基金会合作,不仅对智能合约进行形式化建模和验证,还对协议、编程语言和虚拟机进行形式建模和验证。”

瑞安表示,所有这些工作,包括这份报告,应该会在一个月内完成。接下来就看他们的结果了。如果有问题需要解决,那就还需要一段时间。根据上述情况我们估计,存款合约最早可能在1月下旬或2月份推出。

在此之前,存款合约自然需要通过一个测试网,目前还不清楚以太坊2.0多客户端测试网何时推出。

然而,一个针对PrysmaticLabs特定的单客户端信标链测试网的浏览器已上线。

Lighthouse最近也发布了他们的单客户端公共测试网,他们的代码也正在进行审计。因此,按目前进度估计,以太坊2.0创世区块最早将在今年冬季发布测试版,明年春季启动主网。事情正在发展,所有这一切正在进入最后阶段。

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

金宝趣谈

[0:93ms0-6:615ms