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

丹尼瑞安 说：

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

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

我知道这个项目对社区很重要，它标志着事情正在向前发展。 一旦本月的 Runtime Verificaton 报告出来，我们就可以讨论一个好的发布日期。 “

Runtime Verificaton声称在“形式化建模、分析、安全、验证和验证”方面有经验，所以他们现在在做审计、建模等等。

“我们与 NASA、DARPA、波音和丰田合作，对安全和关键任务系统进行形式化和验证。 我们还与 IOHK 和以太坊基金会合作以太坊是哪年上线的，不仅对智能合约以太坊是哪年上线的，而且对协议、编程语言和虚拟机进行正式建模和验证。”

瑞安说，所有这些工作，包括报告，都应该在一个月内完成。 然后看看他们的结果。 如果有问题要解决，那将是一段时间。 基于以上情况，我们预计存款合约最早可能在1月下旬或2月上线。

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

但是，Prysmatic Labs 特定的单客户端信标链测试网的浏览器已经上线。

Lighthouse 最近也发布了他们的单客户端公共测试网，他们的代码也在接受审计。 因此，根据目前的进度预估，以太坊2.0创世区块最早将于今年冬天发布公测版，明年春季正式上线主网。 事情在发展，这一切都在进入最后阶段。