存储证明(POS)方案允许用户在挑战(challenge)期间,检查存储提供者存储的外包数据是否正处于保存中。我们如何使用POS方案去证明数据在一定时间内一直处于被存储的呢?这个问题的答案就是,用户要不断地重复给存储提供者发起挑起。然而每次交互所需要的通信复杂度会成为系统(如Filecoin系统)的一个瓶颈,因为存储提供者被要求提交他们的证明到区块链网络。
为了回答这个问题,我们介绍了新的证明,“时空证明”,它可以让验证者检查存储提供商是否在一段时间内存储了他/她的外包数据。这对提供者的直接要求是:(1)生成顺序的存储证明(在我们的例子里是“复制证明”)来作为确定时间的一种方法 (2)递归地组合执行,从而产生一个简短的证明。
定义3.2
*(时空证明)PoSt方案使得有效的证明人P能够说服一个验证者V相信P在一段时间t内一直存储着一些数据D。PoSt包含下边多项式时间算法: (Setup, Prove, Verify)