空间证明是另一种范例的组，在这些组中，我可以向您担保我要耗费必然数量的存储空间。假如我理睬存储1 GB，而且生成一个随机GB，那么可以向您证明我正在存储该随机GB，而不存储其他对象。这样就可以将存储空间用作事情量证明。

有趣的部门是将空间证明与普通的数据所有权证明相团结，在此我但愿X有用，而不只仅是随机字符串。坚苦的部门是建设空间证明，该证明也用于存储有用的数据。这就是复制证明作为Filecoin网络的加密协议中的基本原语。

PL的Juan Benet在最近对Zero Knowledge播客的一次采访中分享了Filecoin证明构建的汗青。以下是该采访的节选：

所有这些参数优化都是如此难题而又坚苦，以至于我们实际上不得不编写软件来处理惩罚这一问题。我们有一个约束求解器，只是为了可以或许在选择证明布局和Filecoin中的参数时处理惩罚约束优化问题。这样的功效令人惊奇，其他小组此刻可以利用它来使他们的糊口更轻松，可是我们必需编写此代码。

发现了其他存储证明系统来建设更好的信任的云处事，因为它们可以向您证明它们正在备份您的数据，可是它们在信任是契约性的通例会合式云情况中完全没有利用。

由于布局的巨大性，单个基元及其如何编织到链中以及所有脱链协议等方面，此刻就建造区块链技能很是坚苦，因此我们需要此软件辅佐我们编写软件。

然后，通过libp2p细麋集成到IPFS中，以及在IPFS上已经有大量利用环境的很多其他工作。将所有数据直接备份到Filecoin将很容易。值得一提的是IPFS是一个开放的网络，我们已经看到其他网络开始增加对它的支持，这也真的很酷。出于这个原因，它意味着要成为疏散层。”

此刻，我们已经完成了这一事情，为了证明我们已经正确完成了此编码，我们可以在SNARK内举办整个编码，这将长短常昂贵的，可能我们可以抽样一些挑战证明我们已经存储了这个。假设我们在整个证明中抽样了1000个随机挑战，然后在SNARK内举办了计较。我们获取源编码的数据，然后对其举办解码，然后证明它一直追溯到我们致力于的根。这就是我们要简捷的证明。因为不然它将是一个32字节的叶子，然后整个Merkle链一直回到根，将是相当大量的数据，然后乘以一千。100s KB或MB发生一个证明。借助SNARK，我们可以将其压缩，我认为它可以压缩到200B或雷同的程度。

雷同于芯片制造的方法，芯片制造一直很好，直到到达必然的密度，然后他们遏制了手动出产芯片的本领。他们必需开始利用软件才气对芯片举办机关。我认为我们已经到达了区块链的目标，在区块链中，我们正在制作的某些修建中，我们需要软件来辅佐我们举办设计。

Filecoin以多种差异方法敦促了区块链的前沿进步。复制证明最终是一个证明系统，用于验证存储矿工是否确实拥有他们正在存储的内容且没有作弊。在这些系统中，这是一个很是棘手的问题：如何向网络证明您确实在存储某些对象，而不是撒谎？

而此刻，他们正在整个下放空间中利用，因为这是我们利用的鼓励布局，以担保对象不具法令效力的协议。我们还利用SNARK来证明一些实际的复制证明，这些证明会发生大量输出。我们想对这些复制证明举办许多挑战，可是要汇总它们，以便它们可以以很是小巧的方法进入链中。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。