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

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

以太坊桥TVL为55.8亿美元，30天内涨幅达13%:金色财经报道，Dune Analytics数据显示，以太坊桥当前TVL达到55.8美元，30天内涨幅达13%。其中锁仓量最高的5个桥分别是Polygon Bridges（30.55亿美元）、Arbitrum Bridges（12.18亿美元）、Optimism Bridges（9.12亿美元）、Near Raibow（2.68亿美元）、Fantom Anyswap Bridge（2.05亿美元）。[2023/1/25 11:29:37]

图片来源：pixabay

动态 | 以太坊Layer 2项目Plasma发文介绍可支持所有Layer 2协议的虚拟机OVM:以太坊Layer 2项目Plasma发文介绍Optimistic Virtual Machine （OVM），一个可以支持所有Layer 2协议的虚拟机。其通用性来自于将Layer 2重新定位为一种基于以太坊协议之上最佳的分叉选择机制。OVM的规范很大程度上借鉴CBC Casper共识协议的论文，把Layer 2描述为基于Layer 1共识的直接扩展。这提供了一种通过一个虚拟机OVM就可以统一所有Layer 2协议（闪电网络、Plasma等） 的可能性。[2019/7/14]

丹尼·瑞安说道：

动态 | BTC.com正式发布以太坊区块浏览器0.1版:11月1日，BTC.com宣布正式上线以太坊区块浏览器0.1版本。BTC.com区块浏览器可为企业级用户提供定制数据服务，搭建比特币的轻量级应用。此次发布的以太坊区块浏览器将用其快速的解析速度，支持ETH和ERC-20 Token信息查询。BTC.com还将结合自身矿池业务的优势，展示矿池数据及交易手续费。目前，浏览器支持中英文两种语言，据了解，后期BTC.com还将提供其他语言支持，上线专业化统计分析服务。[2018/11/1]

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

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

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

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

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

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

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

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

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

标签：以太坊LAYERBTCCOMilv币未来会超过以太坊吗layer币行情BTC鲍尔曼俱乐部community

USDC热门资讯