一篇文章了解以太坊2.0最新进展

九个月前，最初的 Casper 和 Sharding 设计被放弃，以太坊 2.0 被认为是当前以太坊主网的全新发展。 让我们盘点一下。

九个月前，以太坊 2.0 规范在 HackMD 上还是一片空白。 它现在是一个功能齐全的 GitHub 存储库，包含 5 个预发布版本。 大约 23,000 行代码被 54 位贡献者提交了 1860 次，并删除了 19,000 行代码。 该规范现在涵盖 12 个独立的文档，涵盖协议的不同方面，不包括不同代码库中的验证器管理合约。 该规范继续快速发展。

以太坊 2.0 的设计包括一些优秀的创新和现有技术的应用，例如 LMD GHOST 分叉选择规则、BLS 签名聚合、哈希树根、二次泄漏、保管证明等。

总之，这是一个宏伟的工程。 这真让人兴奋。 就在9个月前，在柏林的那个地下室里，笔者怎么也想不到能在这么短的时间内取得如此大的成就。 这不包括以太坊 2.0 客户端实现。

在 Ethereum 2.0 可以被视为交付和运行之前，计划了三个阶段。 目前进展如何？ 让我们来看看！

阶段 0 是信标链，它是整个系统的权益证明 (PoS) 协调层。 目前，Phase 0 规范正处于定稿阶段，现阶段规范的修订步伐已经迅速放缓。 事实上，规范已经处于可执行和可测试的状态。 剩下的就是选择序列化算法（抱歉！开玩笑？）。

信标链客户端实现已由多个团队以多种语言创建，测试网络正在组装中。 在调试、网络实现和兼容性测试之前，我们还有很长的路要走，但前进的道路是明确的。 有人认为我们可以在 2019 年底之前部署一个真正质押的 ETH 的以太坊主网。可以肯定的是，它会在 2020 年初实现。这个阶段可能是最难实施的阶段。

第一阶段是分片数据层：将交易分布在 1000 多个独立的区块链（即分片链）中，这些区块链都锚定在权益证明信标链上。 目前，Phase 1 规范进展顺利，很可能会在 Phase 0 规范完成后很快定稿。 也就是说，第一阶段的规格将在未来几个月敲定。 第一阶段的实施主要是对等网络设计挑战，这项工作目前正在进行中。

阶段 2 是分片层和执行层。 Phase 2还没有规范文件，还有很多研发工作要做。 问题不是我们将如何做这些事情，而是考虑到未来系统中的所有利益相关者以太坊2.0计划，哪种可用的解决方案是最佳选择。 开发人员即将开始解决这些棘手的问题：更多内容见下文。

这就是现在的以太坊 2.0。 过去的 9 个月是一段令人震惊的时期。 我认为我们可能已经完成了四分之一到三分之一。 按照这个速度，以太坊 2.0 将在英国正式脱欧之前交付……

规格更新

目前有一个实验性的模式识别，可以看到从所有规范文档生成RST/Sphinx（ReadTheDocs格式）的效果。

1. 信标链规范（Phase 0）

规范链接：

自两周前上次以太坊 2.0 更新文档以来，信标链规范还没有发布新的主要规范。

链接：%3A%2F%2Fbenjaminion.xyz%2Fnewineth2%2F20190315.html

但是有一个修复了错误的小版本，所以我们现在使用的是 Beacon Chain 规范的 v0.5.1 版。

展望未来，Justin Drake（以太坊核心开发人员）已确认我们将使用 SHA256 作为标准哈希函数（之前是 Keccak256，之前是 Blake2b）。 选择SHA256函数的主要原因是跨链标准化和兼容性。

其他变化包括拆分和使分叉选择规则可执行。 这样做允许直接从信标链规范生成测试向量，这也非常酷。 验证器出口规范也进行了重新设计和简化。

信标链规范 0.6 版预计将在未来几周内发布，该版本的变化将包括对之前版本的彻底简化。

2. 分片链规范（第一阶段）

规范链接：

" target="_blank" target="_blank">>

Phase 1 的主要更新是将保管证明游戏替换为 JABS（JABS 代表 Justin's Awesome Bit Sum）。 删除了 500 行代码，因此，不管它叫什么，它绝对是一个重大的简化。 在开发者电话会议上以太坊2.0计划，Justin Drake 提到第 1 阶段规范将分为两部分，第 2 部分包含对信标链的更新以支持监管证明游戏。

阶段 0 规范完成后不久，应该可以完成阶段 1 规范。

3. 状态执行（第二阶段）

上周，笔者有幸阅读了 Brooklyn Zelenka 关于 Actor Modul 的文章。 Brooklyn 和 Boris Mann 还召集了一个讨论组，讨论以太坊 2.0 中的跨分片通信模型可能是什么样子。 作者如此喜欢以太坊空间的原因之一是聪明、知识渊博的人总是在正确的时间出现，解决难题。 跨分片消息传递是仍处于研究阶段的关键部分之一。

相关链接：

4.简单序列化

相关链接：

以 Peter Szilagyi 的 SOS 序列化为基础，Piper Merriam 提出了 SSZ 更新，允许对序列化数据进行高效索引。

5. 轻客户端规范

相关链接：

做了轻微的升级

6. 网络

这是一个新部分，它总结了 Matthew Slipper 关于 RPC 接口的重要文档的开头：

Matthew 还打电话讨论电汇协议。

七、实施

关于测试：

@protolambda 在以太坊开发者大会期间加入了以太坊 2.0 的测试和基础设施工作。 此外，他还将致力于模糊测试（buzz testing）和随机输入（randomised inputs）。

迪德里克·洛拉克，

现在规范基本上是可执行的，许多用于生成和运行测试的工具都被导入到代码库中，甚至 CircleCI 也可以自动设置。

此外，正式的测试生成库正在移入规范库，以使其更加一致。 这将极大地帮助实施者使测试套件与规范版本保持同步。

一些实施团队最近公布了测试网： 至于跨客户端测试网，Danny Ryan 有一些建议。 他建议的一种方法是：(1) 每个团队运行自己的长期客户端测试网，(2) 客户端通过所有共识测试向量，以及 (3) 只有这样，才能与另一个客户端团队一起完成。 一对一的协作，以实现与规范的公共版本的兼容性。

8.研究

在所谓的监管证明游戏上已经做了很多工作。 这是第 1 阶段的核心部分，分片数据层，是一种让验证者负责查看他们验证的分片块数据的机制。 @dankrad 有一篇很好的文章，介绍如何使用 Legendre 符号形式的 PRF（伪随机函数）代替当前提议的哈希函数来执行此操作。 这将允许在多方计算环境中有效计算保管证明。 正因如此，之前RANDAO被改为BLS签名。

在其他方面，Vitalik 给出了一些计算最终区块“安全性”的公式。 也就是说，如果一个不同的最终区块与一个现有区块发生冲突，那么在给定进入和退出验证者集合的验证者数量的情况下，必须削减多少验证者？

九、其他项目

以太坊 2.0 的工作计划在悉尼 EDCON 会议之前继续进行。 我们将在 4 月 9 日的 EDCON 黑客马拉松期间与大家见面。 PegaSys 团队的一些成员也将出席。

信息和注册表在这里：

.

Artemis 团队正在考虑在 5 月 12 日的纽约区块链周期间举办 ETH2 客户端实施者研讨会。 （注：Artemis是信标链Java客户端）

虽然 Hsiao-Wei Wang 的演讲“以太坊信标链验证者的一生”没有包括最新的发展，但它非常值得一看：

Vitalik 在 r/EthTrader 上的回复：

Vitalik 对 PoS 有一些担忧：

相关文章：

Vitalik 在 Ethhub 上的采访：

原文链接：

%3A%2F%2Fbenjaminion.xyz%2Fnewineth2%2F20190329.html