推动Eth2.0 2020如期创世 BLS 签名与Eth2.0的故事_BTC:区块链

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

福州市长乐区运用区块链技术推出首个县级线上公证服务平台:近日,福建省福州市长乐区行政服务中心在全省推出首个县级线上公证服务平台——区块链公证平台。长乐公证处公证员李杰表示,“作为全省首个县级线上公证服务平台,区块链公证平台让办证群众在家动动手指就能在线申请。公证人员也只需登录平台核验系统,就可以核查民政婚姻、户籍、卫健出生、不动产等信息的真伪。”目前,“长乐区块链公证平台”开放了用户登录、在线申请、线上核验、公证书上链、信息溯源、实时监控等七大功能,实现“发起公证申请→公证人员核实材料真伪→出具国内使用的区块链加密电子公证书→实时通知申请人”一站式、流程化公证办理。(福州日报)[2021/8/11 1:47:24]

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

福州市将对运用区块链等建设数字应用示范工程的企事业单位给予补助:《福州市促进新型基础设施建设和融合应用的若干措施》近日已经市政府2020年第16次常务会议审议通过。制定的政策措施包括,加快数字应用创新发展。支持数字应用示范,对企事业单位运用云计算、互联网、大数据、物联网、人工智能、区块链、5G等重点领域建设数字应用示范工程,市级扶持项目为未列入省级专项资金补助的项目,按其投入给予补助,单个项目补助金额不超过200万元。此外,培育引进骨干企业。对经权威机构认定的中国人工智能、软件、互联网、区块链百强企业,以及获得数字中国创新大赛等各类国家级赛事项目前十名的初创企业来榕落户,对实际到资金额达到2000万元(含,不包括各级财政投入部分)的,按照企业首次达到上述标准时实收资本的10%进行补助,补助金额按4:3:3的比例分三年拨付,单家企业不超过500万元。(福州新闻网)[2020/6/13]

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

政策 | 福州出台加快区块链产业发展三条措施:据福建日报报道,近日,福州市立足区块链产业发展需求,出台《关于加快区块链产业发展的三条措施》。?内容包括:支持优质企业(机构)落地;支持创新示范应用;支持产业平台建设。?据介绍,该措施适用于工商、税务、统计关系,从事区块链技术创新和场景应用等,实缴注册资本在100万元以上,具备独立法人资格、实行独立核算、实际运营情况良好,且承诺在五年内不改变上述关系的区块链企业(机构)。对在福州市辖区内产业发展有重大贡献、能带来重大经济社会效益的,还可按“一企一议”原则给予扶持。[2019/6/11]

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

动态 | 区块链的使用将推动智能票务业:据globenewswire.报道,报告显示,区块链的使用将推动智能票务业,智能票务市场预计将从2018年的101亿美元,达到20123年的204亿美元,复合年增长率为14.99%。[2018/12/5]

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

来源:金色财经

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

金宝趣谈

[0:0ms0-3:494ms