欧易OKEx
数字资产服务平台

以太坊20测试网频现存款失败现象,EIP-2537或成解决方案

写在前面:以太坊2.0的0阶段测试工作目前正进入高峰时期,据ConsenSys研究员Ben Edgington最新透露,开发者们在测试网上观察到了很多存款失败的情况,导致存入的32 ETH永久丢失,但由于存款合约已经过形式化验证,开发者们并不想重新设计该合约,因此提出的解决方案是在以太坊1.0中引入EIP-2537,此外还会涉及到一个代理合约,它可以收取存款人的存款,在检查无误的情况下,再转发给存款合约,当然,这一方案取决于参与者是否愿意接受。

关于Phase 0(阶段0):信标链

关于规范,我们迎来了0.12.1版本的更新,事实上,这是一个突破性的改变,但我们一致认为这将是好的,因为改变很简单,而且是在任何人在完全实施v0.12.0之前发生的。这一变化关系到信标链创世区块的时间,主要是为了让Afri 不必在当地时间凌晨2点监督测试网的启动。

与此同时,关于BLS hash to curve的08版本让我感到大吃一惊,因为我们都决定使用07版本。但仔细看,这个新版本并没有会影响到以太坊2.0的实质性改变,它只是表面和解释性的,以及关于测试向量方面的更新。目前这个新版本似乎正在进入IETF标准化的下一个阶段,所以,我们的状态很好。你可以在IETF跟踪器上查看整个历史。

在以太坊1.0的版块,开发者们正继续研究在存款合约生效前对存款进行全面验证。值得关注的是,我们在测试网络上看到了相当多的存款失败的情况,而将32 ETH永久丢失到黑洞中是一个相当严重的失败模式。解决方案的一部分,是让以太坊1.0实施EIP-2537,它为以太坊1.0合约提供了必要的加密工具来验证以太坊2.0签名(它在Eth2的0阶段之后也将非常有用)。既然存款合约已经过形式化验证,没有人真的想重新修改该合约,有鉴于此,Alex Stokes一直在研究一个代理合约,它可以收取存款,检查它,只有在一切顺利的情况下,才能将存款转发给存款合约。目前,开发者们正努力检查和优化这个合约。注意,这个代理合约同样依赖于在以太坊1.0上实现EIP-2537,我认为这还没有确定。在最坏的情况下,我们可以有一个独立的存款检查器,但这取决于人们是否有良好的使用意识。

测试网

Anthony Sassano在他的第五期每日Gwei通讯中大量介绍了以太坊2.0测试网的情况。这篇文章透露了很多可靠信息。

Witti -> Altona

两个多星期前刚建立的多客户端Witti测试网,已经变得非常无趣。测试过程中并没有出现非常有趣的事情或问题,而这恰恰是我们喜欢的。Teku、Lighthouse和Prysm这几个客户端的表现依旧很出色,而Nimbus有时会出现在仪表盘上。在一些验证者离线的情况下,有一段时间没有最终完成,而且出现了一些罚没的情况,这是导致Schlesi网络瘫痪的原因,但在客户端修复之后,Witti网络的一切都恢复了正常。

一件有趣的事情,是有人用“无穷”公钥( “infinity” public key)创建了一个验证器。这就是私钥为零时发生的情况。这是完全正确的,但这意味着任何人都可以伪造你的信息,让你被罚没。如果没有人这么做的话,我会有点惊讶,这是相当容易的。

下一步,一个新的多客户端测试网Altona正在建设当中,这个测试网会运行0.12版本的规范,而不是Witti的0.11版本,预计这将非常类似于最终的上线规范。启动将在客户端团队将其代码库更新到v0.12.1之后进行:关于更新进度,你可以查看Altona进程跟踪器。

当我们处于等待的时候,Witti仍在运行当中,所以你可以在这个测试网上进行一些质押练习!Somer Esat撰写了一篇关于使用Prysm客户端在Witti测试网上进行质押的指南,而我的《Teku指南》仍然适用,而这里还有一些关于使用 Nethermind客户端运行Eth1链的的指南。

Topaz -> Onyx

在完成出色的运行之后,Prysmatic Labs的单客户端Topaz测试网即将关闭,取而代之的会是Onyx测试网。

最新消息是,Onyx合约已收到16384 测试网以太币存款,创世区块将于UTC时间2020-06-14 05:17:24发生。

Onyx将运行0.12.1版本的规范,在技术上不再是单客户端,不过预计它将由Prysm客户端主导,而多客户端的测试工作,则会集中在Altona测试网上。

想要加入Onyx测试网?你可以访问这里。Appeatant已对如何启动和运行,做了一些逐步的说明,这是Coinchasew关于在Windows上执行所有这些操作的一个说明,而Terence已编写了一份很好的常见问题解答和故障排除指南。

工具和分析

Bitfly不满足于运行beaconcha.in,其目前还提供了关于以太坊2.0 测试网的统计信息,包括测试网节点类型和位置。当然,它还需要学习如何识别Teku节点。

Protolambda一直在制作关于Witti验证者行为的漂亮图片。

说到图片,Jonny Rhea继续深入研究Witti 测试网上的点对点行为。这里有一条推特风暴显示了一些早期的分析结果。我碰巧知道Jonny正在完成一份研究报告,请继续关注Ethresear.ch网站上接下来几天的更新,这会是一篇令人大开眼界的文章。

想要更多的图片?Bitfly已在他们的Topaz网络信标节点上可视化了所有尝试的连接。结果显示,分布情况非常好。

最后,BlockAction发布了一个新的区块浏览器!

接下来要做什么?

如上所述,Witti 测试网一直很安静。一方面,这是好的,这代表一切都在顺利进行,然而,它并不是在现实的对抗环境下运行的。为此,Danny正在起草一份攻击网络的提案,并鼓励参与者对网络发起攻击。这是令人畏惧的,但却是朝着正式推出而迈出的重要一步。

研发工作

以太坊基金会的RIG激励小组成员Barnabé Monnot发表了他的第三期研究工作:利用cadCAD模拟环境(Beacon Runner 2050),对信标链行为的密码经济学建模。其会在验证器之间添加一个模拟的异步p2p网络。用Barnabé Monnot的话来说,“我们正在接近一个成熟的基于代理的模型”。

在过去的几周中,ethresear.ch网站上关于以太坊2.0的新研究很少,但是,如果你想深入了解某些事物,并且不惧怕数学,那么你可以看一下Vitalik提出的,可有效替代Merkle树进行状态表示的新设计,在实践中,这仍然是不可行的,但可能是朝着正确方向迈出的一步。

猜你喜欢