Alt ZK 解決方案可以拯救以太坊 | 觀點

以太坊 (姨太) 正處於一個十字路口。零知識證明，簡稱ZKP，預計將成爲一個隱私保護、可擴展的區塊鏈未來的支柱，預計到2030年每年將生成900億個證明。然而，即使以太坊主鏈經過了顯著的演變，也無法應對這種洪流。gas費用和區塊空間限制使得鏈上認證完全不切實際，就像試圖通過吸管將海洋吸入一樣。

正如幾年前爲了解決以太坊的擴展問題而出現的替代數據可用性（簡稱DA）層，如Celestia和Avail，現在我們需要替代的ZK證明認證方法，以跟上這股湧入的需求潮。歷史表明，務實主義者將佔上風。

ZKP爆炸即將來臨，而以太坊還未做好準備

零知識證明已經從小衆技術發展成爲區塊鏈隱私和可擴展性的關鍵支柱。從支持高吞吐量的第二層 ZK-rollups 到以隱私爲重點的去中心化應用，ZKP 正在深入嵌入 web3 的結構中。Protocol Labs 的研究估計到 2030 年，生成的 ZK 證明數量可能會激增到每年 900 億個，因爲 ZK 用例如手機端證明或 AI 驅動的 DeFi 協議不斷湧現。這不是猜測；這是基於 ZK 技術加速採用的預測。

問題在於：目前，以太坊無法滿足這種需求。如果它將每一分能力——每個區塊30百萬gas單位——用於認證ZKP (假設每個證明200,000 gas )，它每年大約可以處理1.5億個證明，區塊空間大約填充了一半。這還不到預計900億的0.2%.

即使你將估算減半，以太坊的L1在當前形式下對於這項任務來說仍然遠遠不夠。Gas價格會飆升，將認證變成少數人能夠負擔得起的奢侈品。雖然有計劃改善網路作爲加密環境，但以太坊的路線圖進展緩慢，可能需要數年時間。我們需要一個更好的解決方案來應對即將到來的認證洪流。

Alt DA 鋪平了道路，ZK 證明認證可以跟隨

以太坊之前經歷過擴展危機，社區也進行了適應。幾年前，滾筒（rollups）作爲一條生命線出現，但它們遇到了瓶頸：數據可用性。將交易數據發布到以太坊的L1成本高且效率低，威脅到L2的增長。社區分裂——純粹主義者堅持一切都要保持在鏈上以確保安全，而務實主義者推動尋求替代的數據可用性層。然後，像Celestia和Avail這樣的項目出現，提供專用區塊鏈來處理鏈下的數據存儲，並將成本大幅降低。盡管最初遭到反對，但替代數據可用性現在已成爲以太坊路線圖的重要組成部分，並被滾筒和RaaS提供者共同接受。

零知識證明驗證也面臨着類似的拐點。今天的權宜之計，證明聚合，反映了前 alt-DA 時代的創可貼。聚合器將數百個證明批處理到一個“超級證明”中，用於以太坊驗證，從而降低成本，但會帶來延遲。有些批次需要數小時甚至一天才能結算，這與 ZK-rollups 的即時最終確定性承諾相去甚遠。更糟糕的是，用戶必須信任這些聚合器，它們通常缺乏遊戲中的皮膚——沒有質押代幣，因此不會因不當行爲而受到罰沒

這爲一個無信任的生態系統奠定了一個不穩定的基礎。這就是爲什麼像zkVerify這樣的替代認證層提供了一種基於區塊鏈的替代方案：快速、便宜，並且通過權益證明激勵來保障安全。與替代去中心化自治組織的平行關係不僅僅是修辭——它已經被證明是有效的。

堅持現狀的成本

沒有替代的認證證明，未來看起來很嚴峻。今天在以太坊上驗證一個Groth16證明的成本在中等gas價格下可以達到10美元，$1,500姨太(。將這個乘以900億，你就面臨到2030年一個萬億美元的問題——這是任何區塊鏈都無法承受的荒謬。

即使使用聚合，當與以太坊的 gas 市場掛鉤時，成本仍然不穩定，並且延遲問題會破壞實時 DeFi 或遊戲等高吞吐量用例。純粹主義者認爲，鏈下驗證犧牲了安全性，但他們忽視了已經做出的讓步：信任沒有賭注的聚合器，或者將 STARK 證明轉換爲 SNARK 以實現以太坊兼容性，這增加了復雜性和成本。

將這一點與模塊化方法進行對比。一個專用的認證鏈可以將成本削減90%，同時避開以太坊的gas峯值，並支持原生STARK認證。這不僅僅是關於節省；這關乎於釋放創新。例如，客戶端證明)用戶在他們的設備上生成證明(，如果認證不是瓶頸，可能會爆炸式增長。想象一下，數十億部手機爲私人身分或微交易產生ZKP；這正是客戶端證明所能實現的。以太坊無法舉辦這個派對，但一個替代認證層可以。

克服純粹主義的反對

以太坊社區的猶豫並不是新鮮事。當替代DAO首次登場時，批評者們大聲疾呼，聲稱這稀釋了L1的安全性。然而，天空並沒有崩塌。Rollup蓬勃發展，費用暴跌，以太坊的生態系統變得更強大。今天的ZK懷疑論者重復着這樣的說法：“認證必須留在以太坊上以確保信任。”但無信任不是二元的。聚合器已經引入了信任假設，而以太坊的預編譯限制也迫使權衡。一個帶有質押代幣和懲罰機制的權益證明ZKP認證鏈提供了聚合器所缺乏的問責制。這並不是對以太坊安全性的降低——而是針對ZK獨特需求的橫向移動。

維塔利克·布特林早期關於ZK-SNARKs的著作預見了它們的主導地位，預測ZK-rollups最終將超過樂觀的rollups。他對技術的判斷是正確的；現在是時候進行擴展了。Dencun升級)EIP-4844(證明了以太坊可以通過模塊化解決方案進化；數據塊顯著降低了數據可用性成本。另類ZK證明認證是下一個合乎邏輯的步驟，與長期以太坊願景一致。

在浪潮來臨之前的行動呼籲

ZKP浪潮正在來臨，無論我們是否準備好。如果一個殺手級應用如隱私保護社交網絡或人工智能驅動的交易平台引發大衆接受，以太坊將承受不起認證負擔。

我們不能等到危機來臨才採取行動。替代的ZK認證層正變得不可或缺，像zkVerify這樣的早期參與者已經在構建它們。以太坊社區必須擺脫對單體設計的懷舊，像對待DA一樣接受模塊化。

到2030年，900億個證明可能會重新定義web3，實現隱私、效率和規模。但前提是我們現在就採取行動。我們不要重蹈過去擁堵的噩夢。Alt ZK證明認證不僅僅是一個解決方案——它是以太坊應得的未來。

![約翰·卡馬多])http://img-cdn.gateio.im/social/moments-f6d4a3e103571590d3253a6d58e91396(

約翰·卡馬多

約翰·卡馬多是Horizen Labs的產品副總裁，他領導着zkVerify，這是一個與區塊鏈無關的模塊化區塊鏈，專注於高效的零知識證明認證。約翰在產品管理和數據驅動創新方面擁有超過十年的經驗，此前曾在Capital One擔任高級職務，在商業銀行領域發現了數百萬美元的機會，並領導跨職能團隊開發以數據爲中心的產品。在Horizen Labs，他從產品經理晉升爲副總裁，塑造了公司的ZK產品戰略。約翰擁有康奈爾大學的運籌學和信息工程學士學位，熱衷於構建可擴展的、以密碼學爲驅動力的系統，以解決現實世界的挑戰。