以太坊 L1 實時證明的進展簡直是非凡的。 今年 5 月，SP1 Hypercube 使用 160 塊 RTX 4090 顯卡在 12 秒內驗證了 94% 的 L1 區塊。五個月後，Pico Prism 僅用 64 塊 RTX 5090 顯卡，在 12 秒內驗證了 99.9% 的相同區塊。平均驗證延遲現在為 6.9 秒。 自十年前Zcash率先推出實用型 SNARK 算法以來，其性能發展速度已超越摩爾定律。如今 Pico Prism 的成果令人矚目，再次印證了這一指數級增長曲線。 除了性能之外，zkVM 的多樣性也十分顯著。至少有九種 zkVM 正在競相實現實時證明：Airbender、Ceno、Jolt、OpenVM、Pico Prism、R0VM、SP1 Hypercube、Ziren 和 ZisK。這種多樣性就是優勢，類似於 CL 和 EL 客戶端的多樣性。 Fusaka 預計將於 12 月發佈，它將簡化實時證明流程。EIP-7825 限制了每筆交易的 gas 消耗，從而支持通過子區塊進行更多並行證明。MODEXP，一個著名的“證明器殺手”，正在通過 EIP-7823 和 EIP-7883 進行重新定價。 到今年年底，多個團隊將在 16 GPU 集群上驗證所有 L1 EVM 模塊，總功耗將低於 10kW。10kW 的目標功耗（與特斯拉家用充電器的功耗大致相同）對於在車庫和辦公室進行本地驗證至關重要，從而消除對雲端驗證的依賴。 千兆前沿 自十年前誕生以來，Layer-1 的吞吐量已增長了 100 倍，從每秒 20 千卡增長到每秒 2 兆卡。藉助 zkEVM，我們可以在一半的時間內再次將吞吐量提升 100 倍。關鍵在於如何繞過驗證者這一以太坊當前的可擴展性瓶頸。 精益執行證明也實現了去中心化驗證。告別 EIP-7870 推薦的 4TB NVMe、8 核、64GB RAM 的時代。一臺無狀態運行的樹莓派，甚至一部手機，很快就會滿足需求。可擴展性與去中心化之間的矛盾正在消亡。 放眼望去，以太坊的精簡願景是千兆級 L1 和萬兆級 L2。千兆級 L1（10K TPS）意味著高價值支付、交易和社交應用直接在主網。萬兆級 L2（10M TPS）意味著將整個金融領域引入以太坊。 11 月 22 日：Ethproofs 日演示 幕後團隊正在準備一個特別的 Devconnect 演示。38 天后，我的家庭驗證器將在 zkEVM 證明上運行。我強大的 Geth 節點將停用——不再有執行客戶端。 Devconnect 阿根廷站是以太坊的世界博覽會。世界博覽會揭開了燈泡、自來水、汽車、冰箱、電話、自動扶梯的面紗。實時證明是以太坊的靈光一現。 以太坊的未來一片光明。相信點兒吧 :)