ZK鏈可以「挖礦」?現在不能挖,過年的時候才能挖,現在可以開始埋伏了?本文探討了 ZK 挖礦以及 ZK Rollup 效能的話題。本文源自 Maxlion 的推特研究長文,由 Foresight News 整理。
(前情提要:V神:以太坊3挑戰「擴容、隱私和用戶安全」,10年後zk-SNARKs與區塊鏈一樣重要)
(背景補充:科普 | ZK零知識證明是什麼?V神認為十年後與區塊鏈一樣重要)
和神祕投資人 Qin Yang 討論了一些關於 ZK 挖礦以及 ZKR 效能的話題。首先,除了 Scroll 以外,其他 ZKR 和自己要生成 ZKP 的專案例如 Filecoin 等,他們的 prover 去中心的規劃大概是怎樣的?回答了這個問題是不是就可以大概推理 ZK 挖礦市場的爆發時間?我其實除了 Starknet 別的都沒深入調研過。
稍微講講 Starknet 那些事
Starknet 工程團隊 LambdaClass 近期宣佈 通過 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 是走在最前面的,Scroll 不愧是國產啊,很照顧國內大批礦工的利益 (bushi。
棒,這個討論有點東西但不多。最後回答一開始的問題, ZK 挖礦的時機。
這個實際上取決於不同專案具體的代幣經濟和去中心規劃等因素,不能一概而論。
有的專案希望快速上馬馬上開挖,有的專案會等到效能差不多再開挖。儘管如此,從路線圖的角度來看許多專案都會在 Q4 或者明年 Q1 左右開挖。
所以不同細分賽道的 zk 挖礦還是有機會(棒,廢話),但值得提醒的是 zk 礦機和傳統的 PoW 礦機差別還是很大的,因為 ZK 證明系統 / 演演算法都不一樣,可能面臨不相容的問題。
那這樣子看還是有 GPU 的機會 / 但不多。
一句話總結:現在不能挖,過年的時候才能挖,現在可以開始埋伏。
📍相關報導📍
Polygon zkEVM 上線兩個月》流動性低落,空投沒炒作