探讨 ZK 挖矿及 ZK Rollup 性能问题

现在不能挖，过年的时候才能挖，现在可以开始埋伏。

撰文：Maxlion

和神秘投资人 @Isomeride Qin Yang 讨论了一些关于 ZK 挖矿以及 ZKR 性能的话题 😎。首先，除了 @Scroll_ZKP 以外，其他 ZKR 和自己要生成 ZKP 的项目例如 @Filecoin 等，他们的 prover 去中心的规划大概是怎样的？

回答了这个问题是不是就可以大概推理 ZK 挖矿市场的爆发时间？

我其实除了 @Starknet 别的都没深入调研过，稍微讲讲 Starknet 那些事

Starknet 工程团队 @ClassLambda 近期宣布通过 Terraform 实现并行证明

此前该团队宣称已经完成证明器（prover）的 GPU 实现。

然而这只是开始。

关于 Starknet 去中心进展要回到整个网络的路线图来看。Starknet 有三个阶段，分别是可用性、高性能以及去中心。

简单来讲就是说 Starknet 性能够高之后才会考虑去中心，目前正属于提高性能的阶段，可能会持续到 Q4。

而在 prover 去中心化后，给 prover 的代币 incentive 会是和 prover 的算力成线性相关么？类似于 PoW 那种还是 PoS？目前来看 Starknet 可能是 PoS，Scroll 和 Polygon 是 PoE。Starknet 的去中心协议进展可以看这个。

这里又插入一个关于 ZKR 性能瓶颈的话题。

排序器往往才是 ZKR 性能瓶颈而不是 Prover，排序器可以理解为执行交易的节点，直接影响到 tps 和 gas。

比如说 StarkWare 有个 sharp（超算）共享证明器，Starknet 和 StarkEx 的证明都往这跑，而 Starknet 的性能依然很慢，因为 Starknet 排序器性能不行

所以关于 ZKR 的性能瓶颈问题，理论上 ZKR 的证明生成和验证速度只要跟得上 L1 发布 calldata 速度就可以了😂

对用户而言，给用户展示的结算时间就是在 L2 上打包出块的时间，而不是最终在 L1 上发布 / 验证的时间。追求 L2 Finality 而不是 L1 Finality🚀

回到 ZK 挖矿和 Prover 的话题。

如果我 run ZK prover，这些 zk protocol 先开放去中心的 prover 的接口是 third party ZK prover 能去参与的先决条件。因此从这个角度来看似乎 @Scroll_ZKP 是走在最前面的，Scroll 不愧是国产啊，很照顾国内大批矿工的利益 (bushi。

蚌，这个讨论有点东西但不多。最后回答一开始的问题， ZK 挖矿的时机。

这个实际上取决于不同项目具体的代币经济和去中心规划等因素，不能一概而论。

有的项目希望快速上马马上开挖，有的项目会等到性能差不多再开挖。尽管如此，从路线图的角度来看许多项目都会在 q4 或者明年 q1 左右开挖。

所以不同细分赛道的 zk 挖矿还是有机会（蚌，废话），但值得提醒的是 zk 矿机和传统的 PoW 矿机差别还是很大的，因为 ZK 证明系统 / 算法都不一样，可能面临不兼容的问题。

那这样子看还是有 GPU 的机会 / 但不多，周末去华强北逛逛（bushi）。

一个字总结：现在不能挖，过年的时候才能挖，现在可以开始埋伏。