Ethereumにはガスリミットがあります。しかし、有効なブロックを検証するために必要な最大計算量を数学的に証明できるでしょうか？ 驚くべきことに、現在のところ、完全なチャレンジモデルに対する認証済みの有限の上限は存在しません。 これが、@yukonresearch、@zksecurityXYZ、@Veritylab が https://t.co/w9Ti86Tqsj で取り組んでいる課題です。 現在、Ethereumのバリデーターは、ブロックを検証するためにトランザクションを独立して実行しています。EthereumがzkEVMベースの検証へ移行するにつれ、課題は単にトランザクションを正しく実行することを超えます。 さらに、最悪の場合の計算コストを理解する必要があります。 なぜこれが重要なのでしょうか？ Ethereumのブロックは有効であっても、異常に高コストな計算を要する可能性があります。証明にかかるコストが予測不能になると、リアルタイムZK証明がEthereumのスケーリングのボトルネックとなる可能性があります。 https://t.co/w9Ti86Tqsj は、ブロック検証計算に対する数学的に認証された上限を確立するためのオープンコンペティションを導入しています。 その影響は重大です： → 実行および証明の負荷がより予測可能に → リアルタイムZK証明の基盤がより強固に → Ethereumのガスリミット引き上げへの信頼性が向上 → よりアクセスしやすいハードウェアでの検証への道筋が開ける もちろん、実行ステップを上限で制限しても、高速なZK証明が自動的に保証されるわけではありません。しかし、これは重要な基盤です。 Ethereumの次なるスケーリング課題は、単に実行を速くすることではなく、最悪の場合の計算コストを予測可能かつ証明可能にすることです。 そして、@puffer_unifi などのEthereumロールアップが低遅延と同期的コンポーザビリティを目指す中で、このような研究はますます重要性を増しています。 https://t.co/SwPS2w3ic1