Filecoin之所以异乎寻常,不只在于Filecoin是IPFS网络仅有的鼓励层,并获得了高达2.57亿美元的融资,也在于Filecoin独特的一致机制。当以比特币为代表的数字货币以工作量证明的一致机制来要求矿工相互竞争,并经过处理计算量大数学问题的方法来验证两个交流比特币的人之间的付款信息。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网络中每个节点的存储需求,以及验证买卖所需的时刻。
视野开拓
小学阶段是人们培养读写能力和计算能力的最关键的阶段,但韩国和中国台湾实现经济腾飞时,教育水平远远低于东南亚的平均水平。第二次世界大战结束时,台湾有55%的人都是文盲,1960年降低到45%。1950年,韩国人的文盲率甚至比当代的埃塞俄比亚还要高。与其说是教育催生了经济发展,还不如说是经济发展促使家庭加强子女教育,从而使得更大的经济发展具有可能性。-《亚洲大趋势》