注：原文来自@Real_Maxlion发布长推。

和神秘投资人 @Isomeride Qin Yang 讨论了一些关于 ZK 挖矿以及 ZKR 性能的话题。

首先，除了 @Scroll_ZKP 以外，其他 ZKR 和自己要生成 ZKP 的项目例如 @Filecoin 等，他们的 prover 去中心的规划大概是怎样的？

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

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

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

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

https://twitter.com/fede_intern/status/1660269116224073729?t=OtoyBEH43tcSD48xfMfopQ&s=19…

https://twitter.com/ClassLambda/status/1626219063923064832?t=hqw73c5D3k3MEtnr1r-ubw&s=19…

然而这只是开始。

关于 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）。

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