5分钟了解以太坊2.0最近进展

我们期待 Eth2.0 的到来已经超过5年时间[6]了,人们对它的发布日期一直持有乐观[7]态度。当前尚未有一个“官方的”共同约定的上线日期。尽管如此,许多有些“莽撞”的人还是敢于做出一些最佳猜测。一些人的信息要比其他人更灵通。在最近参加 Ethereal 虚拟峰会期间的 Eth2.0 阶段0 会议[8]时,我表示今年第三季度发布的可能性很高。Paul Hauner 认为第三或第四季度更为现实。其他方面, Vitalik 表示自己 并没有说 [9] 今年7月份 Eth2.0 会上线 (我也没这样说过!)。

我越来越多地听到的一个问题是,为什么要推迟这么久?但 Eth2.0 的上线并没有设定截止日期,所以我认为这个问题可以更为公正地重新定义为, 为什么要花这么长的时间?

在我看来。Justin Drake 的这条推文[10]对此进行了很好地解释:

Justin Drake 推文大意:“我们使得 Eth2 对我们来说很困难:*许多的设计迭代;*许多的社区客户端 vs 一个基金会领导的客户端;*libp2p vs devp2p;BLS12-381 vs BN254。 我们本可以用更简单的方法在一两年前就启动尽管 (当前的方式) 很痛苦但却是正确的。我们的投入将在未来几十年都能带来回报 :)”

这花了很长时间,因为我们做得对。这是正确的做法。

Danny Ryan 最近在参加 PoV Crypto 博客[11]时进一步阐述了这个主题,这是我本周推荐你收听的内容 (视频[12];音频[13])

总结:我们离 Eth2.0 发布已经很接近了,我几乎察觉到了它的到来。

阶段0

测试网

测试网是本周的明亮之星,所以我将这方面的内容排在了前面。

当前有两个 Eth2.0 阶段0公共测试网:

  • Topaz[14] 是由 Prysmatic labs 搭建的仅支持 Prysm 客户端的测试网;

  • Schlesi[15]   是由 Afri Schoeden 创建的一个多客户端测试网。

Schlesi 测试网

公平地说, Schlesi 已经取得了比预期更大的成功,也比预期稳定得多截至目前,有 3 个客户端正在该测试网中全面参与,同步的信标节点和验证者都在运行中 。这三个客户端分别是 Prysm、Lighthouse 和 Teku。Nimbus 客户端也已经非常接近这一目标了,能够同步到链头;Lodestar 客户端也取得了一些进展。这是我们自去年在安大略省的聚会[16]以来实现的最大的互操作性里程碑。

你可以在这个 Eth2Stats[17] 仪表盘上查看到一些信标节点。同时可以在 Bitfly 的 Schlesi 浏览器[18]上追踪验证者的性能和网络进展情况。

Schlesi 尚未打算成为一个大规模开发的公共网络,它 还处于起步阶段,所以我们还没有在上面安装一个易于加入的前端 。尽管如此,我还是编写了一些有关在 Schlesi 上启动和运行 Teku 节点的说明性文档[19],如果你非常感兴趣,可以加入进来成为一名验证者。可能有更简单的方法来加入 (比如从二进制文件或使用 Docker 安装,或者使用 Infura 来获取 Eth1 数据),但该文档忠实地记录了我是如何加入其中的。如果你确实开始运行这些东西,请务必加入 Ethereum R&D Discord[20] 上面的  #schlesi 聊天频道,以获得最新消息。预计会存在初期的问题!

在本周的 Eth2.0 开发者电话会议[21]期间, 我们讨论了使用 Schlesi 的框架来构建一个更为实质性的多客户端测试网 。这方面的目标是在6月份,届时规范 v0.12 版本将在各客户端中实现,且起初至少实现由三个客户端的 16,384 名验证者参与。这个测试网甚至可以用于 Eth2.0 存款合约前端 (Launchpad) 的试运行。

Topaz 测试网

Prysm 的客户端测试网 Topaz 一直在运行中,接下来将可以由 Etherscan[22]、BeaconChain.in[23] 和 Eth2Stats[24] 进行追踪。

Topaz 已经取得了一些令人印象深刻的里程碑[25]:

  • 大约有 100 万测试网 ETH[26] 被质押了进来;

  • Preston (Prysm开发者) 已经在其树莓派设备[27]上运行了 2,000 验证者;

  • Topaz 网络中上至少有 500 个不同的节点[28]。

  • Topaz 测试网上的节点数量要比一些“以太坊杀手”主网上的节点还要多[29]。

Topaz 确实有着一个很棒的前端[30],如果你不想要瞎折腾的话,Topaz 是一个不错的选择。

阶段0规范

自上次更新以来没有规范更新。不过,我们 预计 v0.12 版本将很快发布 。该版本将 包括期待已久的 BLS 密码学的更新, 将我们带向 IETF 草案 BLS 签名标准[31]的第二个版本,以及 IETF 草案 hash-to-curve 标准[32]的第七个版本。

负责提议一个跨 Eth2.0 客户端一致性 API 标准的工作组已经给予反馈[33],讨论正在进行中[34]。

测试

Sigma Prime 继续在针对各种客户端实现执行模糊测试。他们最近发布的进展更新#04[35],包括一些发现的 bug。大量的研究正在进行中——对 Eth2.0 共识的关键组成部分进行这种测试是非常重要的。有消息称,他们很快就会发布 Docker 图片,这样我们就都可以加入到一个大规模分布的模糊测试工作中来了。

在测试客户端实现的同时, 检查规范本身的正确性和明确性 (也即没有模棱两可的地方) 也很重要 。我的一些 PegaSys 同事 正在使用 Dafny 框架正式验证阶段0规范 。上周,该团队在 Ethereum Engineering Group 上做了一个非常容易理解的演示[36] (幻灯片[37],Github[38])。他们演示了如何扩展他们的工作来测试客户端实现,并在 Prysm 子程序上进行了现场演示。

网络 (networking) 通常不是共识的关键,但同样重要。Lakshman Sankar 正在致力于 Stethoscope[39]方面的工作,这是 针对 Eth2 信标链客户端的一套网络测试 。这些将很好地补充现有的参考测试套件。与此同时,Jonny Rhea 的 Prkl 网络监测工具[40]也被证明在监测测试网的健康和发现问题方面非常富有成效。

另一个必须彻底探索的方面是 加密经济安全 ( cryptoeconomic security ) 。以太坊基金会的 Robust Incentives Group (RIG) 团队已经对场景进行了令人印象深刻的详细建模[41]——在本例中指的是网络分区。

你也可以加入——阶段0 bug 赏金计划[42]中的奖励金已经翻了一番,并且有一些丰厚的奖励。所以开始寻找 bug 吧!?

Launchpad

上文中我提到过前端。 Eth2.0 Launchpad [43] 已经开源了,这是一个由 ConsenSys Codefi,DeepWork Studio 和 以太坊基金会 协作完成的, 它将成为参与 Eth2.0 主网 Staking 的正式门户 。DeepWork 对其设计过程[44]进行了描述。鉴于上面的讨论,你应该有所保留地采纳下方的内容,但这是一个有关该 Launchpad 何时可以真正启动的投票[45]。 [备注:该  Launchpad 将是抵押 ETH 加入 Eth2.0 网络的以太坊基金会官方门户 ]

Jimmy Ragosa 已经在两条推文中对该 Launchpad 进行了出色的演练和评论 (推文1[46],推文2[47])。上周,Mara Schmiedt 和 Carl Beekhuizen 在 Ethereal 虚拟峰会上展示了该 Launchpad,但他们的视频尚未上传。当时有一些技术性问题:希望能够被修复并发布,可以在这里[48]进行关注。

Staking

在 Reddit 上发布了一篇全面审视用于参与 Eth2.0 Staking (质押) 的硬件[49]的贴文。这是一场生动的讨论,为家庭式质押者提供了一些很好的建议。这里还有另一条 Reddit 贴文[50]。几周之前我把我的设备[51]整理好了。

Staking 奖励计算器很受欢迎,以下是其中几个:

  • ethereumprice 的 Eth2 计算器[52]

  • Bitfly 的 Staking 计算器[53]

  • ConsenSys 的 Activate[54] – 最初也是最详尽的计算器

Collin Myers 在参加 Ethreal 峰会时就参与 Eth2.0 Staking 你可以赚多少钱进行了回答[55];Joseph Chow 认为我们应该需要免费的 Staking 服务[56]以及秘密共享验证者。

2020年5月19日 ET 时间周二下午1:00,ConsenSys 将主办一场有关 The State of Staking[57] 的网络研讨会。还有时间预定!

很棒的解释性文章

ConsenSys 继续在提供有关 Eth2 的高质量材料,包括 What Is Ethereum 2.0?[58] (什么是以太坊2.0?) 和 What Is Proof of Stake?[59] (什么是权益证明?)。

这篇是有关 Eth2.0 经济学[60]的文章,以及不要再将 Eth2.0 中的 ETH 称为 BETH[61]! (Eth2.0 中依旧称为 ETH)

BitMEX Research[62] 发表了一篇相当详细的 Eth2.0 概览文章,我还没有检查文章的准确性,但第一眼看上去相当不错。虽然不是所有人都喜欢它[63]。

研究方面

本周最具争议观点的赢家当然是 Justin Drake 提出的有关 Eth2 喂价的研究[64]。这是一种简单的想法,我完全可以看到其吸引力。由于我的名字被标记上该帖子上,我对 Justin 的直接反馈是谨慎负面的:基本上,这对于各客户端团队来说是一种治理和维护负担,客户端团队不希望将这一负担加在他们现有的责任之上,且当前的 Layer2 预言机似乎做的很好。我发现自己与 Amee [65]罕见地就此达成一致? 同时 Vitalik 的回复[66]很详细。对此的讨论仍在继续…

在 ethresear.ch[67] 上面的其他研究:

  • PegaSys 研发人员 Mikhail Kalinin 发布了他之前承诺撰写的 The scope of Eth1-Eth2 merger[68] (Eth1-Eth2合并的范围)。文章对于合并 Eth1 和 Eth2 (以及关闭 PoW) 所需的工作进行了全面而广泛的概述.

  • 以太坊基金会 Ewasm 团队已经发表了 Eth1x64 Variant 1 “Apostille”[69]。Eth1x64 是一个探索一种更加具体的方式来展现带有分片的以太坊链将是什么样子的试验:将 Eth1.0 链部署在所有 Eth2.0 的 64 个分片中,并试图弄清楚如何将所有的联系起来。这个版本使用跨分片转账的收据 (receipts) ,且他们已经在一个扩展的 Solidity 版本中编码了一个示例代币[70]。

  • Dankrad 发表了一个 0.001 bit 的阶段0托管证明[71]提议。托管证明的想法是,验证者必须断定 (assert)  他们已经看到了区块提议者生成的数据,这需要在网络上进行监控,以便可以惩罚那些伪造断言  (fake assertation)  的懒惰验证者。Dankrad 的提议是一种让所有人 (不管是验证者还是验证者的监管者) 都保持诚实,且几乎没有协议方面的负担。

  • Vitalik 已经发布了 Open problem: ideal vector commitment[72] 以寻找解决方案。老实说,这一领域发展得太快。多项式承诺在上个月的发展也是如此;现在这一切都是关于可聚合的子向量承诺 (aggregatable subvector commitments[73])。

还有别错过最新的 PegaSys TXRX 团队的更新[74]:

  • Onotole Eth2 规范转译器

  • 信标链分叉选择测试

  • 改进 Discovery v5

  • Eth1 Eth2 的合并

  • Eth2 网络监视器

  • 跨分片交易模拟

常规电话会议

实施者电话会议

由于 Ethreal 峰会的开展,实施者电话会议延迟了一周。第39次电话会议在5月14日举行。

  • 会议议程[75]

  • 会议视频[76]

  • 我的快速笔记[77],以及 Mamy 的笔记[78]

会议中有一些可靠的研究更新[79],包括 Axic 的 evm384[80] 介绍,这可能是一种有效的在 Eth1 链中实现 BLS12-381 的预编译替代方式,从而使 Eth1.0 链与 Eth2.0 链兼容。

网络电话会议

Eth2.0 第5次网络 (networking)  电话会议在5月6日举行。

  • 会议议程[81]

  • 我的快速笔记[82]

  • 会议视频[83]

其中一个重大的主题是 gossipsub v1.1[84],它能够增加攻击弹性和 bootstrapping。

其他新闻

  • Prysm[85] 客户端团队的最新更新。

  • Nimbus 客户端的安全性审计 RFP[86],请在5月24日之前提交。

  • 我没注意到以太坊 Stakers 社区电话会议[87]。请在推特上关注 @Eth2Scc[88] 获取更新信息。目前来看该电话会议安全地很棒,但不幸它和我的美容觉不太协调。

写在最后…

什么,还想了解更多信息??

嗯,好的。你知道 J.K.Rowling  (《哈利波特》作者)  最近发布的推文[89]吗? (备注:她在推文上 询问“什么是比特币” 请给她看看这个视频[90],这是我迄今为止看到的最好的比特币解释性材料。

参考链接: