ETH2.0存款合约成功通过正式验证

以太坊2.0存款合约的正式验证已成功通过。现在以太坊存款合约已经准备就绪。

以太坊2.0存款合约被认为是网络上最重要的智能合约之一，现在它已被Runtime Verification成功验证。

存款合约已准备就绪

以太坊2.0存款合约已经过去了。运行时验证已成功完成ETH2.0存款合约的正式验证。

尽管我们在正式验证过程中发现了存货合约的几个关键问题，其中一些是由于微妙的Vyper编译器隐患所致，但所有存货合约的问题都已在最新版本（v0.10.0）中得到正确修复。

以太坊2.0协调员Danny Ryan表示，这是主要审核或验证，而正式验证是以太坊2.0成功通过的最后障碍。

他进一步阐述：

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

据Trustnodes称，没有计划对存款合约进行任何审核。但是，将在2月对信标链进行两次审核。

存款合约是加入ETH2.0的门户

存款合约将用作加入以太坊2.0的门户。为了存入合约，新的权益证明信标链上的验证者需要通过在ETH 1网络上发送交易来存入一定数量的ETH。

这些存款将通过保存交易历史的存款合约锁定在ETH 1.0链上。借助Merkle树数据结构，可以有效地存储存款历史记录。

除此之外，一个Twitter用户报告说，有将近22,000个活动验证器正在testnet上运行第一个ETH2.0客户端。

刚看到来自世界上第一个无骨ETH2测试网的22,000多位活跃验证者几乎100％的参与。 https://t.co/TFw3MBBOhc

— prestonvanloon.eth（@preston_vanloon）2020年1月17日