技術的負債の山に直面したイーサリアムはRISC-Vでやり直すことを選択

イーサリアムは、スケーラビリティと効率性の課題を解決するため、EVM(イーサリアム仮想マシン)をRISC-Vアーキテクチャに置き換える大規模なアーキテクチャ変更を計画しています。この移行は、ゼロ知識証明(ZK)を中心とした将来のビジョンに沿ったもので、以下の点でメリットがあります:

  • パフォーマンス向上: 現在のzkEVMはインタプリタ方式のため、ネイティブ実行比で50~800倍の性能低下が発生。RISC-V採用により証明コストが約100分の1に低下し、L1での高速処理(約10,000 TPS)が可能に。
  • 技術的負債の解消: EVMの256ビット設計やプリコンパイル契約の複雑さがボトルネックとなっていたが、RISC-Vの最小命令セット(基本47命令)とモジュール設計でプロトコルが簡素化。
  • エコシステム連携: RISC-Vは事実上のzkVM標準(採用率90%)であり、LLVMツールチェーン経由でRust、C++、Goなどの言語をサポート。開発者が既存のライブラリを直接利用可能に。
  • 段階的移行計画:
    1. プリコンパイル契約の代替としてRISC-Vを導入(低リスクテスト)
    2. EVMとRISC-Vの共存と相互運用
    3. EVMをRISC-V上で再実装(「Rosetta」戦略)

エコシステムへの影響:

  • Optimistic Rollup(Arbitrum等)は不正防止メカニズムの再構築が必要
  • ZK Rollup(Polygon等)は統合が容易になり、コスト削減・高速化のメリット
  • ユーザーは大幅な手数料低下と高速な取引を体験可能

この変革により、イーサリアムは「スマートコントラクトプラットフォーム」から「検証可能なインターネット信頼層」へ進化し、「すべてのZK化」という最終目標に近づきます。

要約

著者: jaehaerys.eth

編集者: TechFlow

まとめ

Ethereum は、EVM を RISC-V に置き換えるという、創業以来最も重要なアーキテクチャ変革の準備を進めています。

理由は簡単です。ゼロ知識 (ZK) を中心とした将来において、EVM がパフォーマンスのボトルネックになっているからです。

  • 現在の zkEVM はインタープリターに依存しているため、パフォーマンスが 50 ~ 800 倍低下します。

  • プリコンパイルされたモジュールはプロトコルを複雑にし、リスクを増大させます。

  • 256 ビットのスタック設計は、証明を生成するのに非常に非効率的です。

RISC-Vのソリューション:

  • ミニマリスト設計 (基本命令約 47 個) + 成熟した LLVM エコシステム (Rust、C++、Go などをサポート)。

  • 事実上の zkVM 標準となっています (プロジェクトの 90% で採用されています)。

  • 正式な SAIL 仕様がある (あいまいなイエローペーパーと比較して) → 厳密な検証が可能

  • ハードウェア実証パス (ASIC/FPGA) はすでにテストされています (SP1、Nervos、Cartesi など)。

移行プロセスは 3 つのフェーズに分かれています。

  1. RISC-V をプリコンパイルされたモジュールとして置き換えます(低リスクテスト)。

  2. デュアル仮想マシン時代: EVM と RISC-V が共存し、完全に相互運用可能です。

  3. EVM を RISC-V で再実装 (Rosetta 戦略)。

生態系への影響:

  • Optimistic Rollups (Arbitrum や Optimism など) は、不正防止メカニズムを再構築する必要があります。

  • ゼロ知識ロールアップ (Polygon、zkSync、Scroll など) には大きな利点があります → より安価、より高速、よりシンプル。

  • 開発者は Rust、Go、Python などの言語ライブラリを L1 レイヤーで直接使用できます。

  • ユーザーは、約 100 倍低い証明コストを享受できます → Gigagas L1 (約 10,000 TPS) につながります。

最終的に、イーサリアムは「スマート コントラクト仮想マシン」から、インターネットのための最小限かつ検証可能な信頼レイヤーへと進化し、「すべてを ZK スナーク化する」という究極の目標を掲げます。

岐路に立つイーサリアム

ヴィタリック・ブテリンはかつてこう言いました。「最終目標は…すべてを ZK-Snarked にすることです。」

ゼロ知識証明(ZK)の終焉は避けられないものであり、その核心となる論点はシンプルです。イーサリアムはゼロ知識証明を基盤として、ゼロから再構築されているのです。これがプロトコルの技術的終着点であり、Succinctのようなコア開発者の支援を受けた高性能zkVMを活用したレイヤー1のリファクタリングを通じて最終形態に到達するのです。

このビジョンを念頭に、イーサリアムは創設以来、最も重大なアーキテクチャ変革の瀬戸際に立っています。議論されているのはもはや段階的なアップグレードではなく、コンピューティングコアの完全な再構築、つまりイーサリアム仮想マシン(EVM)の置き換えです。この取り組みは、より広範な「Lean Ethereum」ビジョンの礎となるものです。

Lean Ethereumビジョンは、プロトコル全体を体系的に簡素化し、Lean Consensus、Lean Data、Lean Executionという3つのコアモジュールに分割することを目指しています。Lean Executionの核となる重要な問題は、スマートコントラクト革命の原動力であるEVMが、Ethereumの将来の発展における大きなボトルネックとなっているかどうかです。

イーサリアム財団のジャスティン・ドレイク氏が述べているように、イーサリアムの長期的な目標は常に「すべてをSnark化すること」であり、これはプロトコルのあらゆるレイヤーを強化する強力なツールです。しかし、この目標の達成にはリアルタイム証明の概念が必要となるため、この目標は長らく実現困難な青写真に過ぎませんでした。しかし、リアルタイム証明が現実のものとなった今、EVMの理論的な非効率性は、対処すべき現実的な問題となっています。

この記事では、イーサリアムのレイヤー1をRISC-V命令セットアーキテクチャ(ISA)に移行する技術的および戦略的な論点を深く掘り下げます。この移行は、前例のないスケーラビリティを実現するだけでなく、プロトコル構造を簡素化し、イーサリアムを検証可能な計算の未来へと導くことが期待されます。

具体的に何が変わったのでしょうか?

「なぜ」を探る前に、まず「何が」変化しているのかを明確にする必要があります。

Ethereumスマートコントラクトのランタイム環境であるEVM(Ethereum Virtual Machine)は、トランザクションを処理し、ブロックチェーンの状態を更新する「ワールドコンピュータ」と呼ばれています。長年にわたり、その設計は革新的なものであり、分散型金融(DeFi)とNFTエコシステムの出現の基盤を築きました。しかしながら、この10年近くも前のカスタムアーキテクチャは、多大な技術的負債を蓄積してきました。

対照的に、RISC-Vは製品ではなくオープンスタンダードであり、プロセッサ設計のための自由で普遍的な「アルファベット」です。Jeremy Bruestle氏がEthproofsカンファレンスで強調したように、RISC-Vの主要原則は、この役割に最適な選択肢となっています。

  • ミニマリズム:RISC-Vの基本命令セットは非常にシンプルで、わずか40~47個の命令で構成されています。ジェレミー氏の言葉を借りれば、これは「私たちが必要とする超ミニマリズムな汎用マシンのユースケースにほぼ最適」です。
  • モジュール設計:オプションの拡張機能によって、より複雑な機能が追加されます。この機能は、コア部分をシンプルに保ちながら、必要に応じて機能を拡張し、ベースプロトコルに不必要な複雑さを加えることなく、非常に重要なものです。
  • オープンエコシステム:RISC-Vは、LLVMコンパイラを含む大規模で成熟したツールチェーンを備えており、開発者はRust、C++、Goといった主流のプログラミング言語を使用できます。Justin Drake氏が述べたように、「コンパイラ関連のツールは非常に豊富で、コンパイラの構築は非常に困難です。そのため、これらのコンパイラツールチェーンを持つことは非常に価値があります。」RISC-Vにより、Ethereumはこれらの既成ツールを無料で継承できます。

通訳オーバーヘッド問題

EVMの置き換えの動機は、単一の欠陥ではなく、ゼロ知識証明を中心とした未来において無視できない根本的な限界の重なりにあります。これらの限界には、ゼロ知識証明システムにおけるパフォーマンスのボトルネックや、プロトコル内に蓄積される複雑さの増加によって生じるリスクが含まれます。

通訳オーバーヘッド問題

この移行を最も強く推進しているのは、ゼロ知識証明システムにおけるEVMの本質的な非効率性です。イーサリアムが徐々にゼロ知識証明を通してL1状態を検証するモデルに移行するにつれて、証明器のパフォーマンスが最大のボトルネックとなります。

問題は、zkEVMの現在の動作方法にあります。EVM上で直接ゼロ知識証明を実行するのではなく、RISC-VにコンパイルされたEVMインタープリタ上で実行します。Vitalik Buterin氏は、この根本的な問題を率直に指摘しました。

「…zkVM実装がEVM実行をRISC-Vコードにコンパイルするのであれば、なぜ基盤となるRISC-Vをスマートコントラクト開発者に公開しないのでしょうか?そうすれば、外部VM全体のオーバーヘッドが完全に排除されます。」

この追加の解釈レイヤーは、パフォーマンスに大きなペナルティを伴います。推定によると、このレイヤーはネイティブプログラムの証明と比較して、50倍から800倍のパフォーマンス低下をもたらす可能性があります。他のボトルネックを最適化した後でも(Poseidonハッシュアルゴリズムへの切り替えなど)、この「ブロック実行」は依然として証明時間の80~90%を占めており、EVMはL1のスケーリングにおける最後の、そして最も解決困難な障害となっています。Vitalikは、このレイヤーを削除することで、100倍のパフォーマンス向上が見込まれると予測しています。

技術的負債の罠

EVMの特定の暗号演算におけるパフォーマンスの限界に対処するため、イーサリアムはプリコンパイルされたコントラクト(プロトコルに直接ハードコードされた専用関数)を導入しました。この解決策は当時は実用的に思えましたが、現在ではヴィタリック・ブテリンが「悪い」状況と呼ぶ状況につながっています。

「プリコンパイルは私たちにとって悲惨なものでした…イーサリアムの信頼できるコードベースを大幅に肥大化させ、コンセンサスが失敗しそうになるなど、いくつかの深刻な問題を引き起こしました。」

この複雑さは驚くべきものです。例えばVitalikは、単一のプリコンパイル済みコントラクト(modexpなど)のラッパーコードがRISC-Vインタープリタ全体よりも複雑であり、プリコンパイル済みロジックはさらに扱いにくいことを示しています。新しいプリコンパイル済みコントラクトを追加するには、時間がかかり、政治的に議論の多いハードフォークプロセスが必要であり、新しい暗号プリミティブを必要とするアプリケーションのイノベーションを著しく阻害します。Vitalikは明確な結論を導き出しています。

「今日から、新しいコンパイル済み契約の追加を停止する必要があると思います。」

イーサリアムのアーキテクチャ上の技術的負債

EVMの中核設計は過ぎ去った時代の優先順位を反映しており、現代のコンピューティングニーズにはもはや適していません。EVMは暗号値の処理に256ビットアーキテクチャを選択しましたが、このアーキテクチャはスマートコントラクトで一般的に使用される32ビットまたは64ビットの整数に対して非常に非効率です。この非効率性は、ZKシステムでは特に大きなコストとなります。Vitalik氏は次のように説明しています。

「より小さな数字を使用すると、実際には桁あたりのリソースは節約されず、複雑さは 2 ~ 4 倍に増加します。」

さらに、EVMのスタックアーキテクチャは、RISC-Vや最新のCPUのレジスタアーキテクチャに比べて効率が低く、同じ操作を完了するのにより多くの命令が必要になり、コンパイラの最適化も複雑になります。

これらの問題(ZK 証明のパフォーマンスのボトルネック、プリコンパイルの複雑さ、時代遅れのアーキテクチャの選択など)を総合すると、Ethereum は EVM を超えて、より将来を見据えたテクノロジー アーキテクチャを採用する必要があるという説得力のある緊急の理由が浮かび上がります。

RISC-Vブループリント:より強固な基盤でイーサリアムの未来を再構築

RISC-Vの強みは、EVMの欠点を克服しているだけでなく、その設計哲学の本質的な強さにも表れています。そのアーキテクチャは堅牢でシンプル、かつ検証可能な基盤を提供し、Ethereumのようなハイステークス環境に最適です。

オープン スタンダードはカスタム デザインよりも優れているのはなぜですか?

ソフトウェア エコシステム全体をゼロから構築する必要があるカスタム命令セット アーキテクチャ (ISA) とは異なり、RISC-V は、次の 3 つの主な利点を持つ成熟したオープン スタンダードです。

成熟したエコシステム

RISC-Vを採用することで、イーサリアムはコンピュータサイエンスにおける数十年にわたる集合的な進歩を活用できるようになります。ジャスティン・ドレイク氏が説明したように、これによりイーサリアムは世界クラスのツールに直接アクセスできるようになります。

「LLVMと呼ばれるインフラストラクチャコンポーネントがあります。これは、高水準プログラミング言語を様々なバックエンドターゲットのいずれかにコンパイルできるコンパイラツールチェーンです。サポートされているバックエンドの一つがRISC-Vです。つまり、RISC-Vをサポートすれば、LLVMがサポートするすべての高水準言語を自動的にサポートすることになります。」

これにより開発のハードルが大幅に下がり、Rust、C++、Go などの言語に精通した何百万人もの開発者が簡単に開発を始められるようになります。

RISC-Vのミニマリズムは意図的な特徴であり、制限ではありません。基本命令セットは約47個の命令で構成されており、仮想マシンのコアを極めてシンプルに保っています。このシンプルさは、信頼できるコードベースが小さくなるため、監査や形式検証が容易になり、セキュリティ上の大きなメリットをもたらします。

さらに重要なのは、zkVMエコシステムがすでに選択を行っていることです。ジャスティン・ドレイク氏が指摘するように、Ethproofsのデータから明確な傾向が見て取れます。

「RISC-Vは、zkVMバックエンドの主要な命令セットアーキテクチャ(ISA)です。」

イーサリアムブロックを証明できる10個のzkVMのうち、9個がターゲットアーキテクチャとしてRISC-Vを選択しています。この市場の収束は、イーサリアムがRISC-Vを採用することで投機的な実験を行っているのではなく、ゼロ知識の未来を構築するプロジェクトによって認められた実証済みの標準に準拠しているという強いシグナルを送っています。

実行だけでなく信頼のために生まれた

RISC-Vは、その広範なエコシステムに加え、内部アーキテクチャも安全で検証可能なシステムの構築に特に適しています。まず、RISC-VはSAILと呼ばれる形式化された機械可読仕様を誇っています。これは、主にイエローペーパーにテキスト形式で記載されているEVM仕様に比べて大幅に改善されています。イエローペーパーはやや曖昧ですが、SAIL仕様は、高価値プロトコルのセキュリティ確保に不可欠な、重要な数学的正しさの証明をサポートできる「ゴールドスタンダード」を提供しています。Ethereum Foundation(EF)のAlex Hicks氏がEthproofsカンファレンスで指摘したように、これによりzkVM回路は「公式RISC-V仕様に照らして直接検証」することが可能になります。次に、RISC-Vは特権アーキテクチャを採用しています。これは見落とされがちですが、セキュリティにとって極めて重要な機能です。特権アーキテクチャは、主にユーザーモード(スマートコントラクトなどの信頼できないアプリケーション用)とスーパーバイザーモード(信頼できる「実行カーネル」用)という、異なる動作レベルを定義します。CartesiのDiego氏がこの点について詳しく説明してくれます。

「オペレーティングシステム自体が他のコードから自身を保護する必要があります。異なるプログラムの実行を互いに分離する必要があり、これらのメカニズムはすべてRISC-V標準の一部です。」

RISC-Vアーキテクチャでは、ユーザーモードで実行されるスマートコントラクトはブロックチェーンの状態に直接アクセスできません。代わりに、特別なECALL(環境呼び出し)命令を介して、スーパーバイザーモードで実行される信頼できるカーネルにリクエストを発行する必要があります。このメカニズムは、EVMがソフトウェアサンドボックスのみに依存する場合よりも堅牢で検証が容易な、ハードウェアによるセキュリティ境界を確立します。

ヴィタリックのビジョン

この移行は、システムの安定性と後方互換性を確保するための段階的な多段階プロセスとして想定されています。イーサリアムの創設者であるヴィタリック・ブテリン氏が説明したように、このアプローチは根本的な「革命的」な変化ではなく、「進化的」な発展を目指しています。

ステップ1: 代替案を事前コンパイルする

初期段階では保守的なアプローチを採用し、新しい仮想マシン(VM)に限られた機能を導入します。Vitalik Buterin氏が示唆したように、「新しいVMのユースケースを限定的に、例えばプリコンパイル済みの機能を置き換えることから始めることができます。」具体的には、新しいEVMプリコンパイル済み機能の導入を一時停止し、代わりにホワイトリストに登録され承認されたRISC-Vプログラムを通じて必要な機能を実装します。このアプローチにより、新しいVMをメインネット上の低リスク環境でフィールドテストすることができ、Ethereumクライアントは2つの実行環境の仲介役として機能します。

ステップ2: デュアル仮想マシンが共存する

次のフェーズは、「新しいVMをユーザーが直接アクセスできるようにする」ことです。スマートコントラクトは、タグを介してバイトコードがEVMかRISC-Vかを示すことができます。重要な機能はシームレスな相互運用性で、「2種類のコントラクトが相互に呼び出すことができる」ようになります。この機能はシステムコール(ECALL)を通じて実現され、2つの仮想マシンが同じエコシステム内で連携できるようになります。

ステップ3: シミュレーション契約としてのEVM(「ロゼッタ」戦略)

最終的な目標は、根本的に簡素化されたプロトコルを実現することです。現段階では、「EVMを新しいVM内に実装します」とのことです。標準化されたEVMは、ネイティブRISC-V L1上で動作する形式検証済みのスマートコントラクトとなります。これにより、レガシーアプリケーションの永続的なサポートが保証されるだけでなく、クライアント開発者は簡素化された実行エンジンを維持できるため、複雑さとメンテナンスコストが大幅に削減されます。

生態系への波及効果

EVMからRISC-Vへの移行は、単なるコアプロトコルの変更にとどまりません。Ethereumエコシステム全体に甚大な影響を与えるでしょう。この変革は、開発者エクスペリエンスを一変させるだけでなく、レイヤー2ソリューションの競争環境を根本的に変え、新たな経済的なプルーフ・オブ・ステークモデルを生み出すでしょう。

Rollupの再ポジショニング:Optimistic vs. ZK

L1 で RISC-V 実行層を採用すると、2 つの主なタイプのロールアップに明確な影響が生じます。

Optimistic Rollups(ArbitrumやOptimismなど)は、アーキテクチャ上の課題に直面しています。これらのセキュリティモデルは、L1 EVMを介して紛争中のトランザクションを再実行することで不正防止を解決することに依存しています。このモデルは、L1 EVMが置き換えられた場合、完全に崩壊します。これらのプロジェクトは、新しいL1 VMに特化した不正防止システムを設計するために大規模なエンジニアリングの見直しを行うか、Ethereumのセキュリティモデルから完全に切り離すかという難しい選択に直面することになります。

対照的に、ZK Rollupは大きな戦略的優位性を獲得するでしょう。ZK Rollupの大部分は既にRISC-Vを内部命令セットアーキテクチャ(ISA)として採用しています。「同じ言語を話す」L1は、より緊密で効率的な統合を可能にします。ジャスティン・ドレイク氏は、「ネイティブRollup」という将来構想を提案しました。L2は実際にはL1独自の実行環境の専用インスタンスとなり、L1の組み込みVMを活用してシームレスな決済を実現します。この連携により、以下の変化がもたらされます。

簡素化されたテクノロジー スタック: L2 チームは、内部の RISC-V 実行環境と EVM の間に複雑なブリッジ メカニズムを構築する必要がなくなります。

ツールとコードの再利用: L1 RISC-V 環境用に開発されたコンパイラ、デバッガー、形式検証ツールは L2 で直接使用できるため、開発コストが大幅に削減されます。

経済的インセンティブの調整:L1 のガス料金は、RISC-V ベースの ZK 検証の実際のコストをより正確に反映し、より合理的な経済モデルを形成します。

開発者とユーザーのための新しい時代

Ethereum 開発者にとって、この移行は混乱を招くものではなく、段階的なものになるでしょう。

開発者は、より広範で成熟したソフトウェア開発エコシステムにアクセスできるようになります。Vitalik Buterin氏が指摘したように、開発者は「Rustでコントラクトを記述でき、これらのオプションは共存可能」になります。同時に、彼は「スマートコントラクトロジックの洗練された設計により、SolidityとVyperは引き続き人気を博すだろう」と予測しています。LLVMツールチェーンを通じて、主流のプログラミング言語とその膨大なライブラリリソースを活用するというこの移行は革命的なものです。Vitalik氏はこれを「NodeJSのようなエクスペリエンス」に例え、開発者がオンチェーンとオフチェーンの両方のコードを同じ言語で記述し、統合開発を実現できると述べています。

ユーザーにとって、この変革は最終的に、より低コストで高性能なネットワーク体験をもたらします。プルーフコストは、取引あたり数ドルから数セント以下へと、約100分の1に削減されると予想されています。これは、L1手数料とL2決済手数料の削減に直接つながります。この経済的実現可能性は、「ギガガスL1」というビジョンの実現を可能にし、約10,000TPSのパフォーマンスを目標とすることで、将来的にはより複雑で高価値なオンチェーンアプリケーションへの道を切り開きます。

Succinct LabsとSP1:未来に向けて今日構築する

イーサリアムは成長に向けて準備が整っています。「L1のスケーリング、ブロックのスケーリング」は、EFプロトコルクラスターにおける戦略的課題です。今後6~12ヶ月で大幅なパフォーマンス向上が期待されます。

https://blog.ethereum.org/2025/07/31/lean-ethereum

Succinct Labs のようなチームは、RISC-V の理論上の利点を実際に実証しており、彼らの研究は、この提案を検証するための強力な根拠となっています。

Succinct LabsのSP1は、RISC-Vをベースとした高性能オープンソースzkVMであり、新しいアーキテクチャアプローチの実現可能性を実証しています。「プリコンパイル中心」の哲学を採用したSP1は、EVMの暗号化ボトルネックをシームレスに解決します。低速でハードコードされたコードに依存する従来のプリコンパイル手法とは異なり、SP1はKeccakハッシュなどの高負荷な演算を、標準のECALL命令によって呼び出される、特別に設計され、手動で最適化されたZK回路にオフロードします。このアプローチは、カスタムハードウェアのパフォーマンスとソフトウェアの柔軟性を組み合わせ、開発者に効率的でスケーラブルなソリューションを提供します。

Succinct Labsはすでに実世界への影響を実感しています。同社のOP Succinct製品は、SP1を活用してOptimistic RollupsをZK化しています。Succinctの共同創設者であるUma Roy氏は次のように説明しています。

「OP StackのRollupを使えば、最終確認と出金に7日間も待つ必要がなくなります。今では確認が1時間で完了します。このスピード向上は素晴らしいです。」

この画期的な進歩は、OP Stackエコシステム全体の重要な問題点を解決するものです。さらに、SuccinctのインフラストラクチャであるSuccinct Prover Networkは、分散型証明生成市場として設計されており、検証可能な計算の未来に向けた実現可能な経済モデルを実証しています。彼らの取り組みは単なる概念実証ではなく、この記事で説明されているように、未来に向けた実用的な青写真です。

イーサリアムがリスクを軽減する方法

RISC-Vの強みの一つは、形式検証の聖杯、つまり数学的証明によってシステムの正しさを証明するという目標を、達成可能なものにしていることです。EVM仕様は自然言語でイエローペーパーに記述されており、形式化が困難です。一方、RISC-Vには公式の機械可読なSAIL仕様があり、その動作に関する明確な「ゴールデンリファレンス」を提供しています。

これにより、さらに強固なセキュリティへの道が開かれます。イーサリアム財団のアレックス・ヒックス氏が指摘したように、「zkVM RISC-V回路と公式RISC-V仕様をLean言語に抽出し、形式検証を行う」作業が既に進行中です。これは画期的な開発であり、誤りやすい人間による実装から検証可能な数学的証明へと信頼を移行させ、ブロックチェーンセキュリティの新たな展望を切り開きます。

変革の主なリスク

RISC-V アーキテクチャの L1 には多くの利点がありますが、新たな複雑な課題ももたらします。

ガスメーターの問題

一般的な命令セットアーキテクチャ(ISA)向けに決定論的かつ公平なガスモデルを構築することは未解決の問題です。単純な命令カウント手法はサービス拒否攻撃の影響を受けやすいため、例えば、攻撃者はキャッシュミスを繰り返し発生させるプログラムを設計し、その結果、極めて低いガス料金で大量のリソースを消費する可能性があります。これは、ネットワークの安定性と経済モデルにとって深刻な課題となります。

ツールチェーンのセキュリティと「再現可能なビルド」の問題

これは、今回の移行における最も重大でありながら、しばしば過小評価されているリスクです。セキュリティモデルは、オンチェーンの仮想マシンに依存するものから、非常に複雑で脆弱性が存在することが知られているオフチェーンのコンパイラ(LLVMなど)に依存するものへと移行します。攻撃者はコンパイラの脆弱性を悪用し、一見無害なソースコードを悪意のあるバイトコードに変換する可能性があります。さらに、オンチェーンでコンパイルされたバイナリが、公開されているソースコードと完全に一致していることを保証すること(「再現可能なビルド」の問題)は非常に困難です。ビルド環境のわずかな違いがバイナリの差異につながり、透明性と信頼性を損なう可能性があります。これらの問題は、開発者とユーザーのセキュリティにとって深刻な課題となります。

緩和戦略

前進するには多層防御戦略が必要です。

段階的な展開

段階的かつ段階的な移行計画は、リスク軽減のための中核戦略です。まずRISC-Vをプリコンパイル済みの代替として導入し、その後デュアルVM環境で実行することで、コミュニティは運用経験を積み、低リスク環境での信頼性を構築し、不可逆的な変更を回避できます。この段階的なアプローチは、技術革新のための安定した基盤を提供します。

包括的な監査:ファズテストと形式検証

形式検証は究極の目標ですが、継続的かつ厳格なテストと組み合わせる必要があります。Diligence SecurityのValentine氏がEthproofsの講演で実演したように、同社のArgusファズテストツールは、主要なzkVMにおいて11件の重大な健全性および整合性に関する脆弱性を発見しました。これは、最もよく設計されたシステムであっても、厳格な敵対的テストによってのみ発見できる脆弱性が潜んでいる可能性があることを示しています。ファズテストと形式検証を組み合わせることで、システムセキュリティの保証がより強固になります。

標準化

エコシステムの断片化を回避するために、コミュニティは単一の標準化されたRISC-V構成に統一する必要があります。これはおそらくRV64GCとLinux互換ABIの組み合わせになるでしょう。この組み合わせは、主流のプログラミング言語とツールの中で最も広範なサポートを誇り、新しいエコシステムのメリットを最大限に引き出すからです。標準化は開発者の効率性を向上させるだけでなく、エコシステムの長期的な成長のための強固な基盤を築きます。

イーサリアムの検証可能な未来

Ethereum仮想マシン(EVM)をRISC-Vに置き換えるという提案は、単なる段階的なアップグレードではなく、Ethereumの実行層の根本的な再構築を意味します。この野心的なビジョンは、深刻なスケーラビリティのボトルネックを解消し、プロトコルの複雑さを簡素化し、プラットフォームを汎用コンピューティングのより広範なエコシステムに適合させることを目指しています。この移行は技術的および社会的に大きな課題をもたらしますが、長期的な戦略的メリットは、この大胆な取り組みを正当化するものです。

この変革は、一連のコアトレードオフに重点を置いています。

  • ZK ネイティブ アーキテクチャによってもたらされる大幅なパフォーマンスの向上と、下位互換性の緊急の必要性との間のバランス。
  • プロトコルの簡素化によるセキュリティ上の利点と EVM の大規模なネットワーク効果の慣性との間のトレードオフ。
  • 共通エコシステムのパワーと、複雑なサードパーティ ツールチェーンに依存するリスクの間で選択します。

最終的に、このアーキテクチャ変革は、Lean Executionの実現の鍵となり、Lean Ethereumビジョンの重要な要素となります。Ethereumのレイヤー1は、単純なスマートコントラクトプラットフォームから、検証可能な計算の広大な宇宙を支えるために設計された、効率的で安全な決済およびデータ可用性レイヤーへと変貌を遂げます。

Vitalik Buterin 氏は、「最終目標は、あらゆるものに ZK スナークを提供することです。」と述べています。

Ethproofsのようなプロジェクトは、この変革のための客観的なデータと協働プラットフォームを提供し、Succinct LabsチームはSP1 zkVM実装を通じて、この未来に向けた実用的な青写真を提供しています。RISC-Vを採用することで、Ethereumは自身のスケーラビリティのボトルネックを解決するだけでなく、ハッシュと署名に次ぐ3番目に重要な暗号プリミティブであるSNARKを基盤とする次世代インターネットの基盤となる信頼レイヤーとしての地位を確立しています。

暗号化の新しい時代を切り開く、世界的に信頼されているソフトウェア。

もっと詳しく知る:

ヴィタリックの解釈:クリックして視聴

ETHProofs 第4回ディスカッション:クリックして視聴

共有先:

著者:深潮TechFlow

本記事はPANews入駐コラムニストの見解であり、PANewsの立場を代表するものではなく、法的責任を負いません。

記事及び見解は投資助言を構成しません

画像出典:深潮TechFlow侵害がある場合は、著者に削除を連絡してください。

PANews公式アカウントをフォローして、一緒に強気相場と弱気相場を乗り越えましょう
おすすめ記事
6分前
1時間前
1時間前
4時間前
5時間前
6時間前

人気記事

業界ニュース
市場ホットスポット
厳選読み物

厳選特集

App内阅读