filecoin与众不同的原因不仅在于filecoin是IPFs网络唯一的激励层，获得了高达2.57亿美元的融资，而且还因为其独特的共识机制。当以比特币为代表的数字货币要求矿工通过工作量证明的一致性机制相互竞争，通过解决计算量大的数学问题来验证交换比特币的两个人之间的支付信息。Filecoin创建了一个新的证明结构，以确定以经验证的存储形式挖矿块的可能性。在这种结构中，filecoin通过产生积极的社会外部性来达成共识。今天，我们将讨论filecoin的证明系统。
Porep（复制证明）
Porep（proof replication）是一个证书系统，矿工可以使用该系统以公开可验证的方式向网络证明其专用于存储数据文件的一个或多个副本的唯一资源，也就是说，在复制证明中，存储矿工证明他们存储的是物理上唯一的副本或数据的多个副本。
当miner第一次存储数据时，复制证明只出现一次。
填充部门并生成命令
当存储矿工收到客户数据时，他们会将其放入一个扇区。扇区是filecoin中的基本存储单元，可以包含来自多个事务和客户的数据片段。
当扇区填满时，会生成一个commd（数据提交，也称为未密封扇区CID），表示扇区中所有CID的根节点。
密封扇区和生产通信
接下来，一个称为密封的过程发生。
在密封期间，扇区数据（由commd标识）通过一系列图形和哈希处理进行编码，以创建一个唯一的副本。结果副本的Merkle树的根哈希为commrlast。
然后Commrlast与commc（复制证明的另一个Merkle根输出）一起散列。这将生成一个commr（复制承诺，也称为sealedsectorcid）并将其记录到公共区块链中。时空链中的矿工们不会将证书私藏起来供将来使用。
编码过程被设计成缓慢且计算量大，因此很难作弊。（请注意，编码与加密不同。如果要存储私有数据，则必须在将其添加到filecoin网络之前对其进行加密。）
Commr提供了我们需要的证据，证明矿工们正在存储客户数据的物理唯一副本。如果同一数据存储在多个存储miner中，或者同一数据的多个存储事务由一个miner执行，则每个事务将具有不同的commr。
密封过程还使用ZK snarks压缩复制证明，使链保持较小，以便filecoin网络的所有成员都可以存储链以进行验证。
Post；（时空证明）
运行复制证明以证明miner在密封扇区时存储了物理上唯一的数据副本，而post（时空证明）则反复运行以证明他们继续将存储空间专用于副本和数据。
Post基于复制证明过程中创建的几个元素：replica、私有commrlast和public known commr。
首先，poss随机选择编码副本的一些叶节点，并对它们运行Merkle inclusion proof，以证明miner有一个应该在其中的特定字节。
然后，miner使用私有存储的commrllast证明（不显示其值），并且他们知道副本的根，这既与包含证明一致，也可用于导出众所周知的commr。
在post的最后阶段，这些证明被压缩成一个ZK snark。
当矿工同意为客户存储数据时，他们需要抵押抵押品。如果在合同期内任何时候未能通过时间和空间证明，他们将受到处罚。这是鼓励filecoin网络中所有参与者表现良好的激励措施的关键部分。
ZK snarks（零知识证明）
值得注意的是，ZK snark用于压缩filecoin中的复制证明和时空证明。
我们应该熟悉ZK snark，它是零知识证明。我们也可以将它们视为计算的哈希值。他们让我们证明证据是正确的，而不必披露证据本身的细节或它所依据的基础数据。
创建filecoin的ZK snark的过程成本高，计算速度慢，但最终值很小，验证过程非常快。与原始证据相比，ZK snark非常小，可以有效地存储在区块链中。例如，ZK snark可以将一个在filecoin链上占用数百千字节的证明压缩为192个字节。
如前所述，运行filecoin节点的每个人都维护最新版本的链以进行验证。在ZK Snark的帮助下，使每个证明更小可以最小化filecoin网络中每个节点的存储需求和验证事务所需的时间。
文章标题：filecoin的证明系统
文章链接：https://www.btchangqing.cn/113512.html
更新时间：2020年10月02日
本站大部分内容均收集于网络，若内容若侵犯到您的权益，请联系我们，我们将第一时间处理。
