发帖
雷达卡
我们如何证明数据在一段时间内都一直被存储？为了解决这个问题，filecoin介绍了新的证明，时空证明（proof-of-spacetime,post），时空证明提出了证明链的数据结构，证明链由挑战（challenge）和证明（proof）链接起来形成，在证明链的基础上添加上时间段，这样就得到了一段时间内的矿工存储数据的证明，这就是时空证明（Proof of Spacetime，PoSt），
它可以让验证者检查存储矿工，是否在一段时间内存储了他/她的外包数据，时空证明（post）方案，使得证明人能够说服一个验证者相信存储矿工在一段时间内一直存储了数据，时空证明可以理解为持续性的复制证明，矿工必须不断的生成证明，并在一个提交周期内提交证明，挑战者在POREP循环重复执行N轮，输入一个随机挑战参数C，例如C等于10，挑战参数会被链式递归计算，即上一次的输出作为下一次的输入，直到T时间内，最后一次的结果作为时空证明的证明，接受反向验证，如果没有在提交周期内，连续及时提交证明，会被系统扣除部分代币。
PoSt可以证明在该段时间内矿工存储了特定的数据，并且利用时间戳锚定这些证明链，这样即使验证者（verifier）不在线，也能够在将来去验证矿工在该段时间内生成了证明链，PoSt会被提交到链上用来产生新的Block。
我们如何使用PoSt方案来证明数据在一段时间内都已经被存储了？这个问题的一个自然的答案是要求用户重复（例如每分钟）对存储提供商发送请求。然而每次交互所需要的通信复杂度会成为类似Filecoin这样的系统的瓶颈，因为存储提供商被要求提交他们的证明到区块链网络。
京公网安备 11010802022788号
