以太坊基金會調整 zkEVM 規劃：2026 年前轉向 128-bit 可證安全目標

經過一年專注縮短 zkEVM 證明延遲的工作後，以太坊區塊的證明時間已由約 16 分鐘降至約 16 秒，成本降低 45 倍，大部分主網區塊現在可在 10 秒內驗證。12 月 18 日，以太坊基金會宣布實時證明目標已達成，並公布一份以 2026 年為期、優先推進 128-bit 可證安全、明確證明大小上限及遞迴架構形式化驗證的新路線圖。新里程碑要求所有 zkEVM 團隊採用基金會的 soundcalc 工具，於 2026 年 5 月前至少達到 100-bit 可證安全，並在 2026 年底前實現完整 128-bit 安全且證明大小低於 300 KB。