这是突出介绍Filecoin协议独特性的第二篇系列文章，本篇文章为我们讲述了“可验证存储”。
Filecoin市场之所以能有效运行，是因为客户可以确信网络上的存储节点参与者正在正确地存储其数据。这种信心来自Filecoin独特的证明系统，该系统可确保Filecoin网络上的存储订单按合同规定工作。
使用Filecoin，可以对节点参与者的存储进行公开审核。换句话说，我们的存储证明可为Filecoin网络的每个用户提供保证，确保所有节点参与者都按承诺存储数据。存储验证是将Filecoin市场整合在一起的粘合剂；它确保了网络上存储的所有数据的完整性。
为了使这些数据完整性检查能够为存储用户提供所需的保证，“检查”必须是Filecoin最基本协议的一部分。那就是Filecoin证明系统起作用的地方。
证明系统是参与者（通常是节点参与者）用来验证存储服务的加密协议。Filecoin的证明系统解决了分散存储以前难以解决的问题：节点参与者如何才能证明自己确实存储了他们所说的时间数据以及他们专用的物理空间？为了理解这一点，我们需要看一下Filecoin如何实现分散存储，以及使其证明系统与众不同的原因。
Filecoin如何实现分散存储
在中心化存储服务中，我们信任可以保证其系统完整性和安全性的知名公司或实体。该第三方实体是对网络保持信心的关键。例如，当我们使用Amazon S3进行云存储时，我们并不真正信任Amazon使用的数据服务器网络。而是，我们相信亚马逊可以保证网络按承诺运行，根据公司的服务水平协议，我们存储在亚马逊上的数据将是安全和可用的。
对分散存储网络的信任更难以实现。在Filecoin网络上，世界上任何人都可以提供存储空间。但是要在像Filecoin这样的分散网络上保持信任，需要一种在全局网络本身上建立信任的方法。
Filecoin的证明系统就是通过在Filecoin区块链的协议层中建立信任来实现的。Filecoin协议利用存储证明作为在Filecoin区块链中达成共识的核心机制。
在每个公共区块链上，“共识”定义了有关存在于区块链上的数据条目的协议。为了达成共识，区块链依靠共识算法生成新的区块，并保护区块链免受欺诈性数据输入的侵害。这些算法精确地确定了节点参与者如何为建立和维护区块链做出的贡献。
但是，尽管其他区块链依赖于要求节点参与者执行浪费资源的共识算法（例如，工作量证明区块链），但Filecoin的共识机制却使节点参与者从事了有用的工作，以提供和验证存储数据的完整性（存储证明，即复制证明和时空证明）。
这意味着Filecoin区块链本身会验证节点参与者执行的存储行为。这就是Filecoin在其分散网络的协议层中建立信任的方式。Filecoin共识算法的核心是两个证明机制，它们共同使数据存储可在Filecoin区块链上公开验证：复制证明和时空证明。
复制证明和时空证明
要验证Filecoin分散网络上的存储，需要证明两点。
首先，需要证明正确的数据集存储在给定的存储空间中。其次，需要证明在给定的时间内连续存储了相同的数据集。
Filecoin的证明算法可以执行这些验证任务。复制证明可以证明给定的节点参与者正在存储客户原始数据的物理唯一副本，而时空证明证明客户的数据随时间连续存储。
两种证明的工作原理如下：
复制证明（PoRep）从称为“密封”的过程开始。节点参与者专用于一部分可用存储空间，称为“扇区”，用于存储客户的数据。填充该扇区后，将其密封。密封是一组将扇区逐渐转换为原始数据的唯一副本的操作。该副本与Filecoin节点参与者的公钥相关联。为了执行最终的PoRep，节点参与者然后将副本（其CommR）的加密哈希提交到公共Filecoin区块链。
通过PoRep，节点参与者可以提供公开证明，证明他们在执行证明时正在存储客户数据的唯一编码。只有拥有全部原始数据的节点参与者才能向Filecoin区块链提交正确的CommR（对副本的链上承诺）。但是，仅一个PoRep并不能验证存储是否会随着时间的推移而连续。
这就是时空证明（PoSt）的来源。使用PoSt，要求随机选择的节点参与者为他们维护的随机选择的存储扇区提供PoRep。这是通过向节点参与者发出加密挑战的程序来完成的，只有直接访问密封部门才能正确回答。节点参与者必须在严格的时限内应对这一挑战。每个节点参与者必须每天证明其所有存储，并且还随机选择节点参与者来证明存储以赢得区块。密封的计算难度确保了节点参与者必须保持对密封区域的随时访问和完整性。
PoRep和PoSt共同构成了Filecoin独特的证明系统，是存储证明和空间证明的结合。
除了证明系统之外，Filecoin网络还依靠博弈论的动机来阻止恶意或过失的活动。同意在Filecoin网络上存储数据的所有节点参与者在协议时必须以Filecoin的形式提供抵押品。任何未通过PoSt检查的存储节点参与者都将受到处罚，并且每当施加罚款时，该抵押品的一部分都会丢失。罚款过多后，所有抵押品都将丢失，从而阻止了节点参与者再次向客户提供存储。
总结
Filecoin协议采用新型加密技术、共识协议和博弈论激励机制设计，提供了客户和节点参与者都可以放心使用的去中心化存储网络和市场。而它的核心，正是其独特的存储验证方法。通过Protocol School的教程（https://proto.school/#/verifying-storage-on-filecoin），可以更加详细的了解其存储验证方案。