作者：岳小魚
以太坊正在ZK化，而ZK證明器需要硬件加速，像比特幣挖礦一樣有硬件依賴，那么ZK挖礦就可能變成新型的PoW。
以太坊的經濟模型最終可能會變成PoS和PoW并存，形成一種新的"混合共識"模式。
接下來，我們就具體看下上述設想的底層邏輯。
ZK（零知識證明）的基本原理是：一方可以向另一方證明一個聲明是真實的，而不需要提供任何其他信息。
這是一項非常有前景的技術。
ZK技術在區塊鏈領域中目前主要應用于擴容。
V神一直在力推ZK技術，由于V神的意愿和傾向，以太坊基金會也投資了各類ZK項目。
但是ZK項目這種基建層的周期比較長，所以我們普通用戶目前所能直接感知到的就是各種ZK Rollup，即ZK系的以太坊Layer2解決方案。
典型代表就是zkSync、Starknet、Polygon zkEVM、Scroll、Linea等。
這些都是在以太坊的執行層融合ZK技術。
而以太坊自身也在逐漸ZK化。
（1）共識層 ZK化（如 Beam Chain 提案）：通過將共識操作的驗證過程 ZK化，可以簡化和加速共識過程。
（2）數據層ZK化：只存儲證明而不存儲所有交易數據，可以顯著減少鏈上存儲需求。
通過這些方式，以太坊能夠在保持其去中心化和安全性的同時，顯著提升其網絡的性能，包括交易處理速度、成本、以及隱私保護。
ZK 技術的引入被視為以太坊生態系統長期擴展策略的一部分，可以應對更高的用戶需求和應用復雜性。
上述提到了ZK諸多優勢，但是ZK目前面臨的最大阻礙是生成ZKP（Zero-Knowledge Proofs）的性能問題。
ZK的運作機制是通過使驗證者將多個交易合并到一個單一的、簡潔的證明中，然后再將交易提交到主網，最終實現了主網的擴容。
但ZK也有局限性，因為生成證明的過程在時間和精力方面都是非常耗費資源的。
由于需要許多復雜的數學運算，例如冪運算、倒數運算和雙線性配對計算，證明的創建通常會減慢速度。
單純靠軟件優化無法進一步提升性能，因此需要結合硬件，通過使用專用硬件進行加速，可以使得證明生成速度從原來小時級別提升到秒級別，這將是一個巨大的提升。
因此，ZK有硬件依賴，需要專用芯片。
隨著 ZKP 技術在隱私計算、區塊鏈擴展等領域的應用逐漸增多，ZKP 的生成速度和效率成為瓶頸，市場對硬件的需求也日益強烈。
如果采用ZK硬件加速，進而可以實現硬件挖礦，這就出現了一種新的經濟模型。
傳統的 PoW（工作量證明）挖礦依賴于解決復雜的數學問題，而 ZK 硬件挖礦則是快速生成 ZKP 的能力。
類似于 PoW 挖礦，參與者可以競爭生成 ZKP 的速度和效率，首先生成有效證明的參與者獲得獎勵。
在 PoS 系統中，驗證者（即質押者）負責驗證交易和提出新區塊。ZK 證明可以用來證明某個區塊或一系列交易的正確性，增強安全性和降低驗證成本。
驗證者在執行其 PoS 職責的同時，生成 ZKP 作為對其工作的額外證明。成功生成并提交有效 ZKP 的驗證者可以在現有的區塊獎勵之外獲得額外的獎勵。
這可以是 ETH 或網絡內部的某種形式的獎勵（如特定代幣或 Gas 費用的一部分）。
主網區塊獎勵可以分為兩部分，形成一種分層獎勵系統：其中一部分獎勵用于傳統的 PoS 驗證，另一部分根據節點在 ZK 證明生成中的貢獻分配。
由此可以看到，ZK 可以作為 PoS 驗證的增強，ZK 挖礦則可以作為 PoS 質押的擴展。
質押者除了質押 ETH 以獲得 PoS 獎勵外，還可以通過參與 ZK 相關的工作來獲得額外的獎勵。比如，質押者可以運行 ZK 證明生成節點，提供計算資源以支持 ZK 技術的應用。
但是這里只是提出了一種可能性，如果要將以太坊現有的PoS機制整合ZK技術，需要對當前 PoS 協議進行修改或擴展，以容納 ZK 證明的角色。
而且必須要設計一個公平的激勵模型，確保既不削弱 PoS 的激勵效果，又能促進 ZK 技術的應用。
以太坊從PoW轉PoS后，最被詬病的一點就是沒有外部性引入到這個“封閉”的經濟系統了。
PoW 是具有外部性的，需要能源、硬件，從而將區塊鏈的經濟活動擴展到了區塊鏈外部，影響了現實世界。
PoS 系統中，驗證區塊的資格主要基于持有的代幣數量（即質押），經濟活動更多地集中在質押和網絡內交易，而不是像 PoW 那樣涉及到廣泛的礦機生產、電力市場等外部產業。
ZK加速硬件和PoW礦機一樣，需要專用硬件，但是“無效耗電”問題會被降低，因為PoW是解決數學題來競爭出塊權，而ZK挖礦則是生成有效的證明來驗證交易，無需不同的節點做重復性的無效勞動。
更進一步，會出現ZK算力市場，甚至可以實現AI算力和ZK算力共享。
市面上可能會出現提供綜合性計算服務一體化平臺，支持 AI 和 ZK 任務的計算需求。
用戶可以在同一平臺上處理需要高性能計算的 AI 任務和需要 ZK 證明生成的任務。
協議層面也可以進行整合：創建智能合約或協議，使得 AI 算力提供者也可以參與到 ZK 證明的生成中，或者利用 ZK 技術來驗證 AI 計算的結果。
算力也可以進行動態分配：根據任務需求動態分配算力資源。例如，當 AI 任務需求較低時，這些資源可以用于生成 ZK 證明，反之亦然。
目前ZK硬件加速賽道的頭部項目是Cysic。
Cysic專注于設計和生產專用集成電路（ASIC）、現場可編程門陣列（FPGA）以及 GPU 加速解決方案，以加速 ZKP 的生成過程。
Cysic設計了兩款硬件產品：
（1） ZK Air: 輕便的 ZK 設備，尺寸接近筆記本電源適配器，計算能力相當于 10 張 RTX 4090 GPU，適合個人用戶。
（2）ZK Pro: 更強大的設備，性能相當于 50 張 RTX 4090 GPU，設計用于大型 ZK 項目如 zkRollup 和 zkML。
除了硬件之外，Cysic 還提供了一套 CUDA 庫，支持多種 ZKP 系統如 Plonky2, Gnark, Halo2, RapidSnark 等。這些庫能夠大幅提升性能，相比開源框架至少提高 50%。
同時，Cysic有一個生態系統，Cysic Network，主要是為了整合和管理社區計算資源，連接 ZK 項目方、計算力提供者和社區驗證者，形成一個可靠的計算力網絡。
簡單說，Cysic Network就是一個ZK礦池與SaaS平臺。
目前，Cysic已經與多個 zkRollup 項目合作，展示了其產品的實用性和市場需求。
除了Cysic，還有一個非常有特點的項目要提一下：Scroll
沒有想到，“眾叛親離”、“臭名昭著”的Scroll在ZK硬件加速方面是做得非常靠前。
和其他ZK Rollup項目對比，Scroll可以說是另辟蹊徑，從硬件入手，通過開發專用的ZK加速硬件GUP，形成了自己的競爭壁壘，這也是Scroll最大的差異化競爭優勢。
單看這一點，Scroll確實是挺硬核的一個項目。
但是Scroll和Cysic定位不一樣：對于Scroll，硬件加速是其Layer2整體解決方案的一部分；而 Cysic 則致力于為整個 ZKP 生態系統提供硬件加速服務。
最后，總結一下本文的內容：
（1）以太坊正在ZK化：以太坊通過引入零知識證明（ZK）技術來實現擴容和提高隱私性，已經在共識層和數據層應用了ZK技術，以提升網絡性能。
（2）ZK需要硬件加速：由于生成零知識證明耗費大量計算資源，硬件加速（如 ASIC、FPGA）被視為提高效率的必要手段。
（3）PoS與ZK挖礦的結合：提出了一個新的經濟模型，即將ZK挖礦作為PoS的擴展，質押者通過提供ZK計算能力獲得額外獎勵，形成PoS和PoW并存的模式。
（4）ZK挖礦引入新的正外部性：與PoW相比，ZK挖礦可能減少無效能耗，但仍然需要專用硬件，帶來對硬件生產和技術創新的激勵。
（5）AI與ZK算力共享：AI和ZK計算任務可能共享硬件資源，形成一個綜合性計算服務市場。
（6）市場領先項目：Cysic和Scroll是ZK硬件加速領域的領先者，前者專注于為ZK生態提供硬件，后者將其作為Layer2解決方案的一部分。
最后，ZK硬件加速賽道已經初現端倪，隨著以太坊的進一步ZK化，ZK硬件加速將變得更加重要，甚至會反向改變以太坊的經濟模型，值得我們對這個賽道持續關注。
喜來順財經
