以太坊2.0进展更新（截至2019年8月31日）

由于第 0 阶段和第 1 阶段规范不再处于不断变化的状态，现在是仔细审查和评估这些规范的时候了。

Deposit Contract 已经过 Runtime Verification 的审计，我真的很高兴看到更多这样的事情发生：对它的关注越多越好。

本周，已经在研究阶段 0 的分叉选择规则和阶段 1 的托管证明构造。

01.分叉选择规则

Casper CBC 研究员 Ryuya Nakamura 描述了针对 LMD GHOST [4] 的“诱饵触发器”攻击。 这种攻击不会危及 Eth2.0 网络的基本安全性，但在某些情况下，攻击者可能会利用网络故障来延迟信标链数小时以最终确定区块。

【备注：LMD GHOST是信标链使用的分叉选择规则，即证明（得票数）最多的分叉链为Eth2.0网络中的“权威链”】

我的理解是，当网络出现故障时，攻击者（需要控制大部分网络，但不到 1/3 的验证者）可以“保存”其证明（对块的投票），然后使用这些证明来稍后延迟信标链上区块的最终确定。 这暗示了 LMD GHOST 规则的一些可操作性。

Ryuya 提到，一种可能的防御方法是将分叉选择规则修改为 FMD (fresh message driven) GHOST：验证者的证明仅在有限的时间内有效，因此攻击者无法“保存”证明。 但关于 FMD GHOST 的细节还没有分析，一个担忧是 FMD GHOST 不会与 Casper CBC 兼容。

02.保管证明

同时，密码学家 Dmitry Khovratovich 受委托使用 Legendre PRF 来审核所提议的生成托管证明的机制。 有关托管证明问题的介绍和背景信息，您可以查看此文档：

在他的审计文件 [5] 中，Khovratovich 发现了最初提出的托管证明结构的几个问题，以及可能改进的针对 Legendre PRF 本身的攻击。 他提出了一个新的托管证明协议[6]，它仍然使用 Legendre PRF，并且已经提议将这个新的托管证明协议集成到 Phase 1 规范中[7]。

以太坊基金会提供了一些赏金 [8] 用于发现针对 Legendre PRF 的潜在攻击，甚至一些赏金将用于针对 Legendre PRF 的论文。

开放式问题

以下是我最近注意到的关于 Eth2.0 规范存储库的一些未解决问题：

开发者电话会议

8 月 29 日，第 24 届 Eth2.0 实施者电话会议召开。

此电话会议包含许多更新。 我就不赘述了，我的笔记[18]已经对主要内容做了简单的介绍。 有几件事值得注意：Protocol Labs 与 EthBerlin 合作制作一些出色作品的赏金计划，以及即将推出的互操作性计划（见下文）。

研究

其中一些研究主题来自 ethresear.ch。

人们越来越关注如何维护验证者的隐私/匿名性。 这方面很重要，因为：

上面的第二个问题可以通过“secret single leader election（秘密选择单个区块提议者）”来解决，即在每个时隙期间，某个验证者可以知道他是该时隙期间唯一被选中的区块提议者，而验证者之后可以证明他提出的区块是正确的，但这无法提前计算。

为此，PegaSys 团队成员在几个月前提出了一种机制[19]。 贾斯汀·德雷克 (Justin Drake) 改进了此机制的有效性，现在它已成为可能。 Justin Drake 改进的方式是：Low-overhead secret single-leader election [20]。

关于第一个问题，PegaSys团队的研究是：Anonymity: a ZKP to remove the mapping ip address/wallet's public key of a validator [21]，Mikerah也在做这个研究：Privacy-Preserving Casper FFG using Traceable Ring签名[22]。

另一个研究课题是以太坊更新，目前有一个有趣的讨论是围绕在 Eth1.0 链和 Eth2.0 信标链上实现不同的 ETH 发行率。 此次讨论可能产生的影响是：信标链中的奖励将从何而来？ [23]

Gitter聊天频道讨论

过去两周在 Gitter 频道 [24] 中讨论的主要话题包括：

互操作性

早在今年 5 月以太坊更新，在纽约的 Eth2.0 聚会期间，Joseph Delong 提议为每个客户举办一次互操作性“锁定”聚会。 计划是让所有客户端团队尝试将他们的客户端实现连接在一起（测试互操作性），以查看哪些有效，哪些需要修复。 约瑟夫·鲁宾 (Joseph Lubin) 愿意承担这次聚会的大部分费用。

在过去的三个月中，所有客户团队都在努力实现互操作性：实施并通过通用参考测试、协作制定网络规范、实施工具以快速构建和运行测试网络等。 在这方面，6 月底 Phase 0 规范的冻结起到了很大的帮助，给了各个客户团队一些更稳定的目标。

好了，派对时间到了！

在下周，我们将有 45 人聚集在安大略省一个偏远的湖边小屋，其中包括所有客户团队、一些以太坊基金会成员、一些 Whiteblock 成员，以及在以太坊基金会工作的第 2 阶段的 Quilt 团队和 Ewasm 团队。

Whiteblock CEO Antoine Toulme被任命为meetup的技术总监，确保我们能够有序推进，有效解决分歧。

在聚会结束之前我不会更新 Eth2.0 的工作进展，但我会在三周内发布关于聚会的完整报告。同时，你可以在推特上查看大量精彩活动

Jacek Sieka 的这条推文就是一个很好的例子 [35]：Nimbus 与 Lighthouse 通信。

祝我们好运！

其他新闻

文章中涉及的链接：

【文章版权归原作者所有，其内容和观点不代表Unitimes立场。 发表文章只是为了传播更多有价值的信息。 合作或授权请发邮件至editor@unitimes.media或加微信unittimes2017】

你在“看”我吗？