表明详细的逻辑之前，先容一下两个根基术语：一个是Stacked DRG，一个是Sector。Sector相比拟力简朴，就是一次数据处理惩罚的单元。知道硬盘布局的小同伴都知道，硬盘的最小的存储单位就叫“Sector”。Lotus回收的Sector的较量大，今朝测试网络回收的是32G。
简朴的说，Lotus/Filecoin项目由三部门构成：
区块链部门的代码，较量简朴，偏成果验证。小我私家对存储证明的部门较量感乐趣，也就是FPS。回收零常识证明技能，对存储举办证明是个斗胆的实验。
Stacked DRG是Sector数据处理惩罚的算法。对存储数据进必然的处理惩罚，并举办相应的证明是为了说明存储处事方，确实如实地存储了一些数据，而不是造假（进攻）。Filecoin很早之前回收的是“Zig Zag DRG”算法。大概因为太巨大（太慢），Lotus回收的是“简化”的Stacked DRG算法。两种算法的区别示意如下：
这篇文章，主要先容第二部门（也就是Sector的存储以及证明）的焦点逻辑。
1/ Lotus Blockchain部门 - 实现区块链相关逻辑（共鸣算法，P2P，区块打点，虚拟机等等）。留意的是，，Lotus的区块链相关的数据存储在IPFS之上。go语言实现。
Lotus的电路逻辑较量巨大，电路局限到达了1亿。证明生成的时间也很是长。整个证明计较进程，有很大的晋升空间。对Lotus的证明机能晋升感乐趣的小同伴，接待和我交换。
1. Lotus整体模块
2/ RUST-FIL-PROOF部门 - 实现Sector的存储以及证明电路。也就是FPS（Filecoin Proving Subsystem）。Rust语言实现。
3/ Bellman部门 - 零常识证明(zk-SNARK)的证明系统，主要是基于BLS12_381椭圆曲线上，实现了Groth16的零常识证明系统。Lotus官方推荐回收Nvidia的2080ti显卡，也主要做这部门的机能加快。Rust语言实现。
2. Stacked DRG
别光看Filecoin在海内的热度，深入先容Filecoin/Lotus相关零常识证明的技能文章凤毛麟角。最近有点时间，梳理了一下Lotus的PoREP的数据处理惩罚（包罗Sector处理惩罚以及回收零常识证明）的相关逻辑。Filecoin团队，在2019年下半年出了个Lotus（莲花）测试版本。测试网络的硬件设置较量高，256G内存 + Nvidia 2080TI的显卡。测试网络的节点排行榜，也成了比赛场。算力增长，出块效率，是主要的指标。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
