Filecoin的证明系统最新

/ 发布时间 / 2021-08-02
Filecoin之所以独一无二,不只在于Filecoin是星际文件系统互联网唯一的勉励层,并获得了高达2.57亿USD的筹资,也在于Filecoin独特的共识机制。...

Filecoin之所以独一无二,不只在于Filecoin是星际文件系统互联网唯一的勉励层,并获得了高达2.57亿USD的筹资,也在于Filecoin独特的共识机制。当以BTC为代表的数字虚拟货币以工作量证明的共识机制来需要矿工相互角逐,并通过解决计算量大数学问题的方法来验证两个交换BTC的人之间的付款信息。Filecoin已经创建了新的证明结构,以经证明的存储形式确定矿工开采区块的概率,在该结构中,Filecoin通过产生积极的社会外部性的操作来达成协议。今天,大家就来谈谈Filecoin的证明系统。




PoRep(复制证明)

PoRep(复制证明)是一种证明系统,矿工可用该证明系统以可公开验证的方法向互联网证明其专用于存储数据文件一个或多个副本的唯一资源,也就是说,在复制证明中,存储矿工证明他们正在存储数据的物理唯一副本或多副本。

在矿工初次存储数据时,复制证明仅发生一次。

填充部门并生成CommD

当存储矿工收到顾客数据时,他们会将其放入一个扇区。扇区是Filecoin中基本的存储单位,可以包含来自多个买卖和顾客数据的碎片。
扇区填满后,将生成一个CommD(数据提交,也称为UnsealedSectorCID),代表该扇区中所有CID的根节点。


密封扇区和生产CommR

下面,发生称为密封的过程。
在密封期间,通过一系列图形和哈希处置对扇区数据(由CommD标识)进行编码,以创建唯一的副本。所得副本的Merkle树的根哈希是CommRLast。
然后,将CommRLast与CommC(来自复制证明的另一个merkle根输出)一块哈希处置。这将生成CommR(复制承诺,也称为SealedSectorCID),并记录到公共区块链中。CommRLast由矿工私下保存,以备以后在时空证明中用,但未保存到链中。
编码过程被设计为缓慢且计算繁重,因此难以欺骗。(请注意,编码与加密不同。假如要存储私人数据,则需要先对其进行加密,然后再将其添加到Filecoin互联网中。)
CommR提供了大家所需要的证明,表明矿工正在存储顾客数据的物理唯一副本。假如将相同的数据存储在多个存储矿工中,或者用一个矿工对同一数据进行多个存储买卖,则每一个买卖将具备不一样的CommR。
密封过程还用zk-SNARKs压缩了复制证明,以维持链条较小,以便Filecoin互联网的所有成员都可以存储该链条以进行验证。


PoSt(时空证明)

过去运行一次复制证明来证明矿工在密封该扇区时存储了物理上唯一的数据副本,而PoSt (时空证明)则反复运行以证明他们继续将存储空间专用于该副本,数据随时间推移。
PoSt打造在复制证明期间创建的几个元素的基础上:副本,私有保存的CommRLast和公共已知的CommR。


第一,PoSt随机选择编码副本的某些叶节点,并对它们运行Merkle包含证明,以证明矿工具备应在其中的特定字节。

然后,该矿工用私有存储的CommRLast证明(不透露其价值),他们知晓该副本的根,这既与包含证明相符,又可以用于推导大家都知道的CommR。
PoSt的最后阶段将这部分证明压缩为单个zk-SNARK。

当矿工赞同为顾客存储数据时,他们需要质押抵押物。假如他们在合同期间的任何时候均未通过时空证明,则将遭到处罚。这是鼓励在Filecoin互联网中所有参与者之间表现好的勉励手段的重要部分。

zk-SNARKs(零常识证明)

值得说明的是,Filecoin中的复制证明和时空证明过程均用zk-SNARK进行压缩。
大家对zk-SNARKs应该很熟悉,这是零常识证明,大家也可以将它们视为计算的哈希值。他们让大家证明了证明已正确完成,而不必透露证明本身或它所基于的基础数据的详细情况。
创建Filecoin的zk-SNARKs的过程在计算上是昂贵并且缓慢的,但最后数值非常小,并且验证过程飞快。与原始证明相比,zk-SNARKs非常小,可以有效地存储在区块链中。比如,用zk-SNARK可以将在Filecoin链上占用数百千字节的证明压缩为仅192字节。
如前所述,运行Filecoin节点的每一个人都维护链的最新版本以进行验证。在zk-SNARK的帮忙下,将每一个证明都维持较小,可以最大程度地降低对Filecoin互联网中每一个节点的存储需要,与验证交易平台需的时间。




此文出于传递更多信息之目的,并不意味着同意其看法或证实其描述。本网站所提供的信息,只供参考之用。