企业培训资讯_企业培训干货

当前位置:首页 > 客户案例

Filecoin/Lotus涉及零科学知识证明的技术-立博官方网

发布时间:2020-12-29    来源:立博官方网99163

本文摘要:最近有点时间,辨别了一下Lotus的PoREP的数据处理(还包括Sector处置以及使用零科学知识证明)的涉及逻辑。Lotus使用的Sector的较为大,目前测试网络使用的是32G。StackedDRG是Sector数据处理的算法。

2019年,Filecoin却是火热的区块链项目。3月份,Filecoin公开发表了涉及的代码后,第一时间看了看Filecoin的代码。区块链部分的代码,比较简单,稍功能检验。个人对存储证明的部分较为感兴趣,也就是FPS。

使用零科学知识证明技术,对存储展开证明是个大胆的尝试。Filecoin团队,在2019年下半年出有了个Lotus(莲花)测试版本。

测试网络的硬件配备较为低,256G内存 + Nvidia 2080TI的显示卡。测试网络的节点排行榜,也出了竞赛场。

默克尔树

算力快速增长,出块效率,是主要的指标。Lotus的电路逻辑比较复杂,电路规模超过了1亿。

证明分解的时间也十分宽。整个证明计算出来过程,有相当大的提高空间。

对Lotus的证明性能提高感兴趣的小伙伴,青睐和我交流。别光看Filecoin在国内的热度,了解讲解Filecoin/Lotus涉及零科学知识证明的技术文章寥寥无几。最近有点时间,辨别了一下Lotus的PoREP的数据处理(还包括Sector处置以及使用零科学知识证明)的涉及逻辑。

1. Lotus整体模块非常简单的说道,Lotus/Filecoin项目由三部分构成:1/ Lotus Blockchain部分 - 构建区块链涉及逻辑(共识算法,P2P,区块管理,虚拟机等等)。留意的是,Lotus的区块链涉及的数据存储在IPFS之上。go语言构建。2/ RUST-FIL-PROOF部分 - 构建Sector的存储以及证明电路。

也就是FPS(Filecoin Proving Subsystem)。Rust语言构建。

3/ Bellman部分 - 零科学知识证明(zk-SNARK)的证明系统,主要是基于BLS12_381椭圆曲线上,网卓新闻网,构建了Groth16的零科学知识证明系统。Lotus官方引荐使用Nvidia的2080ti显示卡,也主要做到这部分的性能加快。Rust语言构建。这篇文章,主要讲解第二部分(也就是Sector的存储以及证明)的核心逻辑。

2. Stacked DRG说明明确的逻辑之前,讲解一下两个基本术语:一个是Stacked DRG,一个是Sector。Sector比较比较简单,就是一次数据处理的单位。告诉硬盘结构的小伙伴都告诉,硬盘的大于的存储单元就叫“Sector”。

Lotus使用的Sector的较为大,目前测试网络使用的是32G。Stacked DRG是Sector数据处理的算法。

对存储数据入一定的处置,并展开适当的证明是为了解释存储服务方,显然真实情况地存储了一些数据,而不是不实(反击)。Filecoin很早以前之前使用的是“Zig Zag DRG”算法。有可能因为过于简单(太快),Lotus使用的是“修改”的Stacked DRG算法。两种算法的区别转身如下:有两点必须解释:1/ Stacked DRG的每个节点以及每层之间不使用Zig Zag的倚赖关系。

也就是说,每个节点和其他节点的倚赖关系是相同的。2/ 在每层(Layer)之间减少节点的倚赖关系。3. Sector处置(Precommit)过程Sector处置,也就是传说中的precommit阶段,主要由如下的数据处理构成:a. 针对原始数据结构默克尔树tree_d(sha256),树根为comm_d。

b. LabelEncode计算出来:原始数据,每32个字节,称作一个Node。每128M分成一个Window。32G的Sector有256个Window。每个Window,按照Stacked DRG算法,分解4个layer的数据。

的是

从上一个Layer,通过Encode计算出来分解下一个Layer的数据。Encode计算出来,目前就是模加操作者。将Window的编号和Stacked DRG的节点关系通过sha256算法,分解“key”。

将Key和原始数据展开模加分解Encode计算出来的结果。c. Layer4的分解数据,结构默克尔树tree_q(pedersen),树根为comm_q。

Layer4的分解数据,再行经过一层exp的倚赖关系,结构默克尔树tree_r_last(pedersen),树根为comm_r_last。d. Column Hash计算出来Layer4的256个Window的数据中,同一方位上的Node,拼凑在一起,hash后分解Column Hash的结果。

留意,Column Hash的计算结果只有一个Window大小。针对Column Hash的计算结果,结构默克尔树tree_c,树根为comm_c。必须上链的数据是以上所有的默克尔树根的树根:comm_d以及comm_r。

其中comm_r是(comm_c|comm_q|comm_r_last)的pedersen hash的结果。核心代码在rust-fil-proofs/storage-proofs/src/stacked/proof.rs的transform_and_replicate_layers函数中。感兴趣的小伙伴,可以根据下面的调用关系查阅明确的代码。


本文关键词:证明,分解,立博官方网,测试网络,构建

本文来源:立博官方网-www.pushujj.com

分享到:
相关推荐MORE+
04-17 立博官方网:施工工地违规搭建员工宿舍 油城消防依法查封

本文摘要:伴随着平均气温提高,各种生产制造基本建设转到热季,为竭力预防和遏制有影响的安全事故的再次出现,6月4日,新疆省克拉玛依市 查验中,观察员关键对工程施工施工工地工程建设否经消防设计核查达标;消

04-17 长安汽车涉嫌欺骗消费者海南车主质疑CS75召回理由:立博官方网

本文摘要:而针对奇瑞汽车的召回计划方案中的处理对策,众多北京长安CS75车主并不认同,来源于南京市的郎老先生向举报称,他购买的北京长安CS75在开展了召回解决后,车辆出現了柴油发动机噪声增大、驱动力降

04-17 立博官方网:自媒体再获肯定 汽车情报新媒体荣登“双料王”

本文摘要: 岁尾今年初,我国汽车新闻媒体新力量汽车情报新媒体再创佳绩,各自获得2016中间最没有知名度汽车新媒体及二零一六年度最好合作方两大荣誉奖,为我国汽车自媒体平台的发展趋势再次另配笔酣墨饱的一笔

04-17 立博官方网:大众平台最高可产5,000万辆 或授权第三方使用

本文摘要:据美联社报道,大众集团公司CEOHerbert Diess在拒不接受新闻媒体采访时答复,大众的新电动车平台最少可生产制造5,000万台电动车,而且集团公司已经充分考虑改造在国外的生产规模。据

立博官方网|法国天才已被推荐给皇马 巴萨当年也想要买他 立博官方网_2003年12月太湖流域水质通报
热门文章
315曝光的Wi-Fi探针到底是什么?如何有效防范?
立博手机版_光纤激光打标机打标效果不均匀原因简析
俄罗斯间谍利用Twitter掩护网络入侵【立博手机版】
RivVR为Rift和Vive推出无线解决方案
立博官方网|PCBA的故障分析
华为XLabs与KUKA联合展示5G使能的工业机器人应用|立博手机版
立博官方网:星瀚资本杨歌:科技含量应当是科创板门槛,人工智能远未达到爆破点
立博手机版|供应链通知苹果:全球肺炎疫情将影响iPhone增产一成计划
【安防大学堂】半数字可视对讲系统与全数字有何区别
立博手机版_携带传感器的热气球可精准预测飓风路径
科技行业联手提高人工智能研究可控性|立博官方网
立博官方网|iPhone 12消息汇总:设计回归经典 有望支持5G网络
眼神科技与富士康签署战略协议,面向工业4.0时代的AI落地|立博官方网
立博官方网-两房一厅住宅智能家居场景设置方案
以太坊智能合约及大部分Token都在用的ERC标准是什么?【立博官方网】
客户案例
×