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

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

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

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