复制证明只运行一次,以证明挖掘器在扇区密封时存储了数据的物理唯一副本,而时空证明(PoSt)则重复运行,以证明随着时间的推移,它们将继续为相同的数据分配专用存储空间。
PoSt 构建在复制证明过程中创建的几个元素的基础上:复制副本,私有保存的 CommRLast 和公共已知的 CommR。
首先,PoSt 随机选择编码副本的某些叶节点,并对它们运行 Merkle 包含证明,以证明矿工具有应在其中的特定字节。然后,矿工使用私有存储的 CommRLast 证明(不透露其价值),他们知道复制品的根,这既与包含证明相符,又可以用于导出公知的 CommR。
PoSt 的最后阶段将这些证明压缩为单个 zk-SNARK。(下一篇中将介绍zk-SNARK。)
当矿工同意为客户存储数据时,他们被要求支付抵押品。如果他们在合同期间的任何时候都未能证明时空,他们将受到惩罚。这是鼓励 Filecoin 网络中所有玩家良好行为的激励措施的关键部分。
End
非常感谢您对 IPFS&Filecoin 项目的持续支持。我们很高兴继续与您一起,为人类信息建立一个强大的,去中心化和高效的基础。
FilCloud 帮你迅速了解 IPFS 领域的热点技术和应用公众号:filcloud