昨天我们在公众号的推文中介绍了复制证明，相信您了解了复制证明可以证明正确的数据集存储在矿工提供的存储空间中，但是要验证Filecoin网络上的数据存储，这还不够，您还需要证明在合同规定的时间内连续存储了该数据集。
如何做到？如何证明数据在一段时间内都一直被存储？
为了解决这个问题，filecoin介绍了新的证明，时空证明（proof-of-spacetime,post）。
曾经运行一次的复制证明证明了矿工在密封该扇区时存储了数据的物理唯一副本，而时空证明（PoSt）则反复运行以证明他们在一段时间内将继续存储空间专用于该副本。
时空证明提出了证明链的数据结构，证明链由挑战（challenge）和证明（proof）链接起来形成，在证明链的基础上添加上时间段，这样就得到了一段时间内的矿工存储数据的证明，这就是时空证明（Proof of Spacetime，PoSt）。
时空证明（PoSt）建立在复制证明期间创建的几个元素的基础上：副本，私有保存的CommRLast和公共已知的CommR。
首先，PoSt随机选择编码副本的某些叶节点，并对它们运行Merkle包含证明，以表明矿工具有应在其中的特定字节。
然后，矿工使用私人存储的证明(不透露其价值) ，证明他们知道副本的根，这既与包含证明相符，又可用于推导公开知道的证明CommR。
PoSt的最后阶段将这些证明压缩为单个zk-SNARK。（我们将在后期学习zk-SNARK。）
当矿工同意为客户存储数据时，他们需要放下抵押品。如果他们在合同期间的任何时候都没有通过时空证明，那么将受到处罚。这是为了鼓励在Filecoin网络中所有参与者都有良好行为而采取的激励措施的关键部分。
任何未通过PoSt检查的存储矿工都将受到惩罚，并且每当惩罚时，该抵押品的一部分都会丢失。惩罚过多后，所有抵押品都将丢失，这时矿工将无法再次向客户提供存储。
Filecoin协议采用新颖的加密技术、共识机制和激励机制设计，提供了分散的存储网络和市场，客户和矿工可以放心使用，其核心是Filecoin独特的存储验证方法。
黑犇科技的集群架构中将有效存储的安全和稳定作为重点进行了多个版本的优化，用于应对持续性的时空证明，避免系统惩罚判定，最大限度保证算力不丢失。我们在追求效率的同时一定要保证最基本的存储稳定，存储才是整个项目的关键词。
小黑每日科普，小白不走弯路
end
黑犇科技，专注于IPFS领域。
经济模型明晰，策略完美命中，
黑犇第五代产品即将发布
选择基于信任
效率代表决心
黑犇科技期待与您合作
扫描二维码
获取更多精彩
黑犇科技
2020-07-27
2020-07-25
2020-07-23
2020-07-22
2020-07-08
2020-06-29
