2020年7月6日，Filecoin官方推出了Filecoin教程，该教程旨在验证Filecoin上的存储。它为初学者提供了无需代码的友好体验，并探讨了复制证明（PoRep）、存储证明（PoSt）和zkSNARK在激励的分布式存储系统中如何使信任成为可能。

接下来，我们开始学习第六课，该课程共分为六个课程，主要讲解如何验证Filecoin上的存储。在验证存储时，需要压缩零知识证明并检查关键数据是否存在于Filecoin链中。每个运行节点的用户将维护其副本，从而使时空证明可以定期运行。

您可以通过运行"lotus client list-deals"命令来列出节点建议的所有存储交易。下面是一个节点只提出了一项交易的示例结果：

$ lotus client list-dealsDealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj66rcmkwkbxxx5prvd5sklciDealId: 2Provider: t01000State: StorageDealActiveOnChain?: Y (epoch59)Slashed?: NPieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3qSize: 1016Price: 1000000Duration: 2744

让我们来分析一下这个命令提供的数据：

- DealCid：交易的内容标识符（CID）。- DealId：交易的唯一ID。- Provider：存储提供商的唯一标识符，也称为存储矿工。- State：交易的状态，通常为StorageDealActive（一旦数据被存储和密封）。请注意，即使在交易期限到期或矿工未能通过时空证明后，当前情况仍将保持为StorageDealActive。因此，在涉及此类情况时，请务必参考"Slashed?"字段。- OnChain?：一个布尔值，指示交易是否已存储在链中。如果为正值，则该字段还将指示存储数据的时期。纪元是链上的特定点。较低的数字在历史上更久远，而较高的数字是最近出现的。- Slashed?：一个布尔值，指示存储提供商是否未通过时空证明。如果该矿工停止存储您的数据，该值将更改为"Y"，并且该矿工将受到处罚。- PieceCID：代表存储数据的CID（内容标识符），也称为CommP（件承诺）。- Size：要存储的数据字节数。- Price：存储交易的每个时期的Filecoin代币（FIL）价格。- Duration：达成协议的交易的总持续时间，以纪元为单位（区块链的一次迭代，目前相当于25秒）。

现在，让我们比较以下三笔交易：

$ lotus client list-dealsDealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj55rcmkwkbxxx6prvd5sklciDealId: 32Provider: t01000State: StorageDealActiveOnChain?: Y (epoch59)Slashed?: NPieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3qSize: 1016Price: 1000000Duration: 2744

DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj44rcmkwkbxxx5prvd5sklciDealId: 45Provider: t01000State: StorageDealActiveOnChain?: Y (epoch22)Slashed?: YPieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3qSize: 1016Price: 1000000Duration: 2744

DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj33rcmkwkbxxx4prvd5sklciDealId: 57Provider: t01000State: StorageDealActiveOnChain?: Y (epoch38)Slashed?: NPieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3qSize: 1016Price: 1000000Duration: 2744