探討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）。

一個字總結：現在不能挖，過年的時候才能挖，現在可以開始埋伏。