披露：此處表達的觀點和觀點僅屬于作者，不代表crypto.news社論的觀點和觀點。
以太坊（ETH）正處于十字路口。零知識證明（簡稱ZKP）將成為保護隱私、可擴展區塊鏈未來的支柱，預計到2030年每年將產生900億個證明。然而，以太坊的主線，即使有了非凡的進化，也無法應對這場洪水。天然氣成本和區塊空間限制使得鏈上驗證完全不切實際，就像試圖用吸管容納海洋一樣。
就像幾年前Celestia和Avail等替代數據可用性（簡稱DA）等層出現以解決以太坊的擴展困境一樣，我們現在需要替代ZK證明驗證方法來跟上即將到來的需求海嘯。歷史表明實用主義者將占上風。
ZKP大爆發即將到來，以太坊還沒有準備好
零知識證明已超越小眾技術，成為區塊鏈隱私和可擴展性的關鍵支柱。從支持高吞吐量第2層的ZK匯總到以隱私為中心的dApp，ZKP正在將自己嵌入到web 3的結構中。Protocol Labs的研究估計，到2030年，隨著ZK用例的激增，例如手機上的客戶端證明或人工智能驅動的DeFi協議，產生的ZK證據數量可能會激增至每年900億個。這不是猜測;這是基于ZK技術加速采用的預測。
問題在于：目前，以太坊無法滿足這一需求。如果它將其每一盎司的容量（每個區塊3000萬個氣體單位）用于驗證ZKP（假設每個樣本20萬個氣體），那么它每年可以處理大約1.5億個樣本，區塊空間大約半滿。這還不到預計900億美元的0.2%。
即使將估計減半，以太坊的L1以當前形式也嚴重不足以完成這項任務。天然氣價格將會飆升，將證據驗證變成少數人能負擔得起的奢侈品。雖然有計劃將網絡改進為加密環境，但以太坊路線圖進展緩慢，可能需要數年時間。我們需要一個更好的解決方案來處理即將到來的證據泛濫。
Alt DA鋪平了道路，ZK證明驗證可以遵循
以太坊此前曾面臨過規模危機，但社區已經適應了。幾年前，匯總作為生命線出現，但它們遇到了瓶頸：數據可用性。將交易數據發布到以太坊的L1成本高昂且效率低下，可能會抑制L2增長。該社區是分裂的--純粹主義者堅持為了安全起見，一切都留在鏈上，而實用主義者則推動替代DA層。然后Celestia和Avail等項目介入，提供專用區塊鏈來處理鏈外數據存儲，并大幅削減成本。盡管早期遭到抵制，但alt DA現在已成為以太坊路線圖的組成部分，并受到匯總和RaSaaS提供商的歡迎。
ZK證明驗證面臨類似的拐點。今天的權宜之計、證據匯總反映了另類DA時代前的創可貼。聚合器將數百個證明批處理成一個用于以太坊驗證的“超級證明”，降低了成本，但引入了延遲。有些批次需要幾個小時甚至一天的時間才能完成，這與ZK匯總承諾的即時最終結果相去甚遠。更糟糕的是，用戶必須信任這些聚合器，它們通常在游戲中缺乏皮膚-沒有抵押令牌，因此沒有對不當行為的削減。
這是一個不信任的生態系統的不穩定基礎。這就是為什么zkVerify等替代驗證層提供了基于區塊鏈的替代方案：快速、廉價且受到權益證明激勵的保護。與另類DA的相似之處不僅僅是邏輯性的--事實證明它是有效的。
堅持現狀的代價
如果沒有替代證據驗證，未來看起來很嚴峻。今天，在以太坊上驗證一個Groth 16證明，以中等天然氣價格（30 gwei，1，500美元ETH）計算，需要花費10美元。將其乘以900億美元，到2030年你就會面臨一個數萬億美元的問題--這是任何區塊鏈都無法維持的荒謬現象。
即使采用聚合，當與以太坊的天然氣市場相關時，成本仍然不穩定，并且延遲問題會破壞實時DeFi或游戲等高吞吐量用例。純粹主義者認為，鏈下驗證犧牲了安全性，但他們忽視了已經做出的讓步：信任聚合器而不受任何利益，或者將STARK證明轉換為SNARK以實現以太坊兼容性，這增加了復雜性和成本。
將其與模塊化方法進行比較。專用驗證鏈可以將成本削減90%，同時避免以太坊的氣體峰值并支持本地STARK驗證。這不僅僅是節省;這是關于釋放創新。例如，如果驗證不是瓶頸，客戶端證明（用戶在設備上生成證明）可能會爆炸式增長。想象一下，數十億部手機大量生產用于私人身份或微交易的ZKP;這就是客戶端證明所能實現的。以太坊無法托管該派對，但alt驗證層可以。
克服純粹主義的阻力
以太坊社區的猶豫并不新鮮。當alt DA首次亮相時，批評者稱其犯規，聲稱它削弱了L1的安全性。然而，天沒有塌下來。Rollup蓬勃發展，費用暴跌，以太坊的生態系統變得更加強大。今天的ZK懷疑論者也重復了這句話：“驗證必須留在以太坊上，因為不可信。但不信任并不是二元的。聚合器已經引入了信任假設，而以太坊的預編譯限制也迫使做出權衡。具有賭注代幣和削減機制的股權證明ZKP驗證鏈提供了聚合商所缺乏的問責制。這并不是對以太坊安全性的降低，而是針對ZK獨特需求量身定制的橫向舉措。
Vitalik Buterin早期關于ZK-SNARKs的文章預見了它們的主導地位，預測ZK-Rollup最終會超過樂觀的人。他對這項技術的看法是正確的;現在是時候擴大它了。Dencun升級（EIP-4844）證明了以太坊可以通過模塊化解決方案進行發展; Blob大大降低了DA成本。Alt ZK證明驗證是下一個合乎邏輯的步驟，與以太坊的長期愿景一致。
在海嘯來襲前呼吁采取行動
無論我們是否準備好，ZKP浪潮都即將到來。如果一個殺手級應用程序引發大規模采用，例如保護隱私的社交網絡或人工智能驅動的交易平臺，以太坊就會在證明負載下崩潰。
我們不能等到危機發生后才采取行動。替代ZK驗證層正在成為一種必需品，zkVerify等早期推動者已經在構建它們。以太坊社區必須擺脫對整體設計的懷舊之情，擁抱模塊化，就像DA所做的那樣。
到2030年，900億個證明可以重新定義web 3，釋放隱私、效率和規模。但前提是我們現在采取行動。我們不要重蹈去年的擁堵噩夢。Alt ZK證明驗證不僅僅是一個解決方案--這是以太坊應得的未來。
約翰·卡馬多是Horizen Labs的產品副總裁，他領導zkVerify，這是一個與鏈無關的模塊化區塊鏈，專注于高效的零知識證明驗證。約翰在產品管理和數據驅動創新方面擁有十多年的經驗，曾在Capital One擔任高級職位，在那里他發現了商業銀行領域價值數百萬美元的機會，并領導跨職能團隊開發以數據為中心的產品。在Horizen Labs，他從產品經理晉升為副總裁，塑造了公司的ZK產品戰略。John擁有康奈爾大學的運營研究和信息工程學士學位，熱衷于構建可擴展的、以加密為動力的系統來解決現實世界的挑戰。
