注：原文来自@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 速度就可以了。