2020年7月6日，Filecoin官方推出Filecoin教程，驗證Filecoin上的儲存 。
它為初學者提供了Filecoin的證明系統友好、無需程式碼的體驗，並探討了複製證明（PoRep），儲存證明（PoSt）和zkSNARK如何在有激勵的分散式儲存系統中，使信任對方成為可能。
接下來，我們開始第六課的學習。
驗證Filecoin上的儲存 | 第6課，共6課驗證交易
零知識證明壓縮後，驗證儲存所需的關鍵資料是否儲存在Filecoin鏈中，每個執行節點的使用者都將維護其副本，這就使得時空證明可以隨著時間的推移定期執行。
作為儲存客戶，您可以執行lotus client list-deals命令來列出該節點建議的所有儲存交易。例如，以下是僅提出一項交易的節點的結果：
$ lotus client list-deals
DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj66rcmkwkbxxx5prvd5sklci
DealId: 2
Provider: t01000
State: StorageDealActive
On Chain?: Y (epoch 59)
Slashed?: N
PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q
Size: 1016
Price: 1000000
Duration: 2744
讓我們研究一下此命令提供的資料：
DealCid：交易建議的內容識別符號（CID）。V 丨ipfssy
DealId：交易的唯一ID。
Provider：與使用者進行交易的儲存提供商的唯一識別符號，也稱為儲存礦工。
State：交易狀態。一旦資料被儲存和密封，這通常是StorageDealActive。（請注意，StorageDealActive即使在交易期限到期，或礦工未能透過時空證明後，當前情況仍將保持這種狀態，因此，slashed對於後一種情況，請務必參考該欄位。）
On Chain?：一個布林值，指示交易是否已儲存在鏈中。如果為正值，則該欄位還將指示儲存資料的時期。紀元是鏈上的特定點。較低的數字在歷史上更久遠，而較高的數字則是最近才出現的。
Slashed?：一個布林值，指示儲存提供商是否未透過時空證明。（如果該礦工停止儲存您的資料，該值將更改為Y，並且該礦工將受到處罰。）
PieceCID：代表儲存資料的CID（內容識別符號），也稱為CommP（件承諾）
Size：要儲存的資料位元組。
Price：儲存交易的Filecoin代幣（FIL）中每個時期的價格。
Duration：達成協議的交易的總持續時間，以紀元為單位（區塊鏈的一次迭代，目前相當於25秒）。
比較這些交易
對於以下測驗，請考慮以下三筆交易：
$ lotus client list-deals
DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj55rcmkwkbxxx6prvd5sklci
DealId: 32
Provider: t01000
State: StorageDealActive
On Chain?: Y (epoch 59)
Slashed?: N
PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q
Size: 1016
Price: 1000000
Duration: 2744
DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj44rcmkwkbxxx5prvd5sklci
DealId: 45
Provider: t01000
State: StorageDealActive
On Chain?: Y (epoch 22)
Slashed?: Y
PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q
Size: 1016
Price: 1000000
Duration: 2744
DealCid: bafyreiefvrrv5j7omqzfersogg4nqzctyzj33rcmkwkbxxx4prvd5sklci
DealId: 57
Provider: t01000
State: StorageDealActive
On Chain?: Y (epoch 38)
Slashed?: N
PieceCID: bafk4chzazx6u4luj34azuit37rlylgrcbgkaakqsjt5avsbolxale2igii3q
Size: 1016
Price: 1000000
Duration: 2744
