ヴィタリク・ブテリンは、ブロックガス単位あたりのEthereum証明コストにハード上限を設けるよう呼びかけました。ブテリンは10月15日の投稿でZKsyncのAirbenderチームを称賛し、3つの形式的検証の優先事項を特定しました：実行の数学的表現をEthereumの仕様と一致させること、プローバーのコストをブロックガスに対して制限すること、そして証明システムを安全にすることです。ガスは実行作業を表し、ブロックリソース消費を制限しますが、有用な証明制限はその許容値を、意図的に困難なワークロードを含む証明生成リソースと結びつける必要があります。Ethereum財団は2025年12月にセキュリティに焦点を当てたフェーズを策定しました。
EIP-7904の現在の計算コスト分析では、計算ガスコストの変更は推奨されておらず、Ethereumのガススケジュールにも変更は指定されていません。EIP-7904は10月18日現在、最終意見募集段階の情報提案であり、締切は11月1日です。EIP-7904の分析は、最適化されたネイティブ実行クライアント上で1秒あたり1億ガスを目標としています。EIP-7904は、ブロックレベルアクセスリストによって可能になった最適化、特に以前問題となっていた操作を加速する並列処理を変更された結論の要因として挙げています。ただし、EIP-7904は純粋なCPUでの実行を対象としており、ZK-SNARK証明生成のような異なるワークロードを課す要素については明示的に除外しています。
ZKsyncは10月13日、1台のNVIDIA RTX PRO 6000 Blackwellが、証明準備を含め、7,200連続のEthereumメインネットブロックの99％を各ブロック10秒以内に証明したと発表しました。ZKsyncは、サンプルしたすべてのブロックが12秒以内に完了したと報告しています。また、ZKsyncは2台および4台のGPUを使用した別々のライブETHproofs構成についても説明しました。ただし、最大コスト保証は、証明が高コストになるように意図的に構成されたブロックを含め、明示された前提条件内のすべての許可されたワークロードをカバーする必要があります。一般的なブロックは小規模なセットアップで対応可能ですが、困難な許可されたワークロードが、オペレーターが証明をタイムリーに生成するために必要な予備容量を決定します。
Nethermind Researchの林おしばねは、1月27日の測定結果で、暗号学的プリコンパイルおよび複数のモジュラー算術または除算演算が、ガスあたりの証明に比較的高コストであることを発見した。おしばねの測定結果は、証明者によってコストが異なること、ZKサイクル数が演算間で均一な証明時間に直結しないことを示した。本研究は、周囲の実行コンテキストを一定に保ったまま演算回数を変化させることで、限界的な証明時間を推定した。研究では、sp1-clusterを用いたSP1 v5.2.3とRISC0 v3.0.4をテストし、reth v1.9.3と4台のNVIDIA GeForce RTX 4090 GPUを使用した。RISC0ではRISC0_KECCAK_PO2=15の設定を用いた。測定には固定された代表的または可能な限り最悪の入力を使用し、ブロックヘッダー検証を省略し、偶然にもBLOCKHASHを省略した。引数依存コストの完全な調査は今後の課題とされた。
イーサリアム財団の1月の最悪ケースベンチマーキングフレームワークは、必要な証明スループットを選択されたブロックガスリミットと証明期限に関連付ける。このフレームワークでは、意図したハードウェアと時間予算内に困難なブロックを収める必要がある。また、フレームワークは、操作レベルの推定値に対してエンドツーエンドのチェックが必要であると説明している。これは、証明生成に固定オーバーヘッドが存在し、集約が非線形になり得ること、そしてハードウェア構成やセキュリティパラメータがパフォーマンスに影響を与えるためである。また、参加が想定される実行クライアントと証明システムのセットも重要である。
高価な回路や実行パスの改善により、トランザクション実行のガス単位を変更せずに証明作業を削減でき、オペレーターは同じワークロードに対してより少ないリソースを使用できるようになります。Nethermindの研究では、通常の実行ガス許容値が消費される前に、ブロックごとの上限を持つ重み付きZKガス計測を導入することで、証明に多大なリソースを消費する操作を制約できると示されています。重み付きZKガス計測による保護は、重みが困難な入力をどれだけ正確に捉えるかに依存します。リソース上限は、アプリケーション利用者の支払いや証明者収益を決定することなく、受け入れられる作業量を制限できます。証明リソースに対して課金するには、さらに他の設計上の選択が必要です。EIP-7999は、calldataを独自のリソースとして分離するドラフト段階の多次元料金市場提案です。
Opcodeの再価格付けは、高コストな操作により多くのガスを割り当て、固定されたガス制限内でそのような操作の数を減らすものです。再価格付けされた操作を使用するアプリケーションは、同じ成功した実行に対してより多くのガスを消費できます。EIP-1559の実行手数料メカニズムは、課されるガスに有効ガス価格を乗算します。同じ成功したトランザクションに対してより多くのガスが課されるアプリケーションは、有効ガス価格が変化しない場合でも、より多くの手数料を支払うことになります。
EIP-8025は、プローバーへのインセンティブを提供せず、証明が利用可能であっても再実行を維持する、ドラフト段階のオプション実行証明提案です。Ethereum財団の9月の優先事項では、必須証明の実装は後日とされ、フォークの順序は見直し中です。EIP-7904の11月1日のレビュー期限はCPU分析に関するものであり、独立したプローバーには、明示的なワークロード、実装、セキュリティ設定、ハードウェア仮定に結び付けられた制約が必要です。このような制約により、ガス許容値は、オペレーターが準備しなければならない証明リソースの信頼できる上限に変わります。
Ethereumの証明コスト、Vitalikのハードリミット挑戦に直面
CryptoSlate共有
概要
ヴィタリク・ブテリンは、証明生成をガス制約に合わせるため、ブロックガス単位あたりのEthereum証明コストにハードリミットを提案しました。11月1日までラストコール中のEIP-7904は、アクセスリストの最適化を強調しています。ZKsyncとNethermindは、GPUを使用したコストの変動と効率を示しました。Ethereum財団は、最悪の場合の証明シナリオ向けのベンチマークフレームワークを構築中です。CFT措置により、リスクオン資産に再び注目が集まりました。
出典:原文を表示
免責事項: 本ページの情報はサードパーティからのものであり、必ずしもKuCoinの見解や意見を反映しているわけではありません。この内容は一般的な情報提供のみを目的として提供されており、いかなる種類の表明や保証もなく、金融または投資助言として解釈されるものでもありません。KuCoinは誤記や脱落、またはこの情報の使用に起因するいかなる結果に対しても責任を負いません。
デジタル資産への投資にはリスクが伴います。商品のリスクとリスク許容度をご自身の財務状況に基づいて慎重に評価してください。詳しくは利用規約およびリスク開示を参照してください。