以太坊最新总结2.6月0进度更新信息

众所周知，以太坊 2.0 的交付时间表分为三个不同的阶段。最激动人心的最新进展是在第 0 阶段（更接近信标链客户端互操作性）和第 2 阶段（以太坊 2.0 计算模型的开始）。

第 0 阶段：信标链实施

信标链是整个以太坊2.0 系统的协调层也可能是最难交付的部分。有关信标链的背景信息，请参阅我之前关于以太坊协议状态的帖子。 2：信标链文章 [1]。

去年六月，信标链被设想为以太坊的未来2.0。仅仅一年后，Phase 0 的规范将在今年 6 月 30 日冻结。这是一个全新的区块链设计，具有前所未有的雄心壮志，包括数十项重大创新和见解，以及准备好的 8 个客户端实施：以太坊社区在一年内取得的惊人成就。坦率地说，这将使 Libra 相形见绌。任何不同意这一点的人，都生活在与我不同的宇宙中。

由于以太坊 2.0 规范的更新进度在 Github [2] 上有很好的跟踪和记录，我不会像以前那样详细介绍。今天我们将更广泛地了解进展情况。

01.互操作性

随着第 0 阶段规范的稳定，重点现在转移到单个以太坊2.0 客户端实现它们之间的互操作性。目前有 8 个活跃的团队正在跟上最新的以太坊 2.0 规范。

一旦信标链网络上线，每个客户端都需要相互通信才能就信标链的状态达成一致。每个客户端都需要遵循同样的规则：哪怕一点点不正确，也无法达成共识。

考虑到这一点，我们在布鲁克林的 Bushwick Generator 举办了一场名为“The Road to Interop”的研讨会。我拍了一些照片[3]，感兴趣的人还可以观看长达四个小时的视频[4]的现场录制，以及研讨会的议程[5]。这是几个客户实施团队聚在一起计划我们的客户如何相互协调沟通的机会。当天下午，Vitalik 就第二阶段的想法进行了介绍（见下文）。 Terence Tsao 还发布了关于 Prysm 客户端 [6] 的架构和设计的演示幻灯片。

计划的下一个重大活动是在 9 月初左右以“互操作锁定”为主题的研讨会。届时，客户实施团队将聚集在安大略省的一个偏远小屋，但前提是我们确认所有客户都相处得很好。

Jonny Rhea 已在 Github 上发布了建议的互操作性之路 [7] 的各个阶段供您参考。

02.网络

最终目标是让Libp2p成为一个基于以太坊2.0网络的P2P通信协议（注：Libp2p是一个方便用户开发去中心化点对点应用的网络框架）。

然而，作为实现这一目标的简化步骤，个别客户正在实施更简单的 Hobbits 协议，Trenton van Epps [8] 在这篇文章中对此进行了很好的介绍。 Jonny 还以 tweetstorm [9] 的形式解释了 Hobbits 协议的基本原理，ConsenSys 还提供了一些奖励 [10] 以鼓励团队将协议集成到客户端中。

与此同时，Whiteblock 对 Libp2p 进行了一些性能测试，Daniel Choi 在 Scaling Ethereum 研讨会 [11] 上展示了它。他们的研究结果对 Libp2p 在某些情况下的性能提出了一些问题 [12]。不过，我们还将与 Prtcocol Labs 合作，对 Libp2p 进行一些进一步的测试，以探索与以太坊 2.0 相关的更现实的参数范围。

另一个有趣的发展是 PegaSys 研发团队发布的拜占庭容错聚合协议 Handel: Practical Multi-signature Aggregation for Large Byzantine Committees（“Handel: Practical Multi-signature Aggregation for Larger Byzantine Committees）。”）[13 ].

该协议可以显着加快以太坊中验证者收集证明的速度2.0，允许更大的委员会规模，因此可能更快地实现交易终结。

03.测试（测试）

在当前的 0 阶段开发期间，正在进行大量测试。值得注意的是 Antoine Toulme 在测试运行器方面的工作，该工作由 Moloch DAO 资助，并且最近的进度更新 [14] 可在此视频中获得，非常值得客户端开发人员查看。

规范是可执行的，并且所有跨客户端测试向量都可以直接从书面规范 [15] 中生成，这很好。

在对规范进行模糊测试并为模糊客户端提供框架方面还有很多工作要做，就像在最新版本的以太坊中一样 2.正如在 @>0 规范 [16] 中所反映的那样。

04.正式验证

Runtime Verification 编写了以太坊的审计2.0 存款合约增量 Merkle 树实施报告，这些报告是用 Vyper 语言（而不是 Solidity）编写的。

这是一个重要的里程碑，为将存款合约部署到当前的以太坊 1.0 链铺平了道路。为了可读性，我们团队的 Joe Delong（注：PegaSys 团队）写了一篇关于以太坊 2.0 存款 Merkle 树的实现的解释性文章 [17]。稀疏默克尔数很棒！

运行时验证还将生成 K 语言 [18] 信标链的正式可执行规范。

05.信标链上线

在上周与以太坊2.0 名实施者的电话会议中，贾斯汀·德雷克提出了信标链部署该阶段的两个目标日期：

1、DevCon 5 会议期间：将存款合约部署到当前以太坊1.0 链。这个公开仪式将有助于防止诈骗者发布虚假地址以窃取人们的存款。

2、2020 年 1 月 3 日：信标链创世区块可能诞生。届时信标链将正式上线。

信标链创世区块的诞生将取决于两个先决条件。首先，必须在存款合约中质押足够的 ETH。之前的一个硬目标是质押超过 200 万个 ETH，但这一要求已被删除 [19]。但质押量的目标将是保证信标链安全启动的指令。

第二个先决条件是定位 3 个（或至少两个）“生产就绪”信标链客户端和网络验证器。在此之前，所有客户都完成了大量的兼容性、优化、测试、审计、改进、工具、文档和打包工作，所以我认为 1 月 3 日的目标有些雄心勃勃。

第 1 阶段：分片数据

最近，Phase 1 规范 [20] 已成为 Serenity 的绿洲。

第 2 阶段：状态执行

公平地说，就在几个月前，以太坊 2.0 的第 2 阶段交付还是一片迷雾。第 2 阶段是所谓的“执行层”，它使 Ethereum2.0 区块链真正可用。此阶段将提供资金转移、实施智能合约以及允许构建 dapp 的所有功能。然而，就在四月初，我们还不知道那个阶段会是什么样子。 Casey Detrio 在 Scaling Ethereum 会议 [21] 期间就第 2 阶段的历史和现状做了一场精彩的演讲，非常值得您花 5 分钟时间观看……关于这个阶段的所有问题当时都是开放的，设计空间是仍然是巨大的，可能性是无穷无尽的，然后我们不知道从哪里开始。

为了打破这一僵局，Casey 在 Ethresear.ch 上发表了一项激动人心的提案：第一阶段并完成：将 eth2 作为数据可用性引擎 [22]。无需详述所有细节，这引发了一波创新浪潮，第 2 阶段迅速而令人兴奋地开始占据中心位置。

Vitalik 随后默默地发布了第 2 阶段 [23] 的第一个提案及其后续 [24] 以响应 Casey 的提案。新成立的 Quilt 团队的 Will Villaneuva 在 Medium 上发表了一篇文章来解释这一点 [25]。在纽约的 Interop 日期间，Vitalik 介绍了他对阶段 2 的最新想法（相关视频请参见 [26]），最后在多伦多举行的 Scaling Ethereum 会议期间提供了更多背景信息（请参见视频 [27]）。

Vitalik 提议的主旨是尽量减少以太坊区块链在执行交易中的作用。在 Ethereum1.0 链中，执行交易的方式只有一种，那就是通过 EVM。在区块中执行交易后，交易状态的 Merkle 根将被写入该区块。为了在这个区块中的交易上运行 EVM，所有节点都需要存储整个链的状态（包括账户余额、合约存储等）。

当前第 2 阶段建议采用和推广此模型。现在可以有几种（甚至很多）类型的 EVM（我们称之为执行环境、执行环境 (EE)）。

执行环境 (EE) 是用 eWASM 编写的代码，它（几乎）作为纯函数运行。这意味着执行环境本身不存储任何状态：执行环境需要知道的任何信息都必须与事务一起提供。因此，如果我想在交易中向您发送硬币，我需要提供证明（例如 Merkle 分支）我的余额中有这枚硬币；执行环境不知道我的余额，因为它不存储任何信息。实际上，这并不完全正确：每个执行环境将存储一个 32 字节的值，该值是其当前全局状态的某种汇总或累加器（可能是 Merkle 根，但这不是规定性的，它可以是任何足够安全的东西）。

以这种方式提取执行层提供了最大的灵活性。可能有一个 EE（执行环境）用于代币，如 zk-Rollups、ERC20 或企业友好环境、Plasam 或用 Haskell [28] 编写的智能合约等。

这个想法是，任何人都可以以相当高的费用（大约 100 ETH？）部署自己的 EE 来支持自己的专业区块链环境。以太坊 2.0 分片链只关注基本方面：交易排序和数据可用性。

目前以太坊2.0上线时间，一些问题仍在积极讨论中：是否支持 EE 之间的同步调用，如何组装块和收取 gas 费的细节 [29]，EE 是永久的还是需要支付一些存储存储费，什么EE最初会部署在以太坊2.0等。但在我看来以太坊2.0上线时间，这绝对是正确的方向。

如果您想了解所有这一切的更多详细信息，可以查看 Casey 和 Alex 的 Scout 库 [30]，他们正在研究一些可能的原型 [31]，以及他们在 Ethersear.ch 上发表的文章：第 2 阶段执行原型引擎 [31]。

对于我们这些更熟悉当前 EVM 实现细节的人来说，所有这些可能听起来相当抽象和陌生。别担心，在 Ethereum1.0 和 Ethereum2.0 之间提供一个平滑的过渡路径已经成为当务之急，现在有一些有趣的想法 [33] 可以有效地实现这一点。尽管仍然存在一些挑战 [34]，但相关讨论 [35] 已经在 Ethresear.ch 上进行。

附加信息

以下是我在过去一个月左右收集的一些随机信息：

Chainsafe 的 Colin Schwartz 正在编写以太坊 以太坊的完整指南2.0[36] 和以太坊的第一部分2.0 可扩展性[37]；

Danny Ryan 在 Ethereal 会议期间发表的谨慎乐观（Cautious Optimism）”[38]；

EthGasStation 与 Prysm 团队合作并发布了一份报告[39]；

Alex Stokes 写了一篇解释以太坊的文章<@一篇关于2.0 如何充当以太坊的终结性小工具的文章1.0[40]，以及一篇关于以太坊经济安全性的文章2.@ >0 共识[41];

Matt Garnett 启动以太坊的资源清单2.0 学习[42]；

在 Twitter [43] 或 Peepeth [44] 上关注我以了解更多信息。

更多资源

相关规范文档[45]

୦ 拉取请求 [46]

୦ 提交 [47]

୦ 问题 [48]

验证者注册合同 [49]

双周以太坊 2.0 实施者电话会议 [50] ]

&

Eth2.0 手册更新 [51]

分片路线图更新 [52]

与标准链相关的信件问题[53]

以太坊 Reddit 社区地址[54]

与加密货币领域相关的推特账号[55]

文章中涉及的链接：

[1]：

[2]：

[3]：

[4]：

[5]:@vJTdwcwQSByvMaZGfTX_oQ/Hyz8Mw-9V?type=view

[6]:.幻灯片=id.p

[7]：

[8]：

[9]：

[10]：

[11]：

[12]：

[13]：

[14]：

[15]：

[16]：

[17]:@josephdelong/ethereum-2-0-deposit-merkle-tree-13ec8404ca4f

[18]：

[19]：

[20]：

[21]：

[22]：

[23]:.

[24]：

[25]:@william.j.villanueva/a-journey-through-phase-2-of-ethereum-2-0-c7a2397a36cb

p>

[26]：

[27]：

[28]：

[29]：

[30]：

[31]：

[32]：

[33]：

[34]：

[35]：

[36]：

[37]：

[38]：

[39]：

[40]:@ralexstokes/the-finality-gadget-2bf608529e50

[41]:@ralexstokes/how-secure-is-ethereum-2-0-consensus -41523a59f270

[42]：

[43]：

[44]：

[45]：

[46]:%3Apr+sort%3Aupdated-desc

[47]：

[48]：

[49]：

p>

[50]：

[51]：

[52]：

[53]：

[54]：

[55]：

p>

@ >