初次证明先对应封装后的副本
检索区块链 存储证明时，应先确定资料谈的是哪个协议。本文限定Filecoin文档中的PoRep与PoSt：前者关注初始保存时形成的独特副本，后者关注此后仍持有封装数据的证明任务。这里的存储证明不是电子证据存证，也不能直接套用另一条链的空间证明条件。
官方Proofs页把PoRep流程分为放入扇区、封装、产生独特编码、压缩证明和向网络提交。封装并非把文件随意改个名称；文档把编码与数据、执行封装的提供者及封装时间联系起来。读到初始证明成功时，应理解为这一阶段的复制与保存声明已被验证，而不是后续全部时段都已提前通过。
持续保存通过后续挑战接受审计
完成初次证明后，提供者还要证明自己继续持有约定数据的封装副本。WindowPoSt承担持续审计任务：扇区被分配到截止时段，并按分区组织证明。分区是一组共同参加证明的扇区，所以不能看到一次证明提交，就自行把它拆成每个文件各有一份独立证明。
Filecoin的PoSt规格解释，提交信息要指出目标截止时段和分区索引，由接收代码映射到对应扇区。后续挑战要求提供者能够及时访问封装副本，持续提交记录共同支持持续保存的判断。一次历史PoRep与一条新的WindowPoSt因此不能互相替代：它们面对的阶段、对象组织和时间条件不同。
出块时的证明还有另一项职责
WinningPoSt也属于PoSt，但用于出块流程。被选中的提供者需要在规定的短时限内提交证明，表明在受到挑战的时点持有相应封装副本。它与所有承诺扇区按安排接受的WindowPoSt审计目的不同，名称里都有PoSt，并不意味着一个成功记录能够代替另一个。
失败后果同样要区分。该规格说明，错过WinningPoSt的截止时间，会失去当次出块与取得区块奖励的机会，不因这次错过另受处罚；未提交所需WindowPoSt则可能形成存储故障，并涉及抵押处罚和存储算力减少。不能只写证明失败四个字，就给所有记录套用相同后果。
对照记录时保留证明名称和时间对象
设想一份仅用于阅读练习的摘要，列出甲扇区初始证明通过、某分区后续证明缺失、提供者又获得一次出块机会。三行信息需要分别对应证明类型、目标扇区或分区及发生时段；最后一行不能自行补齐第二行缺失的证明。这是作者的虚构对照，没有查询真实提供者、运行封装或计算处罚金额。
还应留意不同文档使用可用性一词的对象：ethereum.org把数据可用性用于验证区块所需的数据，并明确它不等于永久可取回，这只能作为术语边界对照，不能移植成Filecoin证明规则或永久下载保证。整理Filecoin资料时，先把PoRep、WindowPoSt与WinningPoSt各自承担的任务写准确，再解释具体记录支持哪一步结论。