evm.fast基準分數「無限大」　有限上限晉級提交為0件

以太坊（Ethereum）區塊驗證計畫 evm.fast 的基準分數截至3日仍為「無限大（∞）」，公開排行榜上沒有提交作品提出有限上限並成功晉級。

evm.fast任務頁面以固定的 Pancake EVM 程式在64位元 RISC-V Flapjack 模型上執行時所需步數上限 K 作為分數，程式啟動所需步數也計入其中。

適用輸入的宣告 Gas 上限不得超過2億，程式也必須能放進128MiB的程式視窗內。

參賽者必須提交 RISC-V 位元組碼與 Lean 證明，證明其輸出結果與固定程式相符。僅通過執行測試並不符合提交要求。

分數為「無限大」不代表程式不會結束。基準提交已證明程式在每個適用輸入下都會終止，但尚未證明存在一個適用於所有輸入的有限步數上限。

排行榜優先採納經認證且 K 值較低的提交。若 K 相同，新提交的驗證速度必須至少比既有提交快5%。

K 不代表以太坊協議的 Gas 上限，也不代表程式在實際硬體上的執行時間；它只表示在指定程式、RISC-V 執行模型和輸入範圍內所需步數的上限。

evm.fast 與 zkEVM 研究方向相關，目標是透過零知識證明驗證以太坊區塊的執行結果。zkEVM 希望讓驗證者檢查精簡證明，而不必重新執行交易。

以太坊基金會（Ethereum Foundation）在2025年12月發布的安全相關文章指出，以目標硬體為基準，整個區塊中99%已能在10秒內完成證明。文章也提到，證明延遲已從16分鐘降至16秒，並將安全列為下一項挑戰。

zkSync此前也表示，在一項獨立測試中，7200個以太坊區塊有99%能在10秒內完成證明。當時的報導也指出，證明速度本身無法證明實作安全或正確。

以太坊基金會在2026年9月發布的協議優先事項文件中，提出 zkEVM 研究方向：讓執行證明從選用功能，逐步成為預期功能，最終成為必要功能。文件表示，目前路線圖將必要證明的導入時點列為 K*，也在評估調整順序、延後至 L* 的方案。

任務頁面列出 zkSecurity 和 Verity Labs 為合作方，公開程式碼則存放於 Layr-Labs 儲存庫。

公開儲存庫的 README指出，初期提交作品的後端證明憑證重建與完整稽核仍在進行，尚未完成端對端驗證。README也補充，即使證明提交程式與固定執行模型等價，也不代表該程式正確實作了以太坊。

因此，即使未來證明出有限的 K，其結果也只適用於任務中固定的程式、RISC-V 執行模型及輸入範圍，不能據此推論實際證明所需時間或以太坊 Gas 成本會如何變化。