为了让Filecoin网络上的存储提供者继续为用户提供服务并赚取回报，他们必须定期证明自己在链上持续存储其承诺存储的数据。在零知识证明的关系中，这些存储提供者成为证明者（provers）。
另一方面，全节点负责维护整个Filecoin网络的共识。这些节点希望确保数据被妥善存储、维护和保管，没有任何疏忽或损坏。为了实现这一点，验证者（verifiers）必须能够确保存储提供者对数据被妥善存储的证明是真实的。这需要存储提供者和节点之间的一种形式的通讯。
对于每个区块来说，这个过程的资源要求很高。现在，个别的存储提供者需要证明大量数据的存储，并随着时间的推移这个数量只会增加。Filecoin网络的区块时间是30秒，为了维持这个区块时间并提供可扩展性，网络需要一个能够快速、高效和可信地验证过程的解决方案。
对于Filecoin网络来说，zk-SNARKs提高了网络的可扩展性和效率，通过大大减少验证存储所需的时间来实现这一点。对于维持Filecoin的30秒区块时间来说，这一点非常重要。
对存储提供者来说，zk-SNARKs减少了他们需要传输的证明存储所需数据的量，从而降低了在网络上提供服务的成本。
零知识证明长期以来一直是Filecoin网络的一部分，并将继续成为网络未来演变的关键。随着越来越多的数据在Filecoin上被存储、维护和访问，零知识证明将继续帮助Filecoin网络生态系统提供高效、经济和安全的验证解决方案。 来源：腾讯网
