http://www.7klian.com

BLS如何使以太坊2.0实现32ETH最低抵押和1024个分片

自 ETH 2.0 采用 BLS 签名技术以来已有 2.5 年左右,以下是一些里程碑事件。

2018 年 5 月,我在 ethresear.ch 上发表了一篇文章,指出 BLS 签名可以让 ETH 2.0 实现 32 ETH 的最低质押机制,以及 1024 个分片,可以将去中心化程度和可扩展性提高几个数量级。

2018 年 10 月,我写信告诉 Dan Boneh(以太坊基金会的密码学顾问)说:“我们正在考虑效仿 Zcash 和 Chia,在 ETH 2.0 中使用 BLS12-381 曲线。” 对此,他回复道:“(以我们的现有知识来看)BLS12-381 曲线是正确的选择。” 当时的背景是,一篇 2016 年的论文将 BN254 的安全等级从大约 128 位降至 110 位。鉴于区块链基础设施的设计目标是能够沿用数十年,为此我们采取密码学保守主义,而且 ETH 2.0 研究团队确实不满意 BN254 的现状。(使用 BLS 签名的另一个原因是,在密码学生产系统中使用曲线配对本身就很激进了。)

在 2019 年 3 月和 4 月,我们做了一些号召工作。我联系了很多区块链项目(Chia、Filecoin、Dfinity、Cosmos 和 Ledger 等),旨在让所有项目都采用同样的密码学原语,以便实现互操作性、库重用、共享安全审计等。具体来说,我们的目标是号召人们参与 IETF BLS 标准化工作。这项工作是独立启动的,当时仍处于萌芽状态。有数十个人参与这项工作,创建了 Telegram 群组,并定期举行电话会议。

还是在 2019 年 4 月,Riad Wahby 在这篇文章中提议了针对 BLS12-381 的常量时间曲线哈希。常量时间哈希的用处很大,可以简化 SNARKs 的算术化,简化区块链操作码的 gas 计量,为特定应用解决时序和 DoS 攻击问题,也就自然而然地成为了 IETF 标准的一部分。实际上,剩余标准化工作(例如,选择生成器和点序列化)很多都是由 Zcash 完成的。

2019 年 9 月, Carl Beekhuizen 写了三个 EIP(2333、2334、2335),从除 IEFT 标准以外的方面对 BLS 进行标准化,例如,量子安全备份、HD 钱包(分层确定性钱包)和密钥库等。

2019 年 11 月,我们正在研究性能最好的 BLS12-381 实现。我自己开始学习更复杂的 BLS 优化,并在 Prysm 的 Raul 的介绍下认识了 Shigeo Mitsunari(目前最快的实现 Herumi 库的作者)。几周后,以太坊基金会给了 Shigeo 一笔资金,让他跟进 IETF 标准的草案,为 ETH 2.0 客户端写一些 binding,并提升 Herumi 库的性能。虽然 Herumi 库的性能是最好的,但是这个库非常复杂,很难进行形式化验证。

2020 年 1 月,Supranational【该团队由三名 Intel 前资深员工组成,负责 VDF(可验证延迟函数)项目的所有硬件工作,我每周都会与他们进行电话会议】告诉我,他们相信自己能够创建一个库,不仅在性能上优于 Herumi 库,而且对形式化验证更友好。为此,他们还专门找来了 Andy Polyakov。Andy Polyakov 是一名专门研究高性能密码学的工程师,具备形式化验证的经验

2020 年 4 月,以太坊基金会和 ProtocolLabs 给了 Supranational 一笔资金,用于构建生产级库,并让汇编实现通过 Galois 团队的形式化验证。2020 年 6 月,第一版 BLST 上线,性能惊人。接下来的几个月,由于创建了绑定,并得到了集成支持,ETH 2.0 客户端集成了 BLST。ETH 2.0 客户端在性能上得到了巨大提升(关于具体的例子,请查看这里和这里)。

在 2020 年,我们必须应对的复杂因素之一是,IEFT 标准草案的修改。这些修改在很大程度上是我们所无法控制的。虽然这些修改从技术层面上来看很小,但是在操作层面上很难,因为需要多个参与方之间进行协调。这些修改造成了很大的摩擦,有时需要花费数小时来讨论具体细节(细节决定成败)。

2020 年 9 月,BLST 库被移交给了 Galois 团队。同时,形式验证取得了重大发展。同样在 9 月,Danny(又与 ProtocolLabs 一起)写了一篇征求意见书,要求审计 BLST 的 binding(这部分不属于形式化验证)和汇编(未经过 100% 的形式化验证)。审计工作由 NCC 公司负责,并于 10 月开始。NCC 有望在几周内完成绑定的审计工作。

总而言之,这无疑是一个漫长而曲折的过程,涉及早期研究、密码分析安全性、标准化、性能、形式化验证和审计。我们所走的每一步都是在努力朝着正确的方向前进,而不是为了走捷径。正如我在这条推特中所言,我们在增加以太坊 2.0 的实现难度,放弃了原本可走的捷径,追求长期的质量。

我希望上述内容可以让大家明白,为了向正确的方向迈进,我们投入了大量工作,比我在 2018 年预期的还要多。我想,每个关注 ETH 2.0 的人都致力于推动 ETH 2.0 在 2020 年如期创世。准备好你的质押品吧 :)

原文链接:

https://www.reddit.com/r/ethfinance/comments/jghide/daily_general_discussion_october_23_2020/g9sz7jm/

作者:?Justin Drake

翻译&校对:?闵敏&?阿剑

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

相关文章阅读