ETH2双周刊

Eth2进展更新(截至2020/3/6)

来源 | What‘s New in Eth2

作者 | Ben Edgington

 

上周文章精选

上周必读文章出自我的资深同事Joseph Chow,《阐释以太坊2.0信标链》,文章内容紧扣标题😃

 

阶段0 信标链

阶段0规范即将正式迎来更新 (v0.10.2?),主要包含一些来自外部审计 (审计结果即将发布) 以及网络 (networking) 方面的内容。

测试网

测试网又出现了大新闻Prysm的Sapphire测试网中出现了首次验证者被罚没的情况。

此处是事发区块,页面底部说明了“1 attester & 0 proposer slashings” (1个证明者&0个区块提议者被罚没)。

究竟发生了什么?该区块的提议者打包了一名生成证明 (attestations) 的验证者出现罚没行为的证据。我们可以从Prysm API的相关数据中看到attesterSlashings (证明者罚没) 对象,其中就包含了该名验证者进行矛盾投票的证据:

  • 验证者 #35293 使用信标区块根 (“YnJ1aGFoYQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=” )对源检查点 12757 和目标检查点 12758 进行了一次投票;
  • 同一名验证者继而又使用了一个不同的信标区块根(“kJtJdW/ZLB+dJkLgsxvNQzLM1uAdbe/Au3YsSNOiY2A=”)对同一个源检查点和目标检查点进行了投票。

该行为被认定是“双重投票” (double vote,针对同一目标epoch却包含不同证明数据的两次投票),根据Casper FFG共识规则,这是一种会被罚没的行为。因为对于正常工作的验证者来说,即使是无意之举也不会发生这种情况,事因要么是验证者故意为之,要么就是出现bug。

验证者记录中我们也能看到其被标记罚没并且退出了网络。一旦被检测到不端行为,验证者会被罚没0.1 ETH (在正式信标链网络中,罚没金额为1 ETH),并且在之后的18天中会面临另一次罚没惩罚,罚没金额取决于有多少其他验证者在此期间也被罚没。

译者注:为了降低验证者无心之举的损失,罚没金额与同时段被罚没的验证者数量呈一定比例。如果大量验证者同时被检测到不当行为,那么很大几率会被视作是针对Eth2网络的攻击行为。

整件事的重点在于,Prysmatic团队能够检测到该罚没情况。在整个网络的活动中,这绝对不是无足轻重的行为。

测试网相关消息还有:我们的PegaSys客户端Teku与Prysm测试网进行了同步。当时同步速度非常慢,但之后我们实施了一些速度优化措施,包括使Teku合并一个大型PR以实现新的二叉树数据结构以及其他措施。Prysm目前正在与Lighthouse的EthDenver测试网进行同步。看好联合测试网!

测试工作

Protolambda用于Eth2网络测试的Rumor REPL工具即将投入使用,目前正在筹备基于该工具的网络测试策略

Sigma Prime针对不同客户端的模糊测试工作进展良好

Eth2奖惩机制

ConsenSys Pukara (staking即服务) 团队的Herman Junge撰写了一篇有关Eth2奖惩机制的详尽文章,过去几个月我一直尝试创作类似的文章,可我发现有太多细枝末节需要涵盖。Herman完成得很棒😃

与此相关的还有奖惩模拟器代码,以及一些模拟工具:1, 2.

 

常规会议

▫实现者会议

Networking会议

  • Networking团队在3月4日举行了会议。我从这次技术性电话会议中整理了一些笔记
  • EthCC活动期间还举行了一次特别会议,此处是摘要笔记,基本上可以说是“官方”测试网的初步计划

无状态以太坊 (即Eth 1.x)

  • 2月25日进行了一次无状态以太坊会议,此处是Griffin的整理
  • ​Piper Merriam在EthCC上的演讲 (参见下文) 是针对当前无状态以太坊进程的一次总结

 

EthCC

下面是EthCC期间所有关于Eth2演讲的汇总(演讲视频和幻灯片),我额外加入了一些Eth2相关演讲。

第一日 2020/3/3

▫Will Villanueva:来自Quilt团队的阶段2更新 (视频/幻灯片),由于投影出现问题,十分钟后变成现场问答环节

▫EF研究团队:Eth2Real工作坊 (视频/幻灯片),遗憾的是视频中丢失了许多片段

▫Vitalik Buterin:资助生态系统的各基础项目 (视频),开头丢失,音质在七分钟之后会好一些

▫Joseph Lubin:主题演讲/炉边谈话 (视频)

▫Monnot Barnabé:RIG Bouillabaisse: eth2以及其他激励机制 (视频/幻灯片),请注意视频的标签有误

▫Vlad Zamfir: 谈CBC Casper中的活性 (视频)

▫Cayman Nava:Eth2使用简单序列化 (视频)

第二日 2020/3/4

▫Aditya Asgaonkar:Eth2.0的设计选择 (视频/幻灯片)

▫Mikerah Quintyne-Collins:Eth2.0中的验证者隐私 (视频)

第三日 2020/3/5

▫Alex Stokes:Eth1遇上Eth2:预知未来 (视频/幻灯片)

▫Piper Merriam:无状态以太坊 (视频)

▫Christopher Goes:Eth2.0的跨区块链通信 (视频)

▫Mehdi Zerouali:Lighthouse:通向Eth2主网 (视频/幻灯片)

 

研究工作

Mikhail Kalinin目前正致力于 Eth1 <-> Eth2双向桥接的研究,其中在Eth1 链上运用“最终性小工具” (finality gadget) 正处于讨论阶段。Mikhail在EthResearch的贴文中对最终性小工具进行了分析。对于双向桥接这类架构而言,是否能够观测到信标链至关重要,最近Mikhail还撰文介绍了FFG客户端的可能雏形

目前有许多工作围绕着无状态以太坊在展开。此处是提供见证 (witnesses) 所面临挑战的讨论。以下还有Sam Wilson的相关演讲。

Dankrad简要叙述了原子跨分片交易的一种不需要太多设备的实现方式。

这篇文章分析了一些零知识加密原语在Ewasm上的性能表现,这对于阶段2来说可能很有价值。

 

其他新闻

NimbusPrysm的开发进展。

▫上周的EthLondon黑客松有许多参与者!有些人赢得了现金奖励!

▫Sam Wilson在Eth222期间的有关Dynamic State Access & Solidity (获取动态状态&Solidity) 的幻灯片。如果状态的获取是“静态的” (提前可知),那么 (在未来的无状态以太坊中) 提供见证会更加容易。这一系列推文解释了原因。在演示中,Sam给出了一种提示开发者非静态 (动态) 状态获取的Solidity方式。他的etheresear.ch贴文中还有一些不错的讨论。

▫Quilt团队的阅读清单

▫Vitalik在BlockTV中的十分钟访谈,涉及Eth2等内容。

 

最后的最后……

我仍然在全然投入有关Eth2规范注解的工作。进展不是很快,主要原因是有许多需要深究的主题,探索过程非常令人着迷。

无论如何,希望读者能去看看,期待你的反馈。