当矿工同意为客户存储数据时，他们需要放下抵押品。假如他们在条约期间的任何时候都没有通过期空证明，那么将受到惩罚。这是为了勉励在Filecoin网络中所有参加者都有精采行为而采纳的鼓励法子的要害部门。

时空证明提出了证明链的数据布局，证明链由挑战（challenge）和证明（proof）链接起来形成，在证明链的基本上添加上时间段，这样就获得了一段时间内的矿工存储数据的证明，这就是时空证明（Proof of Spacetime，PoSt）。

黑犇科技的集群架构中将有效存储的安详和不变作为重点举办了多个版本的优化，用于应对一连性的时空证明，制止系统处罚鉴定，最大限度担保算力不丢失。我们在追求效率的同时必然要担保最根基的存储不变，存储才是整个项目标要害词。

如何做到？如何证明数据在一段时间内都一直被存储？

然后，矿工利用私人存储的证明(不透露其代价) ，证明他们知道副本的根，这既与包括证明相符，又可用于推导果真知道的证明CommR。

为了办理这个问题，filecoin先容了新的证明，时空证明（proof-of-spacetime,post）。

曾经运行一次的复制证明证明白矿工在密封该扇区时存储了数据的物理独一副本，而时空证明（PoSt）则重复运行以证明他们在一段时间内将继承存储空间专用于该副本。

时空证明（PoSt）成立在复制证明期间建设的几个元素的基本上：副本，私有生存的CommRLast和民众已知的CommR。

PoSt的最后阶段将这些证明压缩为单个zk-SNARK。（我们将在后期进修zk-SNARK。）

任何未通过PoSt查抄的存储矿工都将受处处罚，而且每当处罚时，该抵押品的一部门城市丢失。处罚过多后，所有抵押品都将丢失，这时矿工将无法再次向客户提供存储。

首先，PoSt随机选择编码副本的某些叶节点，并对它们运行Merkle包括证明，以表白矿东西有应在个中的特定字节。

Filecoin协议回收新颖的加密技能、共鸣机制和鼓励机制设计，提供了分手的存储网络和市场，，客户和矿工可以安心利用，其焦点是Filecoin奇特的存储验证要领。

昨天我们在公家号的推文中先容了复制证明，相信您相识了复制证明可以证明正确的数据集存储在矿工提供的存储空间中，可是要验证Filecoin网络上的数据存储，这还不足，您还需要证明在条约划定的时间内持续存储了该数据集。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。