【英文長推】Vitalik Devconnect 阿根廷演講拆解：從 EIP-7732 到 zkVMs 再到 lean 以太坊

Chainfeeds 導讀：

以太坊正在從一個概念性的「世界電腦」，進化為一個穩健且保護隱私的技術堆疊。

文章來源：

文章作者：

tcoratger

觀點：

tcoratger：哲學：驗證 vs 信任。中心化實體依賴的是「不要作惡」。以太坊通過協議約束實現「不能作惡」。它打造了一個可信、中立的平台，讓用戶驗證狀態，而不是信任中介機構的償付能力。世界電腦不同於專用型協議，以太坊擁抱通用可編程性。它不是為了無限擴展（例如 LLM 推理），而是為了全域共識。它維持一個不受地緣政治壓力影響的單例狀態（singleton state）。除了 DeFi 之外，區塊鏈還裁決交易排序。沒有共識時，點對點網絡會允許雙花。實用性延伸到「不存在性證明」（Proof of Inexistence）—— 通過密碼學證明某個資產的稀缺性，或證明某個事件沒有發生。孤立運行的區塊鏈存在弱點：交易是公開的，去中心化限制速度；低於 50ms 的延遲必然意味著中心化。無法直接訪問真實世界數據，必須依賴預言機。解決方案是可編程密碼學。ZKP 在不暴露數據的前提下驗證。MPC/FHE 在加密輸入上進行計算。這將範式轉向無需中心化中介的協作式計算。Gas 限額正在提升。關鍵升級包括 EIP-7732（PBS），驗證者能花更多時間處理區塊而不導致中心化。區塊級訪問列表，允許交易並行處理，打破串行執行瓶頸。同步歷史需要 TB 級數據和數天時間。zkVMs 改變了這一點。通過 SNARK 驗證執行，而不是重新計算歷史，計算需求降至近乎為零。這使行動端原生節點成為可能，進一步增強去中心化。FOCIL 允許更廣泛的驗證者集合提出「迷你區塊」，提升交易被納入的保證。帳戶抽象智能錢包實現密鑰輪換和社交恢復，無需中心化依賴。長期的目標是 lean 以太坊，包括對技術堆疊進行優化：適合 zk 的雜湊算法（Poseidon）、形式化驗證、單 Slot 終局性（Single-Slot Finality）及抗量子能力。重點是安全性、簡潔性和數學上的最優性。