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

以太坊2.0存款合同已经通过了最后一个障碍，并通过适当地命名为Runtime Verification进行了端到端的正式验证。

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

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

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

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

这份非常详细的报告现已出炉，据我们所知，没有针对存款合同计划进行其他审核，就此特定法规而言，几乎没有其他事情要做。因此，倒计时还可能是时候，还剩下几件事。

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

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

无骨测试网仅在一个客户中就拥有约22,000个验证器，许多验证器正在准备加注服务等。

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

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

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

版权Trustnodes.com

—-

原文链接：https://www.trustnodes.com/2020/01/22/ethereum-2-0-deposit-contract-ready-to-go-as-formal-verification-passed

原文作者：Trustnodes

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。