一、复制证明的原理
复制证明(PoRep)是一种新型的存储证明方案,它能够让存储矿工说服用户和其他矿工,数据已经被复制到了它的矿机上。这种方案能有效的阻止女巫攻击、外包攻击和生成攻击的存储作弊问题,
1.矿工创建特定的副本R当矿工存满一个扇区(此扇区并非磁盘上的物理扇区,而是Filecoin网络定义的逻辑扇区)后,对该扇区的数据加上矿工的秘钥对,进行一种缓慢的顺序编码,形成该矿工的特定的存储副本,使每一个数据副本都不一样。密封的结果是形成一种Merkle树结构的数据副本,如下图所示。
Merkle树结构的数据副本图
2.矿工生成存储数据副本的证明Πpos
矿工存储数据并完成密封后,那矿工如何向一个没有中心化服务器的Filecoin网络,证明矿工确实存储了这个副本呢?星际大陆明哥觉得很难,但是协议实验室做到了。
生成证明过程中使用了零知识证明(关于零知识证明有点复杂,有兴趣的读者可以阅读相关资料)的思路,即验证者在不需要拥有任何数据的情况下相信矿工确实存储了数据副本,怎么做到的呢?
如下图中的红色线条所示,矿工根据网络中其他验证节点提出的随机挑战C,例如是要挑战位置8,那么矿工就需要计算从叶子节点D8跟根节点Root的路径,输出一个证明Πpos,返回给发起挑战的验证节点。
矿工生成存储数据副本的证明Πpos图
3.验证节点验证存储矿工的证明
验证节点获得存储矿工的证明后,可以通过给定的信息进行验证,当验证结果等于1时,说明该矿工确实存储了特定的副本,验证过程非常快。具体验证的算法需要等官方代码公布后再进行详细解答,现有的白皮书还没有给出足够详细的描述。【Filecoin挖矿加V:czdn222】
二、扇区的解释
扇区(白皮书中的sector)是指存储矿工特定的存储空间,用来衡量有效存储以及提交存储证明的单位空间。当存储矿工存满(可能没存满也可以密封,但是应该会浪费部分的存储空间)一个扇区的数据后,才运行扇区密封,密封后提交复制证明,这样才会形成有效
本站所有软件信息均由用户上传发布,版权归原著所有。如有侵权/违规内容,敬请来信告知邮箱:764327034@qq.com,我们将及时撤销! 转载请注明出处:https://czxurui.com/zx/54357.html
发表回复
评论列表(0条)