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

自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的现状。

BlockFi破产案法官明年1月决定是否将Robinhood股票转移到中立账户:金色财经报道,负责监督BlockFi正在进行的破产案的法官今天同意审查一项请求,该请求可能会使5600万股Robinhood股票转移到一个中立的地方。

法官尚未同意将这些资产转移到一个中立账户,法官将于2023年1月决定是否转移资产。

如果BlockFi的请求成功,这些股票将被存放在经纪人或托管账户中,直到法庭程序确定谁真正拥有这些有争议的股票。这些Robinhood股份目前由Emergent Fidelity Technologies持有,该控股公司由SBF持有90%的股份。当时,这些股票价值4.82亿美元。[2022/12/29 22:14:43]

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

黑客组织BlueMockingBird在数千台企业电脑中非法开采门罗币:安全公司红Red Canary最近发现,黑客组织BlueMockingBird瞄准了数千台企业电脑,非法开采加密货币。据悉,黑客特别针对运行ASP的面向公众的服务器,在获得访问服务器的权限后,黑客下载并安装门罗币挖掘应用程序XMRRig。(FinanceMagnates)[2020/5/26]

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

Blockchain.com昨日系统故障,比特币内存池跟踪器骤降至零:金色财经报道,3月13日,加密钱包服务和区块链数据供应商Blockchain.com突发系统故障,其比特币内存池跟踪器骤降至零。在未经确认的比特币交易大幅增加之后,Blockchain.com上的内存池图表从32MB急剧下降至零。其他跟踪器(如Satoshi.info)指出,在Blockchain.com图表崩溃期间,其内存池的大小约为35 MB。截至目前,图表已恢复到30 MB左右。Satoshi.info指出,这显然是Blockchain.com独有的一个系统漏洞。[2020/3/14]

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

Blockchain CEO:加密货币可独立成为金融体系一部分:Blockchain CEO Peter Smith今天在雅虎财经全市场峰会加密货币部分表示:“我来这是为了建设更好的金融体系,而不是为了和其他公司竞争。我是有竞争心的人,但与此同时,我认为我们应当把行业放在首位。”Smith提到1998年,他说那时候人们很难投资股票,但现在加密货币则恰恰相反。他评价加密货币说:加密货币最厉害的地方之一就是在不和任何国家有关联的情况下成为金融体系的一部分。[2018/2/8]

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

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年如期创世。准备好你的质押品吧:)

原文链接:

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

作者:?JustinDrake

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

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

银河链

DOGE区块链带来的并非取代 而是产业共融

生而为人,各有不同,当我们随着时间流逝不断成长的过程中,思想也在不断发生变化。有的人喜欢怀旧,重新追求过去的记忆;有的喜欢未来,总在不断追求新的改变;有的人喜欢稳健,深耕现在的一切,不回想过去,不空想未来.

[0:0ms0-2:212ms