2020年7月6日,Filecoin官方推出Filecoin教程,验证Filecoin上的存储 。

它为初学者提供了Filecoin的证明系统友好、无需代码的体验,并探讨了复制证明(PoRep),存储证明(PoSt)和zkSNARK如何在有激励的分布式存储系统中,使信任对方成为可能。

接下来,我们开始第四课的学习。

Filecoin官方教程:验证Filecoin上的存储-六六财经

复制证明,运行一次来证明矿工在密封该扇区时存储了物理上唯一的数据副本,而时空证明(PoSt),则反复运行以证明他们随着时间的推移,继续将存储空间专用于存储该副本。

时空证明(PoSt)建立在复制证明期间,创建的几个元素的基础上:副本,私有保存的CommRLast和公共已知的CommR。

首先,时空证明(PoSt)随机选择编码副本的某些叶节点,并对它们运行Merkle包含证明,以表明矿工具有应该存储在其中的特定字节。然后,矿工使用私有存储的CommRLast证明(不透露其价值)他们知道副本的根,该根既符合包含证明,又可用于导出公共已知CommR。

时空证明(PoSt)的最后阶段,将这些证明压缩为单个的zk-SNARK。(我们将在下一课中学习zk-SNARK。)

当矿工同意为客户存储数据时,他们必须提供抵押品。如果他们在合同期间的任何时候都没有提供时空证明,则将受到处罚。这是激励的一个关键部分,鼓励Filecoin网络中的所有参与者表现良好。