原文作者：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”。