SNARK：基于GPU计算的猩动力池服务

我们需要着重强调一点：Filecoin挖矿是基于有效存储数据量的共识。Filecoin实际上是一个存储挖矿项目，所以为了赢得更多的区块奖励，与其说与服务器运行的GPU数量成线性关系，不如说与存储有效数据的量相关，也就是经过网络验证的数据量。

在Filecoin挖矿过程中，矿工在存储能力共识上竞争，而不是在GPU能力上竞争。矿工只有在赢得选举票时才会使用GPU，在ElectionPoSt环节中。获取算力的最佳和最便宜的方法是向Filecoin网络增加更多有用的存储。

那么有些矿工朋友会问：比特币矿机全年都在计算，显卡只有在某些特定环节才能计算。这么多时间里闲置的GPU会不会浪费？有没有一种方式让GPU更高效地运作？

在2019年12月，协议实验室在其博客《Filecoin Testnet Mining》中提到，“如果你是一个担心显卡成本的小矿工，放心吧，我们正在努力使矿工能够安全地将SNARK计算外包给第三方服务提供商。”

换句话说，通过第三方的GPU外包服务，可以以更经济的方式生成SNARK。在每个密封副本的复制证明上生成SNARK，并将SNARK输出提交到链中。

关于复制证明的更多信息，请参见下图：

随着主网临近，网存科技团队推出了自主研发的Filecoin SNARK集群加速服务。

什么是SNARK集群加速服务？

在Filecoin挖矿中，zk-SNARK主要用于复制证明（PoRep）和时空证明（PoSt）。复制证明可以证明矿工执行数据复制并存储了一个副本，时空证明证明矿工一直存储该副本未删除未损坏。通过这两种证明保证了存储的可靠性，是Filecoin挖矿的核心组件。

由于zk-SNARK证明简洁且不需要来回交互，所以生成的证明数据量很小，上链占用空间小，并且容易验证。非交互式证明是指任何人都可以验证它，但不需要与证明者进行交互，且其验证时间是固定的。因此，在传输上不会对网络造成太大压力，同时极大压缩了验证时间，提升了矿工的挖矿效率。

Filecoin整个流程中，除了C2（commit2）阶段可以提升一倍的速度之外，时空证明POST（WinningPost和WindowPost）也可以通过GPU提供加速（在网络环境允许的情况下，P2（Precommit2）也可以考虑并入C2处理）。也就是说，除了这两个阶段需要用到GPU加速之外，其他阶段处于闲置状态。而独立的GPU计算池大大提高了GPU的利用率，通过合适的任务调度，SNARK加速集群可以为大量矿机提供SNARK计算，为挖矿集群提供发动机的作用。

P2阶段（Precommit2） 加速前：3小时1分钟 加速后：27分钟45秒

C2阶段（Commit2） 加速前：2小时21分 加速后：1小时11分

加速前：WindowPost 24分钟39秒 加速后：WindowPost 11分钟29秒

此项服务不仅面向网存科技服务的矿工，也欢迎其他矿工以付费方式与我们合作，降低挖矿的门槛，让更多矿工能参与进来，与行业共建Filecoin生态。