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网络中每个节点的存储需求，以及验证交易所需的时间。