Filecoin的复制证明到底证明了什么?矿工需要完成什么?

2021-05-28 09:37:25 FIL16888 15332

BZZ网络的数据由矿工有效保存,并且:1)参与BZZ存储市场,承接客户数据,参与存储交易。2)参与BZZ存储共识,验证并生成区块,以壮大BZZ区块链,并以此赚取区块奖励和费用。

同时,需要完成以下流程:

1)承诺新存储和注册新扇区

为了在BZZ中注册一个扇区,矿工必须对该扇区进行封装。封装过程需要大量计算,以证明的形式生成数据的唯一表现形式,此过程称为复制证明或PoRep。一旦产生证明,矿工将其压缩并将结果提交给区块链。这就证明,矿工确实复制了他们约定存储的数据副本。

2)持续证明存储

每个存储矿工都必须不断地在链上提交证明,以证明扇区数据被完整存储,该过程称为时空证明(PoSt)。

3)宣布存储故障并从故障中恢复

如果某扇区未能提交上述证明,将导致故障,矿工将受到处罚。

1597393717765793.jpg

事实上,BZZ的存储证明体系是BZZ网络的精髓,也是Filecoiini团队投入研究最多的部分,其中主要包括复制证明(PoRep)和时空证明(PoSt),而复制证明又是其中的重中之重,关键之中的关键。

那么,复制证明到底证明了什么?

简单地说,BZZ的复制证明就是,证明矿工真的存储了用户的数据。

详细一点讲,复制证明(PoRep)是一个交互式证明系统。在这个系统中,存储的提供者需要提供可公开验证的证明,来表明其为一个数据文件副本分配了独有的空间资源,而且所存储的数据是可检索的。也就是说,复制证明是一个把可检索证明(PoR)嵌入进容量证明(PoC)中的一种证明机制。

进一步说,PoRep使证明者能够证明,他们正在使用不低于需要的最小空间来存储信息(这一点等同于空间证明:PoS),并实际使用该空间来存储有用的信息。同时,复制证明(PoRep)可以有效地提取存储的任何数据(如可检索性证明)。

在一个带激励的BZZ网络中,存储节点以证明者的身份参与并存储数据文件,因为这样做可以使他们获得网络奖励。

PoRep的一项重要特性是,证明者如果不能证明,他们按声称的那样存储数据文件的复制副本,那么他们将不能获得奖励。这是通过系统设计来实现的,在一个合理的系统设计中,即使是那些重复的数据文件,也需要分别证明其每一个复制都需要根据协议被单独证明。

另外,复制证明要求必须在存储的时候发起,同时,要一直保持承诺。也就是说,必须:

1)在规定的时间内完成证明。

2)证明完成后,不能删除数据。

上面的第 1)点,可以通过交易和上链信息来进行验证,而第 2)点,就需要通过时空证明来保证。同时为了保证数据的安全性,一个简单的设计原理就是,让时空证明必须在很短的时间内完成,否则无效,而复制证明如果不能在很短的时间内完成的话,就不能做假。

那么,当这两个时间的差距越大,安全性就越高。


首页
产品
新闻
联系