2021-08-16 06:53

以太坊2.0进展更新:信标链测试网即将迎来Altair升级

注:原文作者是以太坊2.0开发者Ben Edgington。


信标链


Dafny语言的信标链规范形式化验证已经结束!这是我优秀的ConsenSys同事Joanne Fuller和Franck Cassez共同完成的,这是一项巨大的成就,它也是用Dafny语言完成的有史以来最复杂的项目之一。这项工作有望为我们未来的协议开发和分析的高度严谨性奠定基础。你可以从 repo 中了解更多信息并自己运行证明。我相信一些博客文章和论文(可能还有视频演示)很快就会出现。

此外,以太坊2.0 API 规范已更新至 v2.0.0‌,这为Altair升级做好了准备。

Altair升级的主要动机之一是使轻客户端能够在以太坊2.0网络中高效运行,这使得用户能在浏览器中无需信任地运行轻客户端,而不是通过Infura 或其他受信任的第三方发送交易。为了让我们了解需要什么,Alex Stokes 撰写了一篇关于引导信标链轻客户端生态系统‌的文章。

另一个有点有趣的消息是,以太坊2.0存款合约刚刚超过了WETH合约,成为了目前ETH存款数量最多的智能合约。


Altair升级


Pyrmont 测试网的 Altair 升级时间已经确定,据悉,该测试网将在UTC 时间 8 月 19 日中午 12 点左右进行升级(具体时间为epoch周期高度达到61650,也就是在1,972,800个slot时间)。

注意:如果你在Pyrmont 测试网上运行验证器,请在星期四之前升级你的客户端。


合并(The Merge)


现在大家已经知道EIP-3675‌就是执行以太坊1.0与以太坊2.0共识链合并的规范,对吧?对此,Mikhail Kalinin进行了非常深入的研究,感兴趣的读者可以看他的讲解视频‌。

然后是一条来自Nethermind的简短推文‌,其从以太坊1.0的角度讨论了合并的一些重要事宜。


Staking


StakeHouse 第五次社区电话会议于 8 月 11 日举行。这次会议关注了GUI 客户端安装程序以及其他项目的进展。这里是团队的更新‌以及一个项目创意列表。

客户端多样性仍然是一个巨大的话题,EthStaker的Colfax和 StakeHouse制定了一些重要的原则,以使 staking 社区变得更加多样化。

有很多值得喜欢的地方,我很想看到这些事情的发生。然而,这条经典路线试图让以太坊2.0客户端完全可互换(确保尽可能容易地切换客户端,必然会使它们在某种程度上难以区分)。正如我和 Colfax 讨论过的那样,我认为还有另一种方法可以考虑。

虽然我认为客户端完全可以替代,但这确实让产品经理的心有点沉。在Teku团队中,我们故意采取了不同的方法。在我看来,促进客户端多样性的另一种方法是使它们彼此完全不同。也就是说,针对特定用户群和用例优化客户端。比如说,Nimbus 专注于低功耗设备,而Teku专注的是机构质押市场。我想知道,通过让特定的客户端调整到特定的用户群,我们是否能够同样实现良好的部署多样性。

最终,我们可能会通过明智地使用标准来适应这两种方法。毕竟,无论明确的产品重点是什么,Teku 仍然是个人质押者的高质量客户端。但我觉得,你可能有兴趣瞥一眼我的世界。


工具


  1. Rémy Roy 根据他的详细指南,制作了一个很棒的科普视频‌,它可以教你如何监控你的验证器,这里有一些很棒的学习资料。
  2. Beaconcha.in ‌的验证器监控应用程序继续变得越来越好。有一个客户端度量导出器,你可以运行它将节点的数据导入应用程序。Lighthouse实际上是开箱即用的,不需要导出器,我们也在 Teku 中进行了本地支持。


去中心化Staking


SSV社区第二次电话会议于8月11日举行,Alon Muroch 介绍了 SSV 网络公共测试网的发布情况,此外还有一个新网站‌可供访问。

(注:SSV是“密钥共享验证器”-这是一个相当奇怪的名称,它更适合称为“分布式验证器”或“弹性验证器”。)

与此同时,Rocket Pool 测试网‌第 4 阶段已经启动,其模拟了一个完全开放的 Rocket Pool。

我对去中心化Staking的未来感到兴奋!我们非常需要这些技术。


优秀科普贴


  1. 上周,我参加了企业以太坊联盟的虚拟聚会‌,这次聚会谈论了以太坊2.0的所有事情。正如我在Twitter 上所说的,我对企业以太坊基本上一无所知,所以这只是我通常的演示。如果你想了解我们现在的位置以及我们是如何来到这里的,那就值得一看。
  2. 如果你更喜欢推文形式,这里有一个来自Pastry的以太坊2.0科普帖子‌。
  3. 这是来自 Viktor Bunin(Bison Trails) 的第15期以太坊2.0更新文章‌。


研究


  1. 目前,信标链在经历两个epoch后(约13分钟)后才最终确认,这种延迟意味着验证器有机会重组最近的链(例如在时间盗贼攻击中),这对稳定性和用户体验不利。如果仅在一个slot后就有某种程度的经济最终性(即重组链的巨大成本),那就太好了。Vitalik 在基于委员会的累积终结性模型中提出了这样一种机制‌,这将是未来实施 Casper CBC 共识的替代方案。它可以减少最低质押量,从而允许更多的验证者。
  2. 分离分片构建者和分片blob提议者角色的想法‌变得越来越重要。关于该想法的早期设计已合并到分片规范中,其主要目标是使得MEV民主化,以便其价值不仅仅被大型staking池子捕获,除此此外,该想法还有一些其他的好处。
  3. 关于分片的主题,这里有一篇关于64个分片是否是初始阶段正确分片数字‌的讨论贴,贴主建议开始时分片数量越少越好,以减少区块空间可用性的供应冲击。有趣的事实:规范中分片的最大数量仍然是1024个,我们已经设想从低数量的分片开始,然后逐渐增加分片数量。


定期电话会议


第70次实施者电话会议于​​ 8 月 12 日举行。

  1. 议程
  2. 视频
  3. 我的速记

本文链接:https://www.8btc.com/article/6674815
转载请注明文章出处

评论
登录 账号发表你的看法,还没有账号?立即免费 注册
下载
阅读
分享
评论
点赞
上一篇
下一篇