比特币与Filecoin教程: 验证交易简要指南

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

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

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

$ lotus client list-deals DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj66rcmkwkbxxx5prvd5sklci DealId: 2 Provider: t01000 State: StorageDealActive OnChain?: Y (epoch59) Slashed?: N PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q Size: 1016 Price: 1000000 Duration: 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-deals DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj55rcmkwkbxxx6prvd5sklci DealId: 32 Provider: t01000 State: StorageDealActive OnChain?: Y (epoch59) Slashed?: N PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q Size: 1016 Price: 1000000 Duration: 2744

DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj44rcmkwkbxxx5prvd5sklci DealId: 45 Provider: t01000 State: StorageDealActive OnChain?: Y (epoch22) Slashed?: Y PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q Size: 1016 Price: 1000000 Duration: 2744

DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj33rcmkwkbxxx4prvd5sklci DealId: 57 Provider: t01000 State: StorageDealActive OnChain?: Y (epoch38) Slashed?: N PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q Size: 1016 Price: 1000000 Duration: 2744