ETH2快速更新号。 12

与往常一样，ETH2阵线继续发生很多事情。除了书面更新（请查看以下ETH2帖子的状态）以及其他公共摘要，客户团队，贡献者和社区成员/潜在录音机一直很忙！

今天，我们将介绍一些大量的存款合同新闻，以及实施SPEC版本V0.12的重要步骤。

TL；

坚固的存款合同和正式验证

今天，我们想宣布一个新的，更安全的版本 ETH2存款合同写成坚固！该合同保留相同的公共接口（加上 EIP 165 SupportSinterface 功能），因此是一个完全 透明的 更改所有现有客户和开发工具。实际上，坚固的代码主要是原始Vyper合同的逐条翻译，以帮助进行审查和正式验证。

在过去的几个月中，ETH2存款合同以坚固性重写亚历克斯·亚历克斯（Alex Alex），由一小部分坚固专家审查，以及正式验证通过运行时验证，很大程度上重复使用最初为合同的Vyper版本编写的K-Spec。

尽管以前的Vyper合同经过了大量测试，审查和正式验证，但今天对Vyper编译器的安全存在潜在的担忧。在原始的Vyper字节码验证期间，发现了多个编译器错误（并固定）。除了正式验证， Suhabe Bugrara （共识研发）进行评论 VYPER存款合同和正式验证，导致了正式规格的许多改进（最终协助便利地重新验证坚固合同）。尽管将验证评估为声音，但只要使用Vyper编译器，Suhabe就不会推荐该字节码为安全。

同时地，共识勤奋和痕迹对VYPER编译器进行了调查性安全报告，发现了更多错误，并引起了编译器代码库系统问题的担忧。

尽管有这些发现，Vyper仍然是一种非常有前途的语言。 基于Python的编译器继续开发，许多贡献者正在考虑将语言正式化并调查替代编译器。

尽管对正式验证的字节码充满信心，但Vyper编译器中发现的问题对字节码验证产生了巨大的依赖。最好是从一般认为是安全的编译器开始，并从那里验证字节码，而不是从具有已知问题的编译器开始，并验证这些已知（或未知）问题都没有在字节码中实现。

为了避免对此的任何疑问 批判的 合同，我们建议使用新的ETH2 MAINNET合同，我们欢迎坚固的合同和EVM字节码专家审查合同并关联正式验证。任何发现的问题都有资格 ETH2阶段0赏金计划。

快速注意 – 新合同尚未进入规格回购。我将在本周整合新的坚固合同，并将其作为次要版本发布。我想立即宣布，以便社区有足够的时间进行审查。

减轻V0.12测试网

自从Spec版本发布以来 V0.12，客户团队一直在努力更新和测试其代码库，以准备公共测试网。

我已经看到了社区的许多问题（在不和谐，reddit等上），说明为什么看起来相对较小的更新需要大量时间完成。尽管每个客户端代码库和手头相关的挑战都不同，但团队正在采取 V0.12 非常严重地。虽然规格中的更新并不是太麻烦了，但已经花费了额外的时间来加强安全性，优化功能并通常使客户端更加硬化，然后将其删除，以便在启动之前将其作为Spec的最后一个半合理版本。

现在是第一个公众的多客户测试网的时间 V0.12 – – 奥尔顿预期在接下来的七天内发布日期。该网将完全由组成客户团队（计划中的灯塔，Nimbus，Prysm和Teku），AFRI和一些EF团队成员控制。初始发布后，将发布存款合同地址，以允许公开参与。

像以前的多客户测试网络一样，阿尔顿更像是 Devnet 而不是最终用户的测试网。也就是说，奥尔顿（Altona）首先是客户团队进行理智检查 V0.12 在生产环境中的软件和整个ETH2工程师的软件可以通过仅在多客户设置中出现的任何错误来工作。也就是说，我们欢迎您随着时间的流逝而加入Altona。然后，下一步（假设与Altona的一般成功）是一个更大的，以社区为中心的测试网，主网配置至少为16,384个验证器。