天津红桥区IPFS矿池，提供专业存储设备，引擎矿池等产品服务

2021-03-06 03:00:01 479次浏览

价 格：面议

2.矿工生成存储数据副本的证明Πpos

矿工存储数据并完成密封后，那矿工如何向一个没有中心化服务器的Filecoin网络，证明矿工确实存储了这个副本呢？星际大陆明哥觉得很难，但是协议实验室做到了。

生成证明过程中使用了零知识证明（关于零知识证明有点复杂，有兴趣的读者可以阅读相关资料）的思路，即验证者在不需要拥有任何数据的情况下相信矿工确实存储了数据副本，怎么做到的呢？

如下图中的红色线条所示，矿工根据网络中其他验证节点提出的随机挑战C，例如是要挑战位置8，那么矿工就需要计算从叶子节点D8跟根节点Root的路径，输出一个证明Πpos，返回给发起挑战的验证节点。

扇区（白皮书中的sector）是指存储矿工特定的存储空间，用来衡量有效存储以及提交存储证明的单位空间。当存储矿工存满（可能没存满也可以密封，但是应该会浪费部分的存储空间）一个扇区的数据后，才运行扇区密封，密封后提交复制证明，这样才会形成有效存储。

三、时空证明

时空证明可以理解为持续的复制证明，即矿工必须不断的生成证明（在这，我们姑且大胆的预测10分钟左右）并在一个提交周期内提交存储证明（大胆的预测3-5天提交一次，这样做的目的是即使短时间断网也不会影响证明的生成和提交），如果没有在提交周期内连续及时提交证明，会被系统扣除部分代币。

生成证明的过程跟复制证明非常相似，只是时空证明的输入是以上一生成的证明做为输入参数，这样能保证证明生成的连续性，详见白皮书。

简单总结挖矿的几点核心为：

硬盘容量和挖矿回报成正比

分发相应能力和挖矿回报成正比

存储即算力

具有自我恢复的能力

Filecoin的一个全节点，包含了区块、和数据存储两大部分，而区块里主要记录以下信息：

分配表

订单信息

交易信息

存储部分里只要是存储的来自客户加密后的文件数据。