7月6日，Filecoin官方推出Filecoin教程，驗證Filecoin上的儲存。解釋了該協議如何使用複製證明（PoRep），儲存證明（PoSt）和zkSNARK來激勵儲存提供商方面的良好行為。
驗證交易：零知識證明壓縮後，驗證儲存所需的關鍵資料儲存在Filecoin鏈中，每個執行節點的使用者都將維護其副本。這使得時空證明可以隨著時間的推移定期執行。
作為儲存客戶，您可以執行lotus client list-deals命令來列出該節點建議的所有儲存交易。例如，以下是僅提出一項交易的節點的結果：
讓我們研究一下此命令提供的資料：
DealCid：交易建議的內容識別符號（CID）。
DealId：交易的唯一ID。
Provider：與使用者進行交易的儲存提供商的唯一標識，也稱為儲存礦工。
State：交易狀態。這通常是StorageDealActive一旦資料被儲存和密封。（請注意，StorageDealActive即使在交易持續時間到期或礦工未能透過時空證明後，當前情況仍將保持這種狀態，因此，slashed對於後一種情況，請務必參考該欄位。）
On Chain?：一個布林值，指示交易是否已儲存在鏈中。如果為正，則該欄位還將指示儲存資料的時期。紀元是鏈上的特定點。數量越少，鏈條歷史又越久，而數量越多，鏈條歷史越近。
Slashed?：一個布林值，指示儲存提供商是否未透過時空證明。（如果該礦工停止儲存您的資料，該值將更改為，Y並且該礦工將受到處罰。）
PieceCID：代表儲存資料的CID（內容識別符號），也稱為CommP（件承諾）
Size：要儲存的資料位元組。
Price：儲存交易的Filecoin令牌（FIL）中每個時期的價格。
Duration：達成協議的交易的總持續時間，以紀元為單位（區塊鏈的一次迭代，目前相當於25秒）。
