概念解释

Pos:proof-of-storage,为存储空间提供的证明机制；

复制证明（Proof-of-Retrievability,PoRep）:Filecoin挖矿的主要证明方式之一，用以证明数据被矿工独立地保存，可以防止女巫攻击、外源攻击和生成攻击；

时空证明（Proof-of-Spacetime,PoSt）：证明在一段时间内，矿工自己的存储设备上实际存储了特定的数据。

PoRep和PoSt其实是Pos的两种实例，PoRep首先要求矿工对该文件进行初始化并证明矿工持有这一初始化后的文件，矿工必须在给定时间内响应，要是这一时间远短于初始化时间。

因此矿工无法证明时间内生成持有文件；PoSt证明在一段时间连续时间内拥有特殊的信息，并在自己专有的存储设备中，强调其时效性，这一证明其实相对来说相对困难，条件也是最多的。

在Filecoin网络中，最重要的协议就是复制证明和时空证明了，同时也是消耗资源最多的两个证明。他们的实现方式决定了Filecoin矿机的最优配置，同时也决定了矿工的硬件成本。

复制证明PoRep是存储证明的一种实现方式，证明者X能向检验者Y提交PoRep以证明自己确实在自己的存储设备上存放有某个数据D的备份D’证明者X受到网络委托，存储n个数据D的独立备份；当Y向X提出挑战时，X需要向Y证明的确存储了每一个D的备份D’这就是PoRep一次验证的过程。

复制证明的核心思想就是为用户数据保留备份，这样做的目的是为了防止网络攻击。要做到这些需要满足一定要求：加密时间长，解密时间短生成存储证明复杂度低。

如此设计的原因是：解密时间短不会给系统计算资源造成过大的消耗，同时考虑到每个证明时期的证明比较多，因此通过加密后的文件生成存储证明应该尽量简单快速。

复制证明PoRep是时间点证明，证明在一个时间点中矿工存储了该文件。而PoSt是时间区间证明，证明了该时间段内存储矿工实际存储了该文件。可以非常简单的解释为，如果仅仅进行一次挑战，无法证明在一段时间之内文件都存在。

其博弈策略是每间隔一定区间高度，网络机器人会随机选择检查时间点，向矿工发起挑战，每次挑战后，矿工都需要生成一段复制证明，以此来检查矿工是否存在作弊行为，如果挑战失败，矿工将要会被处罚一定的质押代币。

从以上解释中我们可以看出时空证明的机制是通过验证者Y通过向证明者X提供一段独特的数据证明，让X在一段时间内证明其存储了D的数据并备份D’.