IPFS应用层即将发力，来给大家充值信仰了

7月13日，官方发布最新博文宣布目前Filecoin网络已成为最大的零知识证明网络。

零知识证明指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。

据官方数据显示，目前Filecoin网络每日会运行6至7百万次零知识证明，每一个零知识证明中包含了超过1亿个约束电路证明。目前 Filecoin网络的可信配置已支持最高128M大小的电路证明，单个证明最大已超过100M，而 Zcash最高仅支持 2M。此外，目前Filecoin实现了通过SnarkPack将10个零知识证明捆绑至单次证明中，并正在研究零知识证明聚合以实现将数千个零知识证明聚合至单次证明中。

当Filecoin成为我们信息的存储基石，我们的信息都将存储在网络之中，在这去中心的进程中，我们该如何保证其分发信息是可验证的，同时也必须具有真实性。这时候我们就必须提到“零知识证明”。

“零知识证明”可以被理解为是一种加密协议，证明者能够在不向验证者提供任何关于被证明的消息情况下，使验证者相信某个论断是正确的。通俗的来说就是证明自己是某种权益的合法拥有者，又不把有关的信息泄漏出去。其中，zk-SNARKs代表“零知识的简洁非交互式知识争论”，可以将它们视为计算的哈希。它们让我们证明了证明已经正确完成，而不必透露证明本身，或它所基于的基础数据的详细信息。

Filecoin实际上是使用Lotus，Stacked DRG算法对存储的数据进行处理，并采用Groth16零知识证明算法对数据处理过程进行证明。Lotus的零知识证明，证明了随机抽选的500个节点数据是正确地通过Stacked DRG算法生成，并能生成指定的默克尔树的树根。Lotus的电路逻辑比较复杂，电路规模达到了1亿，证明生成时间比较长。整个计算性能有很大的提升空间。

IPFS是未来互联网世界基石

----------------------------------------------------------------------------------------------------------------

神奇的区块链世界