オフチェーンラボは、イーサリアムL1上のWASMのケースを提示してビタリックブテリンのRISC-V推進に反論しました

オフチェーンラボは、イーサリアムが長期的な柔軟性を維持するために、デリバリーと検証の命令セットを分離すべきだと主張しています。

チームは、ZK-VMの設計における急速な変化がイーサリアムをRISC-Vにロックすることに不確実性をもたらすと指摘しています。

WASMは、オンチェーンスマートコントラクトの実行において、構造的安定性、ハードウェア互換性、および強力な検証機能を提供します。

Offchain Labsの研究者たちは、イーサリアムの実行レイヤーをRISC-V命令セットに移行するというVitalik Buterinの提案に対して詳細な挑戦を進めました。彼らの立場は、イーサリアムがスマートコントラクトコードをどのように扱うかを評価するための異なる構造を導入しました。研究者たちは、イーサリアム研究に関する11月の議論で彼らの発見を発表し、WebAssemblyがイーサリアムのレイヤー1の長期的な配信形式としてどのように機能するかを検討しました。

研究者は、配信システムと証明システムの異なる役割を強調しています

チームは、スマートコントラクトシステムが2つの異なるレイヤーに依存していることを説明しました。彼らは、コントラクトがオンチェーンにどのように表示されるかを決定するデリバリーインストラクションセットを説明しました。また、実行を検証するためにZK仮想マシンによって使用される証明インストラクションセットについても詳しく説明しました。彼らは、これらの役割が同じ設計を共有する必要はないと述べました。

彼らの投稿は、この分離を将来の証明システムの柔軟性を維持する方法として説明しました。彼らは、WASM コントラクトを RISC-V にコンパイルしてから証明するという進行中の作業を参照しました。このアプローチは、ライブ ブロック データを処理する Arbitrum テストの内部で既に実行されていると付け加えました。

研究者たちはZK-VM開発の急速な変化を調査しました。彼らは、RISC-Vの実装が最近32ビットから64ビット設計に移行したことに注目しました。この変更は、証明システムの長期的な最適化に不確実性をもたらすと述べました。彼らは、他のZK-VMプロジェクトが代替証明構造を開発する中で、イーサリアムのベースレイヤーに単一のハードウェア指向ISAを埋め込むリスクに焦点を当てました。彼らは、LigeroのLigetronのようなWASM指向の証明努力を、その分野における新しい方向性の例として挙げました。

エコシステム全体でプロのコストが引き続き低下しています

その投稿では、ZK証明コストの減少について説明されていました。研究者は、現在のコストが各イーサリアムブロックあたり約$0.025であると述べました。彼らは、証明システムが進化するにつれてコストが引き続き減少していることを付け加えました。彼らは、これらの数値が証明効率のみに基づいて配信形式を設計する必要性を減少させることを説明しました。

彼らは、ビルダーが通常のブロック条件下で証明費用を上回るガス料金やMEVを依然として収集できると指摘しました。研究者たちはWASMの構造化されたフォーマットを指摘しました。彼らは、この構造が既存の契約を壊すことなくコードの更新を容易にすることを説明しました。また、WASMはほとんどのイーサリアムノードで使用される一般的なハードウェア上で効率的に動作することを付け加えました。

彼らはまた、WASMには実行環境内で型安全性を強制する組み込みの検証が含まれていることを指摘しました。彼らは、さまざまなアプリケーションでの広範な使用から来る広範なツール基盤を参照しました。彼らはWASMを、多様な実行および証明システムと契約言語を接続する安定したレイヤーとして説明しました。