信标测试网络 Explorer启动时，以太坊2.0存款合约现在正在等待报告

eth 2.0协调员丹尼·瑞安（Danny Ryan）说，以太坊2.0的存款合约似乎本月难以达成，因为它正在等待一份报告。

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

在我们通过公共多客户端测试网检查此过程之前，我有点犹豫是否要部署正式合约。

就是说，我不希望该组件出现特定问题，因为有许多单客户测试网按原样使用存款合约。

我知道这个项目对社区很重要，因为这表明事情正在向前发展。本月RV报告发布后，我们可以讨论一个好的约会。”

因此，他们现在正在进行审核，建模等工作，运行时验证将自己描述为在“正式建模，分析，安全性，安全性，验证和验证…方面有经验”。

我们已经与NASA，DARPA，波音和丰田合作，对安全和关键任务系统进行形式化和验证，并与IOHK和以太坊基金会一起不仅对智能合约，共识协议，编程语言和虚拟系统进行了正式建模和验证。机器。”

瑞安说，所有这些，包括报告，都应该在一个月之内完成。然后，这取决于他们回来了。如果有什么要解决的问题，那将需要一些时间，根据我们的估计，存款合约最早可能在1月下旬或2月启动。

在此之前，存款合约自然必须先经过一个测试网，目前尚不清楚何时启动以太坊2.0多客户端测试网。

但是，有一个浏览器已经投入使用，但这是针对Prysmatic Labs特定的单个客户端信标链测试网的。

Lighthouse最近也启动了其单客户公共测试网，其代码也正在接受审核。

因此，现在最早估计了以太坊2.0创世纪区块的冬季测试发布和春季主网发布，但是事情正在发展，所有这些都已经进入最终阶段。