jakiro
整理：五銖，比特鏈視界
2025年4月8日，以太坊創始人Vitalik在2025年香港Web3嘉年華峰會進行主題演講。比特鏈視界將演講內容整理如下。
現在，退出 Optimism 或 Arbitrum 需要 1 周的退出期，這會導致很多問題。
我們為什麼要關心這個？為什麼要關心 L2 和 L1 之間的更快聯繫？ 我認為對我來說，有兩個原因。其中一個是 用戶體驗 ，我們希望用戶有更好的體驗，等待 1 周是一種糟糕的體驗。另一個原因是 我們需要一個更加集成的生態系統。 我們需要做一些事情來真正改進Optimism 、Arbitrum、Polygon。
這些像以太坊世界的各個部分，它們並不是獨立的。
目前，實現 L1 和 L2 之間的互操作非常快，但它需要很多 Gas。我們從去年夏天開始真正關心這個問題。我們關注的兩個事情包括：區塊鏈的特定地址和意向項目。我希望將 Optimism 轉到 Arbitrum 不需要一周的時間，甚至我希望可以將 Optimism 放到智能合約中。
在智能合約中，如果任何人首先提供證明，證明他們通過合約將貨幣發送到我的任意目的地地址，它就會自動跳轉至這一步驟。因此，我們希望找到合適的辦法將一周的等待時間儘可能的降低。
為什麼我們現在有為期一周的提款窗口？因為 Optimism 的 Rollup 需要等待一周的時間來看是否有人質疑它的哈希，如果沒有人質疑，你才能接受哈希。Optimism 的優點在於其依賴的技術十分謹慎，但代價是等待一周的時間。
如果我們不想等待 1 周，那麼我們需要建立一個可以完全使用非 Optimism 證明系統來打包區塊的系統，如 ZK+TEE+OP的結合 ——這就是我們提出的設計方案。
在正常情況下，一旦發生 L2 交易，狀態將在一小時內在 L1 上最終確定，將 1 小時縮短到 12 秒，這基本上只是一個效率問題。所以這是第一個目標。第二個目標是我們希望 L2 是無需信任的。我們希望證明系統能夠確定正確的狀態並記錄錯誤狀態，即使需要信任的組件被破壞。所以今天，Rollup 要麼處於零階段，要麼處於第一階段，這意味著他們將一定程度的信任或全部信任放在某種安全委員會上。你必須相信製造商能夠正確設計它們。你必須相信製造商不會在站點密鑰本身上保留副本。
而且，你還必須相信硬體機制不是任何持有硬體的人都可以去破壞的東西，你必須相信他們無法找到一種方法，比如雷射、紅外掃描硬體，在不破壞視覺的情況下提取信息。
現在，我們不想把所有的信任都放在 ZK 上。
您將信任分配到三種不同的機制之間，這些機制根據非常不同的邏輯類型運行。如果我們有這種設計，那麼您就可以將最終確定期從 1 小時縮短到 1 周到 1 小時。順便說一句，另一種方式是 我之前對群組系統的看法，我基本上將它們分為兩類。一類是機構信任，一類是加密信任。
另一個維度就是快與慢。快的東西可以立即批准，慢的東西則需要等待一段時間。有趣的是，就像這裡的四個東西一樣，它們基本上就是人們在 L2 的背景下使用或思考的 4 種證明系統組件，對吧？如果我們真的可以把它們放在一個盒子裡，它們就正好適合 2×2。
第一步，基本上，我們將魔鬼漫步窗口期從 1 周縮短到 1 小時。這給您帶來了什麼？基本上意味著，如果您使用本機橋接直接轉移資產，您的等待時間將從 1周縮短到 1 小時。如果您使用基於意圖的橋接，那麼基於意圖的橋接是即時的，但流動性提供者不必等待 1 小時，而是必須等待 1 小時。提供流動性的成本下降了 168 倍。因此，您必須支付的費用將下降高達 168 倍。
L2s 可以使用 lowlookahead 異步讀取 L1。這是L2 已經具備的功能，因為它們必須可以處理存款。 我們採用與讀取存款相同的狀態，並將其暴露給 L1SLOADopcode。 支持讀取 L1 預言機數據、密鑰庫錢包以及許多其他應用程式是非常有價值的事情，因為L2經常面臨的挑戰之一就是它們需要支付巨額資金。
因此，我得到了各種自定義應用程式、特定集成。 這確實可以降低成本，因為在許多情況下，替代方案將能夠直接讀取已經存在於一個應用程式上的應用程式副本，這適用於處理數據。 它適用於某些事情，不適用於需要寫入任何人的事情。
密鑰存儲錢包是另一個有趣的想法，對嗎？密鑰存儲錢包的想法基本上是，在正常的網絡安全中，你想要換一個密鑰，你不希望密鑰有無限的生命周期。Neo 是帳戶抽象目標的一部分，我今天將討論這個目標。
但我已經多次談到，基本上就是創建具有任意邏輯的帳戶，這樣你就可以做一些事情，比如更改加密算法，更改密鑰，使它們具有很多抵抗力，並使它們使用像恢復方法一樣添加的 snark。現在，挑戰之一是，如果你可以更改密鑰，那麼你就有一百個更改之後的結果。因此，你必須在 100 個地方更改當前密鑰的記錄。
你如何解決這個問題？ 我們通過將當前密鑰的記錄放在一個中央合約上來解決這個問題。 然後你在每個 L2 上出現錢包的副本，只需讀取 L1 即可。這使得很多非常合理和非常相同的證券化安全實踐在 L2 的世界中更加可行和實用。
另一個好處是，這使得同時包含 L2 和 L1 的工作流程對開發人員來說更加輕鬆自然。我們不僅僅是在談論理論、和一堆完全獨立的鏈，我們實際上在談論 L1 理論繼續成為應用程式和人們的用戶體驗的核心。
第三步是證明聚合。 之前我提到，如果我們採用這種基於兩種或三種的方法，或者在未來，如果我們做了非常好的形式化驗證，我們只依賴 ZK，我們就可以將提交時間從 1 周縮短到 1 小時。為什麼是 1 小時？為什麼不是 12 秒？有兩個原因，我們可以解決這兩個原因。 第一個原因是提交成本。 因此，向 L1 提交證明需要額外的開銷，大約 500,000 gas，而且 AA 的成本非常高。
現在，如果你想像每個時段都提交一個證明，那麼一年就有 250 萬個時段。我們每年要花費 2750 萬美元的成本只是為了維持一個相對值，這太瘋狂了。這裡有誰願意每年支付 2700 萬美元。但如果你每分鐘提交一次，而不是每 12 秒提交一次，那麼每年 2700 萬美元的花費就變成了 550 萬美元。然後，如果你每小時提交一次，它就會下降到每年 10 萬美元以下。這實際上是可以控制的。這個自然解決方案是證據聚合。
如果我們有大量不同的工具，那麼這些工具就不必單獨提交給不同的組，鏈式證明可以分組，組可以將其證明提交給聚合，然後聚合可以提交一個單獨的 snark 來證明其他 snark 的存在。驗證該 snark 的成本只是一次性的 500,000 gas 成本。這裡發生的事情基本上就是這張圖上的內容？對吧？基本上，您有一堆證明，並且這些證明還指定了哪個合約。我們處於一個區塊中。然後您有一個聚合證明。聚合證明得到驗證。聚合證明包含單個匯總的所有信息作為公共輸入，然後證明只發生一次。然後這個合約只會對每個匯總進行一次調用，並且調用所做的唯一事情就是針對每個匯總。它只是單獨進行加載。每次的成本從 500,000 gas 下降到不到 10,000 gas。
現在還有 第四步，即減少證明延遲。 證明計算比進行計算需要更長的時間和更多的計算能力。默認情況下，此計算不會癱瘓。您必須擴展它，而且您必須進行這種非常密集的計算。
因此，結果是，在平衡狀態下，生成一個需要 5 秒的區塊，仍然需要 500 秒來證明，對吧？這是一個問題。所以問題是，我們如何解決這個問題？有兩個想法。 一個是我們可以使用專用硬體來改進它。 有些公司已經在這樣做了。如果你得到 100 倍的硬體加速因子，那麼你就可以實時證明。 另一個想法是超級可癱瘓證明。 所以從數學的角度來看，這實際上非常簡單。基本上，你將計算分解為多個步驟。然後你在不同的設備上分別並行生成每個步驟的證明。
如果這還不夠，那麼專用硬體的改進速度會更快。同時，改進成本也會更低。所以我們有很多選擇。
如果你使用 Intensive Optimism 和 Arbitrum ，兩者都有快得多的時隙，那麼你也可以在 2 秒內完成。所以會非常便宜。所以如果你使用 Intensive，你將能夠以低成本快速轉移基本上無限量的以太坊。因此，這也意味著我們可以在L1和 L2 之間建立更緊密的聯繫。我們得到了一個更加一體化的世界，這一切對每個人來說都變得更加容易和快速。謝謝。
