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