Filecoin网络：最大的零知识证明网络

众所周知，Filecoin网络已成为最大的零知识证明网络。在过去两年里，CryptoComputeLab和CryptoNetLab（均为ProtocolLab研究开发实验室）致力于将zk-SNARK融入世界和Filecoin网络。

"zk-SNARKsfortheworld"展示了Filecoin是迄今为止部署规模最大的zk-SNARK网络，同时强调了使Filecoin规模达到此水平的关键改进。zk-SNARK是一种加密技术，它能让证明者有效地说服验证者其知道某种信息，却无需透露此信息本身，这一属性保证了区块链环境中的安全和隐私互动。目前Filecoin所依赖的主要属性是其效率，zk-SNARK的诞生让使用更少空间去证明存储有效性成为可能。

尽管此举需要大量证明，但Filecoin允许存储提供者通过证明真实地存储用户数据来赢得区块奖励，从而避免消耗资源的工作量证明。我们既需要复制证明，以确保存储提供者存储了其承诺的数据的唯一副本；同时还需要时空证明，以确保存储提供者长期持续维护复制数据的可访问副本。

自社区建立Filecoin伊始，未有任何先例表明届时会需要如此大量的证明来维持最初设想的强大网络。所以在网络启动前的开发过程中，我们持续清除了一个又一个障碍，以确保zk-SNARK的切实可行；且自启动以来，实验室为进一步提高性能，致力于各类新研究。因此目前的Filecoin的证明机制稳稳站在了高端研究的前沿，并不断推动工程的边界拓展。