2020年7月6日，Filecoin官方推出 Filecoin教程，验证Filecoin上的存储 。

它为初学者提供了Filecoin的证明系统友好、无需代码的体验，并探讨了复制证明（PoRep），存储证明（PoSt）和zkSNARK如何在有激励的分布式存储系统中，使信任对方成为可能。

接下来，我们开始第五课的学习。

验证Filecoin上的存储 | 第 5 课，共6课 zk-SNARKs （零知识证明）

Filecoin中的复制证明和时空证明过程 ， 均使用 零知识证明 进行压缩 。

zk-SNARKs（零知识证明）代表“零知识简洁的非交互式知识参数”。您可以把它们看作是计算的哈希。它们让我们可以证明一个证明已经被正确地完成，而不必透露证明本身，或是证明它所基于的基础数据的细节。V丨ipfssy

创建Filecoin的zk-SNARK（零知识证明）的过程在计算上很昂贵（缓慢的），但是最终产品很小，验证过程非常快。 与原始证明相比，zk-SNARKs （零知识证明） 很小， 因此 可以有效地存储在区块链中。 例如，使用zk-SNARK（零知识证明），可以将一个在Filecoin链上占用数百千字节的证明压缩为192字节。

运行Filecoin节点的每个人都会维护一个最新版本的链以进行验证。在zk-SNARK（零知识证明）的帮助下， 将每个证明保持在较小的范围内，可以最大 程度 地减少对Filecoin网络中每个节点的存储需求，以及验证 交易 所需的时间。