复制证明只运行一次，以证明挖掘器在扇区密封时存储了数据的物理唯一副本，而时空证明（PoSt）则重复运行，以证明随着时间的推移，它们将继续为相同的数据分配专用存储空间。

PoSt 构建在复制证明过程中创建的几个元素的基础上：复制副本，私有保存的 CommRLast 和公共已知的 CommR。

首先，PoSt 随机选择编码副本的某些叶节点，并对它们运行 Merkle 包含证明，以证明矿工具有应在其中的特定字节。然后，矿工使用私有存储的 CommRLast 证明（不透露其价值），他们知道复制品的根，这既与包含证明相符，又可以用于导出公知的 CommR。

PoSt 的最后阶段将这些证明压缩为单个 zk-SNARK。（下一篇中将介绍zk-SNARK。）

当矿工同意为客户存储数据时，他们被要求支付抵押品。如果他们在合同期间的任何时候都未能证明时空，他们将受到惩罚。这是鼓励 Filecoin 网络中所有玩家良好行为的激励措施的关键部分。

End

非常感谢您对 IPFS&Filecoin 项目的持续支持。我们很高兴继续与您一起，为人类信息建立一个强大的，去中心化和高效的基础。

FilCloud 帮你迅速了解 IPFS 领域的热点技术和应用公众号：filcloud