整理：五銖，金色財(cái)經(jīng)

2025年4月8日，Ethereum創(chuàng)始人Vitalik在2025年香港Web3嘉年華峰會(huì)進(jìn)行主題演講。金色財(cái)經(jīng)將演講內(nèi)容整理如下。

在正常情況下，一旦發(fā)生L2交易，狀態(tài)將在一小時(shí)內(nèi)在L1上最終確定，將1小時(shí)縮短到12秒，這基本上只是一個(gè)效率問(wèn)題。所以這是第一個(gè)目標(biāo)。第二個(gè)目標(biāo)是我們希望L2是無(wú)需信任的。我們希望證明系統(tǒng)能夠確定正確的狀態(tài)并記錄錯(cuò)誤狀態(tài)，即使需要信任的組件被破壞。所以今天，Rollup要么處于零階段，要么處于第一階段，這意味著他們將一定程度的信任或全部信任放在某種安全委員會(huì)上。你必須相信制造商能夠正確設(shè)計(jì)它們。你必須相信制造商不會(huì)在站點(diǎn)密鑰本身上保留副本。

而且，你還必須相信硬件機(jī)制不是任何持有硬件的人都可以去破壞的東西，你必須相信他們無(wú)法找到一種方法，比如激光、紅外掃描硬件，在不破壞視覺(jué)的情況下提取信息。

現(xiàn)在，我們不想把所有的信任都放在ZK上。

您將信任分配到三種不同的機(jī)制之間，這些機(jī)制根據(jù)非常不同的邏輯類(lèi)型運(yùn)行。如果我們有這種設(shè)計(jì)，那么您就可以將最終確定期從1小時(shí)縮短到1周到1小時(shí)。順便說(shuō)一句，另一種方式是我之前對(duì)群組系統(tǒng)的看法，我基本上將它們分為兩類(lèi)。一類(lèi)是機(jī)構(gòu)信任，一類(lèi)是加密信任。

另一個(gè)維度就是快與慢。快的東西可以立即批準(zhǔn)，慢的東西則需要等待一段時(shí)間。有趣的是，就像這里的四個(gè)東西一樣，它們基本上就是人們?cè)贚2的背景下使用或思考的4種證明系統(tǒng)組件，對(duì)吧？如果我們真的可以把它們放在一個(gè)盒子里，它們就正好適合2×2。

第一步，基本上，我們將魔鬼漫步窗口期從1周縮短到1小時(shí)。這給您帶來(lái)了什么？基本上意味著，如果您使用本機(jī)橋接直接轉(zhuǎn)移資產(chǎn)，您的等待時(shí)間將從1周縮短到1小時(shí)。如果您使用基于意圖的橋接，那么基于意圖的橋接是即時(shí)的，但流動(dòng)性提供者不必等待1小時(shí)，而是必須等待1小時(shí)。提供流動(dòng)性的成本下降了168倍。因此，您必須支付的費(fèi)用將下降高達(dá)168倍。

L2s可以使用lowlookahead異步讀取L1。這是L2已經(jīng)具備的功能，因?yàn)樗鼈儽仨毧梢蕴幚泶婵睢Ｎ覀儾捎门c讀取存款相同的狀態(tài)，并將其暴露給L1SLOADopcode。支持讀取L1預(yù)言機(jī)數(shù)據(jù)、密鑰庫(kù)錢(qián)包以及許多其他應(yīng)用程序是非常有價(jià)值的事情，因?yàn)長(zhǎng)2經(jīng)常面臨的挑戰(zhàn)之一就是它們需要支付巨額資金。

如果我們有大量不同的工具，那么這些工具就不必單獨(dú)提交給不同的組，鏈?zhǔn)阶C明可以分組，組可以將其證明提交給聚合，然后聚合可以提交一個(gè)單獨(dú)的snark來(lái)證明其他snark的存在。驗(yàn)證該snark的成本只是一次性的500,000gas成本。這里發(fā)生的事情基本上就是這張圖上的內(nèi)容？對(duì)吧？基本上，您有一堆證明，并且這些證明還指定了哪個(gè)合約。我們處于一個(gè)區(qū)塊中。然后您有一個(gè)聚合證明。聚合證明得到驗(yàn)證。聚合證明包含單個(gè)匯總的所有信息作為公共輸入，然后證明只發(fā)生一次。然后這個(gè)合約只會(huì)對(duì)每個(gè)匯總進(jìn)行一次調(diào)用，并且調(diào)用所做的唯一事情就是針對(duì)每個(gè)匯總。它只是單獨(dú)進(jìn)行加載。每次的成本從500,000gas下降到不到10,000gas。

現(xiàn)在還有第四步，即減少證明延遲。證明計(jì)算比進(jìn)行計(jì)算需要更長(zhǎng)的時(shí)間和更多的計(jì)算能力。默認(rèn)情況下，此計(jì)算不會(huì)癱瘓。您必須擴(kuò)展它，而且您必須進(jìn)行這種非常密集的計(jì)算。

因此，結(jié)果是，在平衡狀態(tài)下，生成一個(gè)需要5秒的區(qū)塊，仍然需要500秒來(lái)證明，對(duì)吧？這是一個(gè)問(wèn)題。所以問(wèn)題是，我們?nèi)绾谓鉀Q這個(gè)問(wèn)題？有兩個(gè)想法。一個(gè)是我們可以使用專(zhuān)用硬件來(lái)改進(jìn)它。有些公司已經(jīng)在這樣做了。如果你得到100倍的硬件加速因子，那么你就可以實(shí)時(shí)證明。另一個(gè)想法是超級(jí)可癱瘓證明。所以從數(shù)學(xué)的角度來(lái)看，這實(shí)際上非常簡(jiǎn)單。基本上，你將計(jì)算分解為多個(gè)步驟。然后你在不同的設(shè)備上分別并行生成每個(gè)步驟的證明。

如果這還不夠，那么專(zhuān)用硬件的改進(jìn)速度會(huì)更快。同時(shí)，改進(jìn)成本也會(huì)更低。所以我們有很多選擇。

如果你使用IntensiveOptimism和Arbitrum，兩者都有快得多的時(shí)隙，那么你也可以在2秒內(nèi)完成。所以會(huì)非常便宜。所以如果你使用Intensive，你將能夠以低成本快速轉(zhuǎn)移基本上無(wú)限量的Ethereum。因此，這也意味著我們可以在L1和L2之間建立更緊密的聯(lián)系。我們得到了一個(gè)更加一體化的世界，這一切對(duì)每個(gè)人來(lái)說(shuō)都變得更加容易和快速。謝謝。