该教程提供了一种友好且无需编写代码的方式，帮助初学者了解Filecoin的证明系统。它探讨了复制证明（PoRep）、存储证明（PoSt）和zkSNARK在激励分布式存储系统中实现互信的可能性。
接下来，我们将开始学习第五课。第五课是关于zk-SNARKs（零知识证明），旨在验证Filecoin上的存储。Filecoin中的复制证明和时空证明过程都使用zk-SNARKs进行压缩。
zk-SNARKs代表"零知识简洁的非交互式知识参数"。可以把它们看作是计算的哈希。它们允许我们证明某个证明已经正确完成，而不需要透露证明本身的细节，也不需要透露基础数据的细节。
创建Filecoin的zk-SNARKs的过程在计算层面上是昂贵的（缓慢的），但是最终产物很小，验证过程非常快。相比原始证明，zk-SNARKs很小，因此可以有效地存储在区块链中。例如，使用zk-SNARKs，可以将一个在Filecoin链上占用数百千字节的证明压缩为192字节。
每个运行Filecoin节点的人都会维护一个最新版本的链用于验证。在zk-SNARKs的帮助下，将每个证明保持在较小的范围内，可以最大程度地减少对Filecoin网络中每个节点的存储需求，并且缩短验证交易所需的时间。
