
作者:tcoratger;編譯:白話區塊鏈
以太坊正在從一個概念性的世界計算機轉變為一個強大的、保護隱私的堆棧。
從 EIP-7732 到 zkVMs 和精益以太坊(lean Ethereum),這是 @VitalikButerin 在 Devconnect ARG 最新演講的技術解析。
中心化實體依賴于“不作惡”。
以太坊通過協議約束強制執行“不能作惡”。它創建了一個可信、中立的平臺,驗證用戶狀態而不是信任機構內的償付能力。
與特定用途的協議不同,以太網坊接受通用靈活性。
它不是為了無限擴展(例如,LLM推理),而是為了全球共識。它維持單一狀態,承受地緣政治壓力。
除了 DeFi,該鏈裁決排序。沒有共識,點對點 網絡允許雙重支付。
效果用延伸到不存在證明(Proof of Inexistence)——以加密方式證明資產的稀缺性或某些特定事件沒有發生。
隔離的區塊鏈存在缺陷:
隱私:交易是公開的(“您銀行賬戶的推特”)。
延遲:去中心化限制了速度;<50ms 需要中心化。
數據:沒有前置機就無法直接訪問真實世界的數據。
解決方案:臨時密碼學。
ZKPs(零知識證明):在不泄露數據的情況下進行驗證。
MPC/FHE(多方計算/全同態加密):對加密輸入進行計算。
這將把模式轉變為消耗中心化的協作計算。
氣體限制正在提高。
關鍵升級:
EIP-7732 (PBS):驗證者花費更多時間處理,而不會導致中心化。
區塊級訪問列表:實現批量交易處理,突破串執行瓶頸。
同步需要 TB 級數據和數天時間。zkVMs改變了這一點。
通過SNARKs驗證執行而不是重新計算歷史,計算要求極接近于零。這使得移動端原有節點和去中心化成為可能。
FOCIL:允許更廣泛的驗證者集倡議“迷你區塊”,增強納入保證。
賬戶摘要:智能錢包實現鑰匙輪換和社交恢復,消耗中心化依賴。
優化堆棧:
zk π型坐標(Poseidon)。
形式化驗證。
單槽終結性(Single-Slot Finality)。
抗量子性。
重點是安全性、簡潔性和數學最優性。
以太坊是自由、開放互聯網的標準制定者。
通過將 L1 的穩健性與隱私層和 zk 技術相結合,它實現了大規模的協作。
目標仍然是:一個信任、合作的世界。