通告 | Eth2 更新速览,No.9
我的更新可能有些慢了,非常抱歉。这篇速览发布以后我会保证定期更新。Eth2 总体来说进展顺利 —— Phase0 的各项规范已经确定下来了,客户端团队正日夜兼程,而且一些颇有前景的研究表明无状态模式并不遥远。
摘要:
-
Phase 0 技术规范 v0.11.0 已放出
,作为多客户端测试网的稳定目标 -
论述 GHOST 与 Casper 结合特性的论文
已放出 -
多项式承诺
看起来对无状态模式很有用 -
IEFT BLS 技术规范有一些变化
,但后续应该不会再有改动了
经过审计之后,Phase 0 技术规范 v0.11.0 放出
Phase 0 技术规范 v0.11.0 —— 代号 “Lan party”
—— 已于上周放出。本次更新代表了一个 “经过审计” 的 Phase 0 技术规范,以准备作为多客户端测试网的长期不变的实现目标。
该更新对核心共识机制只作了少量修改,大部分的改动放在细化网络协议上 —— 例如,提出更清楚的同步协议、强化 DoS 抗性,更好地把网络与链分离,等等。我们的 更新说明
里有更详细的信息。
客户端团队正在努力吸收这些更新,同时继续推行稳定性、优化工作和多客户端协同实验。实际上,客户端团队在三月的工作主旋律就是为即将到来的多客户端测试网打基础。现在,Teku 客户端可以与 Prysm 客户端同步,Prysm 可以与 Lighthouse 同步,大部分使用 DiscoveryV5 的实现都可以发现彼此了。
##论述 GHOST 与 Casper 结合特性的论文已放出
本周,我们 在 arXiv 平台上放出了《Combining GHOST and Casper》论文
。这篇论文形式化了 Eth2 的核心共识机制 —— Casper FFG 和 LMD-GHOST ——证明了两者的结合如何能够形成一个安全且具备活性的系统。这篇论文的基础是由 《Casper the Friendly Finality Gadget》论文
首创的概念,并将这些概念放到了更具体的权益证明及按时隙推进的语境下(即 Eth2 信标链的设计)。
该论文是跟 Phase 0 规范的发展同步产生的。它不仅影响了 spec 的设计,还点出了一些必须得到解决的关键问题。我们也非常高兴能放出这篇论文,接受大家的欣赏、评论,反馈乃至批评。
该论文脱胎于 Vitalik 讲解过的 “mini-spec”
,但大部分工作是由 Yan X. Zhang 和他在圣何塞州立大学(San Jose State University)的学生推动并完成的。我们在此对 Yan 和他的学生 —— Diego Hernandez、Thor Kamphefner、Khiem Pham、Zhi Qiao、Juhyeok Sin 和 Ying Wang —— 表示诚挚的谢意,感谢你们完成了 Eth2 的关键里程碑。
多项式承诺对无状态模式很有用
Vitalik 最近写了一篇激动人心的 ethresearch 帖子: 《Using polynomial commitments to replace state roots》
。该文提议使用多项式承诺(polinomial commitment)替代传统的默克尔树累加器,用于表示区块链的状态和数据。如果这个研究方法是对的,那么我们就可以将 “见证数据”(即处理一个区块所需的状态证据)大小从 0.5MB 减小到 10KB 以内,解决无状态以太坊研究中的核心问题。
再讲清楚一点:以太坊现正努力向一个更加 “无状态” 的模式转型(请看以太坊 1.x 的研究)。多项式承诺可能会是一个重大突破,因为它能大幅减少无状态模式在区块大小上的开销。
虽然这一方向看起来颇有前景,但一些研究和天花乱坠的数学仍然是 非常前沿的
。我们需要花更多时间来理解其中的复杂性及其牺牲、获得对新技术和已有技术的更深刻洞见。
IETF BLS 标准有少许变化
IETF BLS 标准近期基于一些来自不同应用和领域的外部意见,在临近截止之前吸收了一些改进。之前的 hash_to_base
对需要特定类型的 domain separation 的嵌入式系统和应用是不友好的,对使用 SHA-3 而非 SHA-2 的应用也不友好。
得到 这些意见
的启发,
新的 hash_to_field
替代了 hash_to_base
。Spec 的维护者并不希望对 spec 有任何实质性的修改,因此这一变化很快会以 “草案 6” 的形式发布。
就密码学标准而言,我们不希望处于像 ETH1 一样的境地 —— ETH1 几乎是唯一一个使用 Keccak256 哈希函数的大型应用。变成一座密码学孤岛会阻碍跨应用互操作性的实现,也会阻碍可靠实现的开发。
我们正密切关注 IEFT 标准的进展,但有了这次经验,我们已经不急着在以太坊主网部署保证金合约了(因为一旦部署,就意味着我们所用的 BLS 算法已经锁定),我们会等到 Eth2 的实际发布期。我们会继续评估 IEFT 标准的稳定性,而且估计它不会成为我们启动的瓶颈。
另外,我们很快会发布一个保证金接口,并为即将到来的、可长期存在的多客户端测试网部署一个保证金合约。不过这都是下一期的内容啦。
原文链接: https://blog.ethereum.org/2020/03/17/eth2-quick-update-no-9/
作者:Danny Ryan
翻译:阿剑