PoSt 构建在复制证明过程中创建的几个元素的基础上:复制副本,私有保存的 CommRLast 和公共已知的 CommR。
首先,PoSt 随机选择编码副本的某些叶节点,并对它们运行 Merkle 包含证明,以证明矿工具有应在其中的特定字节。然后,矿工使用私有存储的 CommRLast 证明(不透露其价值),他们知道复制品的根,这既与包含证明相符,又可以用于导出公知的 CommR。
PoSt 的最后阶段将这些证明压缩为单个 zk-SNARK。(下一篇中将介绍zk-SNARK。)
当矿工同意为客户存储数据时,他们被要求支付抵押品。如果他们在合同期间的任何时候都未能证明时空,他们将受到惩罚。这是鼓励 Filecoin 网络中所有玩家良好行为的激励措施的关键部分。