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