IPFS挖矿所建立的零知识证明是什么？对于IPFS矿机有哪些影响？
　　Filecoin通过8个月的激励措施，目前已达到7.54EiB，同时建立了庞大的零知识证明网络。它们是内置于Filecoin中的零知识算法，可自动生成相应的证明任务。根据项目方面的数据，Filecoin网络目前每天运行6 ~ 7百万个零知识证书。目前，Filecoin网络的可信配置最多支持128米的电路认证，最大单个证明超过100米，而Zcash最多只支持2米。
　　此外，Filecoin目前正在实施SnarkPack，将10个0知识证明捆绑为一个证明，并致力于收集0知识证明，将数千个0知识证明合并为一个证明。在硬件支持方面，Filecoin将零知识证明中可高度并行化的部分转移到GPU，获得CPU和内存，为更复杂的计算，进一步提高了零知识证明的效率。
过去两年里，我们一直在努力将zk-SNARK带到世界和Filecoin网络。为此，我们为全球JK-SNARK网站推出了JK-SNARK。该网站展示了如何在Filecoin上使用SNARK，以及可以扩展到此级别的一些主要改进。
 
　　Filecoin可以证明矿工正在存储客户数据，从而获得块奖励，防止浪费工作证明。这需要很多密码证明。复制证明(replication  conservation)使矿工能够保存主张数据的唯一副本以及时间和空间证明，以便能够随着时间的推移保留可访问的副本数据副本。
　　当我们开始构建Filecoin时，我们所认为的网络安全证据的数量是前所未有的。在连接到互联网之前的开发过程中，我们逐一解决了障碍，允许使用zk-SNARK。上市后，新的研究继续提高性能。今天的Filecoin标志着尖端研究和破格工程的交集。
　　Filecoin希望建立一个非集中化的存储交易平台。那么重要的问题是如何证明存储供应商，并实际有效地存储指定的数据。
Filecoin实际上是通过PoREP和PoST算法(包括0知识证明)完成的。PoREP是一种数据存储证明算法，用于证明用户数据已正确处理。PoREP使用0知识证明，证明每个层的数据是通过VDE计算生成的，并提供最终结果的Merkle树的根。有时，在处理和保存数据后，PoST算法需要提交存在证明。PoST算法的基本思路是在Merkle树中随机选择叶节点位置，并提供Merkle路径的零知识证明。
 
　　第二，通过JK-SNARK，证明者可以有效地说服证明者，而无需公开信息本身。此属性在区块链设置中启用安全和个人交互。Filecoin今天依赖的主要属性是效率。这是因为Zk-SNARK可以在比其他方法更少的空间中证明存储的效率。
　　因此，从整体零知识证明技术的角度来看，Filecoin应用零知识证明技术解决了分布式存储信任问题，因此能够在存储上实现从0到1的突破。Filecoin的整个机制旨在确保矿工以能够证明客户数据的方式存储，从而得到块奖励，避免浪费大量的工作量。矿工在存储数据时可以断言唯一副本的可靠性，时空证据使他们能够随着时间的推移保留复制数据的可访问副本。因此，在自主网络发布后，实验室为了进一步提高性能，可以持续进行新的研究，执行提出的zk-SNARK。