以太坊有 Gas 上限。但我們能否數學上證明驗證任何有效區塊所需的最大小計算量？ 令人驚訝的是，我們目前仍沒有針對完整挑戰模型的經認證有限上界。 這正是 @yukonresearch、@zksecurityXYZ 和 @Veritylab 正透過 https://t.co/w9Ti86Tqsj 解決的問題。 目前，以太坊驗證者獨立執行交易以驗證區塊。隨著以太坊轉向基於 zkEVM 的驗證，挑戰已不僅限於正確執行交易。 我們還需要理解最壞情況下的計算成本。 為何這很重要？ 一個以太坊區塊可能有效，但仍需要異常昂貴的計算。如果證明成本變得不可預測，實時 ZK 證明可能成為以太坊擴容的瓶頸。 https://t.co/w9Ti86Tqsj 推出一項開放競賽，旨在建立區塊驗算計算的數學認證上界。 其影響深遠： → 更可預測的執行與證明負載 → 更堅實的實時 ZK 證明基礎 → 更大信心提升以太坊的 Gas 上限 → 開啟在更易取得硬體上驗證的途徑 當然，限制執行步驟並不能自動保證快速的 ZK 證明。但這是一個重要的基礎。 以太坊的下一個擴容挑戰不僅是讓執行更快，更是讓最壞情況下的計算成本變得可預測且可證明。 隨著像 @puffer_unifi 這樣的以太坊 Rollup 推向更低延遲與同步可組合性，此類研究變得越來越相關。 https://t.co/SwPS2w3ic1