Filecoin的证明系统(三)

 空投币   2020-05-21 18:38   2123 人阅读  0 条评论
币圈消息 币圈分析 新币上市 有奖活动
交易公告 羊毛活动 优质活动 最新空投
今日行情 推荐项目 糖果空投 APP下载
【总结】近期优质项目汇总!

在昨天的分享中,我们介绍到Filecoin的复制证明是一个编码过程,这个编码过程结束后会产生一个replica。

那么在产生了replica之后,系统要做什么呢?接下来,系统还要证明这个编码过程是正确的。

为此,我们有两种选择:一是在一个SNARK中执行一次完整的编码过程,但这个代价非常大;二是我们随机抽样选择一些问题来挑战我们的replica以证明编码过程是正确的。

我们选择了随机抽样的方法---比如抽样1000个问题来验证这个replica,然后在一个SNARK中做这些抽样计算。我们选取经过编码的数据,然后将其解码,如果解码的数据都吻合原始数据那就证明这个编码过程是正确的。

如果不选择随机抽样的方法而是在SNARK中执行一次完整的编码过程,那计算所得的数据量将大得惊人(注:在SNARK中进行计算的过程也能压缩最终所得的数据)。

由于在这个计算过程中,我们会随机抽样多次进行计算。我们会先抽样得到一个场景,计算出一个结果,然后改变某个参数,再计算得到一个结果。这个过程重复下去直到抽样计算的过程结束。

因此在计算过程结束之后,我们会得到多个不同的参数,每个参数都对应一个场景。这个计算过程是相当耗时的,对系统设计来说也是一个很大的挑战。

为此我们一直在想办法优化这个过程,但这并不容易。我们需要额外的工具来帮忙,我们使用了一个被称为“Orient”的开源软件工具(Github上有它的源代码)。

这个工具用一种特殊的语言定义算法和算法计算所得的结果,然后将这些结果合并在一起。我们可以用这个工具做各种实验,比如测试一下某个哈希函数运算所需的时间、测试一下改变某个参数如果还想得到同样的结果还需要改变其它什么参数等。

Filecoin系统的结构非常复杂,如何把各种不同的计算结果在区块链上以及区块链下进行归集和整理是复杂的过程,因此我们需要利用这类软件。

这有点像芯片制造---随着芯片的需求不断发展,芯片的集成度会越来越高,这就迫使芯片制造商不得不用各种软件来辅助设计。

我们在Filecoin的设计中就碰到了类似芯片制造商碰到的芯片集成度的问题,因此这就使得我们必须依靠软件工具来辅助我们的设计。

我们不认为其它的区块链系统会用到复制证明,这是我们的独创,也是Filecoin系统区别于其它系统的特征之一。

我们的系统还有独特的竞价机制,让矿工和用户在市场环境下通过竞价找到一个双方都可以接受的服务价格。此外我们的共识机制也很特殊,它要矿工证明其存储的数据是用户所需的。

其它的去中心化存储项目会用到类似空间证明的共识机制,而在Filecoin中,我们更进一步,要求“空间”中存储的是有用的数据。

所有这些集合在一起,使Filecoin系统与众不同。

我是IPFS/Filecoin社区发起人晓熙(加入社区,联系v号: liandaoxixi),IPFS/Filecoin是全球共识最大的去中心化存储项目,我会定期在社区分享专业的资讯,为IPFS/Filecoin爱好者建设一个共赢的学习社区。

参考链接:https://filecoin.io/blog/filecoin-proof-system

IPFS挖矿.jpg注册链接:点击注册

本文地址:http://www.zhuoyue90.com/b/18043.html
版权声明:项目均采集于互联网, 空投币 无法审核全面,且希望大家能赚钱,请谨慎切勿上当受骗!
温馨提示:★★★天上真会掉馅饼!天道酬勤,都是机会!不错过每个空投糖果!真假难以辨认,尽量0撸!
重要提醒:空投糖果俱乐部内容均转自互联网,请明辨各个项目风险,一切风险自担,涉及资金交易及个人隐私,千万不要投资,请谨慎切勿上当受骗!
《本站免责申明》

 发表评论


表情

还没有留言,还不快点抢沙发?