正式验证通过后，以太坊2.0存款合约准备就绪

以太坊2.0存款合约已通过最后一个障碍，并通过适当命名的运行时验证进行了端到端的正式验证。

他们总结道：“存款合约的所有错误均已在最新版本（v0.10.0）中进行了报告，确认和正确修复。”

有一些细微的错误，其中一些与编译器有关，但一个星期前发布的0.10版本已解决了所有这些错误。

这意味着存款合约现在可以使用了，尚不清楚它将首先在测试网上启动还是直接在主网上启动。这是因为eth 2.0协调员Danny Ryan上个月说：

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

瑞安（Ryan）今天进一步证实，正式验证是最后的障碍，并指出：

“这是主要的审核/验证。合约和正式验证工作现在正在公开审查。我将明确要求某些团队/个人进行审查，并在下一篇博客中对此进行呼吁。”

现在已经发布了非常详细的正式验证报告，没有针对存款合约计划进行其他审核，就此特定代码而言，除了最后的同行评审外，几乎没有其他要做的事情。因此，倒计时还可能是时候，还剩下几件事。

我们正在等待两次有关信标链代码的审核，预计将在2月进行。这些审核可能需要进行一些更改，这些更改将在版本0.11中解决。就是这样。

测试网络上的完整版本可能会在这些审核之前启动，并带有创始性条款。据我们所知，他们有点先等待这份存款合约，因此他们可能会在0.11版之前启动，或者可能等待审核。

无骨测试网仅在一个客户端中就有大约22,000个验证器，并且许多人正在准备进行质押服务等。

这些单一客户端测试网可能会在测试网起源模块的序幕中开始相互连接。

现在，我们对测试网起源模块的绝无仅有的估计是下个月，它需要三个月才能运行。

因此，这可能会在5月份结束，倒计时有5个里程碑。存款合约的发布，bonefull测试网，v0.11版本的发布，版本1的批准，然后最终是真正的创世区块发布，使权益证明变得栩栩如生。