一文读懂Opside的ZK-PoW算法

TL;DR

Opside提出的ZK-PoW算法，具有以下优势：

ZKP的两步提交算法，为ZK-Rollup提供了标准的去中心化Prover机制

为什么我们需要ZK算力的PoW算法？

首先，prover成本高昂，且需要专业的设备与机房，不是每一个ZK-Rollup的运营者都具有维护一个中心化的prover集群的能力。因此我们需要专业的矿工来承担未来海量的ZK-Rollup的算力需求

Opside的ZK-PoW算法

PoW的奖励分配机制

Opside采用了PoS和PoW混合共识。其中PoS部分是基于ETH 2.0 的共识改进的。因此，Opside将拥有超过10 w多个validator来提供海量的数据可用性，同时具有高度的去中心化程度。

Miner可以自由选择参与其中一个或者多个Rollup的ZKP计算。在未来，各个sequence将根据对应的ZK-Rollup类型、所包含的Rollup交易数量、gas使用量等进行工作量预估，从而对不同sequence进行不同的定价。

ZKP 的两步提交算法：标准的去中心化Prover机制

1. 提交proofhash：在一个时间窗口内，对于某个sequence，允许多个矿工参与zero-knowledge proof的计算。各个矿工计算出proof之后，并不直接提交原始的proof，而是计算（proof / address）的proofhash，并向合约提交proofhash。

2. 提交ZKP：在时间窗口后，矿工提交原始的proof，并与之前提交的proofhash进行验证。验证通过的矿工都可以得到PoW奖励，奖励金额按照矿工质押量的比例来分配。

优化的 ZKP 生成算法：矿工效率提高了 80% 

Rollup的智能合约验证ZKP的时候，如果提交的是原始proof数据，就有可能引发链上攻击行为。为了防止恶意攻击行为，ZK-Rollup往往需要进行额外的工作量来隐藏原始的proof数据。有一种解决方案是，矿工提交的ZKP包含了对矿工地址的聚合结果。Opside提出的ZKP的两步提交算法，则巧妙地采用了先提交+后验证的模式，不再需要对proof和地址做类似的不必要的聚合计算。

Opside团队还对ZKP递归聚合算法进行了一系列的优化，充分提升了集群内机器资源的利用率，进一步提高了ZKP的计算速度。

总结

Opside提出的ZK-PoW算法，创造性地定义了一个市场化的ZK算力定价机制。这个算力市场为即将到来的ZK-Rollup（尤其是zkEVM）的大规模爆发提供了海量算力平台；同时也为大量闲置的矿工提供了新的挖矿场景。

ZKP的两步提交算法，为ZK-Rollup提供了标准的去中心化Prover机制，鼓励更多的矿工提供稳定、持续的ZKP算力。同时，优化的ZKP计算与提交机制，将生成ZKP的效率提高了80%