ETH2.0:推动Eth2.0 2020如期创世 BLS 签名与Eth2.0的故事

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

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

2018年10月,我写信告诉DanBoneh说:「我们正在考虑效仿Zcash和Chia,在ETH2.0中使用BLS12-381曲线。」对此,他回复道:「BLS12-381曲线是正确的选择。」当时的背景是,一篇2016年的论文将BN254的安全等级从大约128位降至110位。鉴于区块链基础设施的设计目标是能够沿用数十年,为此我们采取密码学保守主义,而且ETH2.0研究团队确实不满意BN254的现状。

Starknet alpha v0.12已在测试网上线,7月12日将上线主网:7月5日消息,Starknet已经在Georli测试网上线Starknet alpha v0.12,新版本使用Rust blockifier和LambdaClass的Cairo VM来加快排序器处理事务的时间,支持Cairo编译器v2.0.0版本,将PENDING状态变更为ACCEPTED_ON_L2( 一旦交易处于该状态,这意味着将被包含在区块中),并添加了实验性系统调用。

根据Starknet治理促进者此前发布的Starknet v0.12.0部署时间线,7月12日Starknet v0.12.0将部署至主网。[2023/7/5 22:19:09]

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

韩国监管机构将推出加密审计指南:金色财经报道,韩国金融监管机构透露,它希望为加密货币相关公司引入审计指南以应对Terra-LUNC事件和FTX的倒闭。目前的会计制度并没有为持有加密货币的公司提供选择权。根据Asia Kyungjae的说法,监管金融监督服务局 (FSS) 表示已制定计划以支持虚拟货币会计。FSS 表示,在与韩国会计准则协会和韩国注册会计师协会 (KICPA) 会谈后,它起草了该倡议。拟议的新准则将迫使公司披露加密货币发行和代币销售。他们还将有义务在发布强制性财务报表时披露他们持有的代币。[2022/11/16 13:13:03]

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

部分黎巴嫩人进行比特币挖矿并使用USDT支付日常开支:11月7日消息,受到当地恶性通货膨胀以及银行限制美元提款的影响,一些黎巴嫩人正在进行比特币挖矿或使用加密货币储存财富。与美元挂钩的稳定币USDT也很受欢迎,用户可以用其兑换现金、支付日常开支。(CNBC)[2022/11/7 12:29:07]

2019年9月,CarlBeekhuizen写了三个EIP,从除IEFT标准以外的方面对BLS进行标准化,例如,量子安全备份、HD钱包和密钥库等。

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

皇家马德里和巴塞罗那提交加密货币交易管理软件商标申请:金色财经报道,美国商标局商标注册律师Mike Kondoudis在社交媒体上发文表示,皇家马德里和巴塞罗那已提交联合商标申请,范围涵盖:虚拟现实游戏、虚拟服装、鞋类、头饰、加密货币交易管理软件。[2022/8/11 12:19:01]

2020年1月,Supranational告诉我,他们相信自己能够创建一个库,不仅在性能上优于Herumi库,而且对形式化验证更友好。为此,他们还专门找来了AndyPolyakov。AndyPolyakov是一名专门研究高性能密码学的工程师,具备形式化验证的经验。

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

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

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

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

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

来源:金色财经

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

金星链

[0:0ms0-1:381ms