對於以太坊 L1 的即時證明進展可謂非凡。 在五月，SP1 Hypercube 使用 160 個 RTX 4090 在 12 秒內證明了 94% 的 L1 區塊。五個月後，Pico Prism 以僅 64 個 RTX 5090 在 12 秒內證明了 99.9% 的相同區塊。平均證明延遲現在為 6.9 秒。 自從 Zcash 在十年前開創實用 SNARKs 以來，性能一直超越摩爾定律。今天的 Pico Prism 結果是那條指數曲線的驚人提醒。 除了性能，zkVM 的多樣性也相當顯著。至少有九個 zkVM 正在朝著即時證明的方向競爭：Airbender、Ceno、Jolt、OpenVM、Pico Prism、R0VM、SP1 Hypercube、Ziren、ZisK。這種多樣性是力量，類似於 CL 和 EL 客戶端的多樣性。 Fusaka 預計在十二月推出，將簡化即時證明。EIP-7825 限制每筆交易的燃氣使用，通過子區塊實現更多的並行證明。MODEXP，一個著名的 "證明者殺手"，正在與 EIP-7823 和 EIP-7883 重新定價。 到年底，幾個團隊將在 16-GPU 集群上證明每個 L1 EVM 區塊，總耗電量低於 10kW。10kW 的目標——大約與特斯拉家用充電器相同——對於在車庫和辦公室的本地證明至關重要，消除了對雲證明的依賴。 gigagas frontier 自十年前的創世以來，L1 的吞吐量增長了 100 倍，從 20 kilogas/sec 增加到 2 megagas/sec。隨著 zkEVM 的出現，我們可以再增長 100 倍，時間減半。關鍵是繞過驗證者，因為以太坊當前的可擴展性瓶頸。 精簡的執行證明也去中心化了驗證。告別 EIP-7870 建議的 4TB NVMe、8 核心、64GB RAM。運行無狀態的樹莓派，甚至一部手機，將很快足夠。可擴展性與去中心化的困境正在消亡。 放眼未來，精簡的以太坊願景是 gigagas L1 和 teragas L2。Gigagas L1 (10K TPS) 意味著高價值支付、交易和社交應用直接在主網上。Teragas L2 (10M TPS) 意味著將整個金融界迎入以太坊。 11月22日：Ethproofs 日示範 在幕後，團隊正在準備一個特別的 Devconnect 示範。在 38 天內，我的家用驗證者將運行在 zkEVM 證明上。我的強大 Geth 節點將會熄滅——不再有執行客戶端。 Devconnect 阿根廷是以太坊的世界博覽會。世界博覽會揭示了燈泡、自來水、汽車、冰箱、電話和電梯。即時證明是以太坊的燈泡時刻。 以太坊的未來是光明的。相信某些事情 :)