Vitalik 盛讚的 ZKsync，可能真的被低估了

就單 GPU 而言，Airbender 不僅驗證速度最快，而且成本最低。

撰文：Eric，Foresight News

11 月 1 日，Vitalik 引用了 ZKsync 創始人關於 ZKsync Atlas 升級的推文，並稱讚了 ZKsync 做了很多「被低估但對以太坊生態很有價值的工作」。

市場很快對 Vitalik 的話做出了反應，ZK 價格在週末兩天最高漲幅超過 2.5 倍，ZK 生態的代幣，包括 ALT（AltLayer）、STRK（Starknet）、SCR（Scroll）、MINA（Mina）等均出現了不錯的漲幅。

在了解了 ZKsync Altas 升級之後，我們發現 ZKsync 所做的可能真的被低估了。

快、小但貴的 ZKP

以太坊基金會從很早開始就推行的 ZKP（零知識證明）本質上是想解決驗證速度慢和驗證資料量大的問題。

ZKP 本質上是一個數學上的機率問題，舉一個不完全準確的例子來大致說明一下其原理：假設有一個人宣稱其解決了「四色問題」，那麼如何在不完全公布其方案的情況下確定這個人確實解決了呢？零知識證明的解法是，在整張圖中挑選一些部分，證明在這些部分中沒有相鄰兩塊的顏色是相同的，而當選擇的部分數量達到某個值時，可以證明這個人解決四色問題的機率已經達到了 99.99……%。此時，我們在不了解全貌的情況下實現了對其「確實解決了四色問題」的證明。

以上，就是大家常聽到的，「在不了解如何做的前提下證明確實做了這件事」的零知識證明。至於為什麼要在以太坊生態中大力推行 ZKP，是因為 ZKP 的理論速度上限是遠快於逐筆交易證明的，且生成的證明本身資料量很小。

速度快是因為，ZKP 不需要了解全貌，只需要進行挑戰。例如驗證一個以太坊區塊，目前的方法就是每個節點驗證每筆交易的執行地址有沒有足夠的餘額等基本問題，但如果只有一個節點通過 ZKP 驗證了每筆交易，再生成一個「證明」，其他節點只需要驗證「證明」本身是可靠的即可。更重要的是，這份「證明」本身的資料量非常小，所以對其的傳輸和驗證速度極快，同時儲存資料的成本更低。

至於為什麼不把這個全是優點的技術大面積投入使用，就是因為太貴了。

ZKP 雖然不用重現所有過程，但挑戰本身會消耗非常多的運算能力。如果像 AI 軍備競賽一樣瘋狂堆積 GPU，是可以實現更快的速度的，但不是所有人都能承受這樣的成本。但如果可以通過演算法和工程的革新，讓所需的算力和低算力下生成證明的時間降低到某個程度，實現以太坊「因技術革新引入更多應用推動的價格上漲」和「搭建節點購買 GPU 的成本」達成平衡，這事兒就有的幹。

所以，以太坊生態的很多 ZK 概念項目或者開源開發者在 ZKP 與以太坊的結合中主要發力點就在於：用更低的成本和低成本下更快的速度生成 ZK 證明。前段時間 Brevis 團隊僅用 SP1 Hypercube 方案一半的成本（64 塊 RTX 5090 GPU），實現了平均 6.9 秒證明以太坊區塊（99.6% 的證明時間小於當前以太坊出塊的平均時間：12 秒以內）能讓以太坊社群集體點讚就是這個原因。

雖然 GPU 成本仍然超過了 10 萬美元，但好歹證明速度已經下降到了目前沒 ZKP 的水平，之後大家的任務就是降低成本了。

Altas 升級實現了 1 秒的 ZK 最終性

或許很多人都不知道，ZKsync 推出的開源 zkVM ZKsync Airbender 是單 GPU 驗證速度最快的 zkVM。據 Ethproofs 資料，使用單張 4090 ZKsync Airbender 平均驗證時間 51 秒，成本不到一美分，二者均是 zkVM 中最佳成績。

據 ZKsync 自己提供的資料，不算上遞迴，Airbender 使用單塊 H100 和 ZKsync OS 儲存模型驗證以太坊主網的平均時間為 17 秒。即使算上遞迴，總平均時間也只需要 35 秒左右，ZKsync 認為這比需要幾十塊 GPU 才能實現 12 秒內驗證明顯要好得多。不過因為目前僅有兩塊 GPU 的平均 22.2 秒的資料，實際的好壞還沒有定論。

而這一切也並非 Airbender 獨立的功勞，演算法與工程的優化僅是其一，與 ZKsync 技術棧的深度融合才是效果最大化的關鍵。更重要的一點就是，它表明了使用單塊 GPU 實現以太坊主網即時證明是可能的。

6 月底 ZKsync 推出了 Airbender，國慶節的倒數第二天就上線了 Altas 升級。這次融合了 Airbender 的升級讓 ZKsync 的吞吐量和確認速度及成本都有了大幅提升。

吞吐量方面，ZKsync 對排序器進行了工程上的優化：通過獨立的非同步元件最大限度降低了同步產生的消耗；分離了虛擬機所需的狀態、API 所需的狀態以及生成零知識證明或在 L1 層驗證零知識證明所需的狀態，從而減少了元件不必要的開銷。

經過 ZKsync 的實地測試，在高頻價格更新、支付場景穩定幣轉帳以及原生 ETH 轉帳上的 TPS 分別達到了 23k、15k 與 43k。

另一個巨大的質變就來自於 Airbender，其幫助 ZKsync 實現了 1 秒的區塊確認和單次轉帳 0.0001 美元的成本。與驗證主網區塊不同，ZKsync 只驗證狀態轉換有效性，故運算量遠小於驗證主網區塊。雖然實現了 ZK 最終性的交易仍然需要在主網被驗證後才能最終實現 L1 的最終性，但有了 ZK 驗證即說明該筆交易的有效性，L1 的最終性則更像是一種流程性的保證。

也就是說，在 ZKsync 上執行的交易只需要 ZKP 驗證即可被完全確認交易有效，加之大幅降低的成本，ZKsync 實現了，用他們自己的話說，只有 Airbender 能帶來的應用場景：

首先自然是鏈上訂單簿、支付系統、交易所和自動做市商等應用。Airbender 使系統能夠以極快的速度進行驗證和結算，降低了這些應用在鏈上出現回滾的風險。

第二點則是當前很多 L2 都無法實現的，支援公共系統和私有系統（例如 ZKsync 的 Prividiums）無需第三方即可互操作。Prividiums 是 ZKsync 推出的幫助企業建立私有鏈的基礎設施。對於企業而言，對區塊鏈的要求就在於可以快速結算以及隱私性。快速結算已不必多說，ZKP 天然的隱私性可以使得企業私有鏈在與公有鏈進行互操作時不暴露鏈本身的帳本資訊即可驗證交易有效性。二者結合，甚至滿足了鏈上證券和外匯交易在合規要求中對結算時間的規定。

這或許也是 ZKsync 成為僅次於以太坊的第二大代幣化 RWA 資產發行網路的原因。

ZKsync 也很自豪地表示，這一切只有在 Altas 升級之下才能實現：排序器提供低延遲的交易打包，Airbender 在一秒內生成證明，然後 Gateway 驗證和協調跨鏈訊息。

打通 L1 和 L2

正如 Vitalik 轉發的推文，ZKsync 創始人 Alex 認為 Altas 升級之後 Zksync 真正實現了打通以太坊主網。

現在 ZKsync 的交易最終確認時間（約 1 秒）短於以太坊主網出塊時間（平均 12 秒），這意味著在 ZKsync 上進行的機構和 RWA 交易本質上與在以太坊主網上一致，等待以太坊主網確認即可。這就意味著 ZKsync 無需在 L2 上重複建立流動性中心，直接使用主網的流動性即可，因為 ZK Rollup 本身與主網間的跨鏈不像 OP Rollup 一樣需要 7 天的挑戰期，而 Altas 升級則在原有基礎上進一步加快的速度。

這就使得近期以太坊社群所談論的 L2 碎片化問題得到了改善，L2 與 L1 不再是割裂的兩條鏈，而是通過快速的確認和驗證連成了一體，L2 也第一次真正可以稱為「擴容網路」。

記得 ZKsync 和 Scroll 最早上線主網時，交易確認速度和 Gas 費用與主網無異甚至更高，本質上就是因為剛上線時還沒有出現對 ZKP 的演算法和工程的系統性優化，使得驗證的速度慢，成本高，彼時還引發了對 ZK Rollup 的信任危機。時至今日，Optimism 與 Arbitrum 都在慢慢從 OP Rollup 過渡至 ZK Rollup（或是二者結合），ZKsync 等 ZK Rollup 在成本和速度上的進一步提升以及 Scroll 的去中心化 ZKP 都從「扯淡」變成了值得期待的結果。

從人人喊打到變成香餑餑，ZK 迎來了曙光。在排序器和跨鏈橋的多簽實現完全去中心化之後，或許真的可以實現 Dragonfly 管理合夥人 Hasseb Qureshi 所說的「can't be evil」。