Filecoin：可验证的存储，比特币之外的技术进步

这是系列中第二篇博客文章，重点介绍Filecoin协议特有的功用。

Filecoin商场有效运行，因为客户能够坚信网络上的存储矿工正在正确地存储其数据。这种决心来自Filecoin自己共同的证明体系，该体系可保证Filecoin网络上的存储按合同规定作业。

运用Filecoin，能够对矿工的存储进行揭露审核。换句话说，咱们的存储证明可为Filecoin网络的每个用户供给保证，保证一切矿工都按许诺存储数据。存储验证是将Filecoin商场整合在一起的粘合剂；它保证了网络上存储的一切数据的完整性。

为了使这些数据完整性查看能够为存储用户供给所需的保证，查看有必要是Filecoin最基本协议的一部分。那便是Filecoin的证明体系起作用的当地（咱们在这里写了另一篇有关Filecoin证明的博客文章）。

证明体系是参与者（通常是矿工）用来验证存储服务的加密协议。Filecoin的证明体系处理了分散存储曾经难以处理的问题：矿工怎么才能证明自己确实存储了他们所说的时间数据以及他们专用的物理空间？为了了解这一点，咱们需求看一下Filecoin怎么实现分散存储，以及使其证明体系异乎寻常的原因。

Filecoin怎么实现分散存储

在集中存储服务中，咱们信赖能够保证其体系完整性和安全性的闻名公司或实体。该第三方实体是坚持对网络决心的关键。例如，当咱们运用AmazonS3进行云存储时，咱们并不真正信赖Amazon运用的数据服务器网络。而是，咱们相信亚马逊能够保证网络按许诺运行，依据公司的服务水平协议，咱们存储在亚马逊上的数据将是安全和可用的。

对分散存储网络的信赖更难以实现。在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协议选用

此时快讯

【Starknet公布Cairo短期路线图，v2版将引入增强安全性的合约语法】8月15日消息，以太坊 Layer 2 扩容解决方案 Starknet 宣布将在 Starknet alpha v0.12.0 上线时推出Cairo v2，并公布Cairo 的短期路线图，将在 v2 版本引入了新的合约语法，旨在增强安全性，并通过为合约的外部函数、存储和事件引入更多结构出现错误的可能性。新语法将导致重大变化，要求开发人员修改其合约的最外层（外部函数和事件的定义）。即将推出的功能将包括支持导入外部库中定义的组件、以太坊签名验证、新增支持签名数字和一种长字符串的原生类型。 Starkware 称，Cairo 现在已经足够稳定，可以支持复杂应用。