イーサリアムが史上最大のアップグレードを迎える可能性：EVMが廃止され、RISC-Vが引き継ぐ

原文タイトル：Goodbye EVM, Hello RISC-V

原文作者：jaehaerys.eth、暗号研究者

原文翻訳：TechFlow

要約

Ethereumは誕生以来最も重要なアーキテクチャの転換を迎えようとしています：EVMをRISC-Vに置き換えることです。

理由は単純です——ゼロ知識（ZK）を中心とした未来において、EVMはすでにパフォーマンスのボトルネックとなっています：

· 現在のzkEVMはインタプリタに依存しており、50～800倍のパフォーマンス低下を引き起こしています；

· プリコンパイルモジュールはプロトコルを複雑にし、リスクを増加させています；

· 256ビットスタック設計は証明生成時に非常に非効率的です。

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

· ミニマルデザイン（約47の基本命令）＋成熟したLLVMエコシステム（Rust、C++、Goなどの言語をサポート）；

· 事実上のzkVM標準となっている（90%のプロジェクトが採用）；

· 正式なSAIL仕様を持つ（曖昧なYellow Paperと比較して）→厳格な検証を実現；

· ハードウェア証明パス（ASICs/FPGAs）はすでにテスト中（SP1、Nervos、Cartesiなど）。

移行プロセスは3段階に分かれます：

· RISC-Vをプリコンパイルモジュールとして置き換える（低リスクテスト）；

· デュアルVM時代：EVMとRISC-Vが共存し完全に相互運用；

· RISC-V内でEVMを再実装（Rosetta戦略）。

エコシステムへの影響：

· 楽観的Rollup（ArbitrumやOptimismなど）は詐欺証明メカニズムを再構築する必要がある；

· ゼロ知識型Rollup（Polygon、zkSync、Scrollなど）は大きな優位性を得る→より安価、より高速、よりシンプル；

· 開発者はL1層でRust、Go、Pythonなどの言語ライブラリを直接利用できる；

· ユーザーは約100倍低コストの証明を享受→Gigagas L1（約10,000 TPS）への道。

最終的に、Ethereumは「スマートコントラクトVM」からインターネットのミニマルかつ検証可能な信頼レイヤーへと進化し、その究極の目標は「すべてをZK-Snark化する」ことです。

Ethereumの分岐点

Vitalik Buterinはかつてこう語りました：「終点には……すべてをZK-Snark化することが含まれる。」

ゼロ知識証明（ZK）の最終形は不可避であり、その核心的な論点は単純です：Ethereumはゼロから、ゼロ知識証明を基盤として自らを再構築しています。これはプロトコルの技術的な終着点を示し——L1の再構築によって最終形態に到達し、Succinctのようなコア開発チームが支える高性能zkVMによって駆動されます。

このビジョンを終点とし、Ethereumは誕生以来最も重要なアーキテクチャ転換の岐路に立っています。今回の議論はもはや段階的なアップグレードではなく、その計算コアの全面的な再構築——Ethereum Virtual Machine（EVM）の置き換えです。この動きはより広範な「Lean Ethereum」ビジョンの礎となります。

Lean Ethereumビジョンは、プロトコル全体を体系的に簡素化し、3つのコアモジュールに分割することを目指しています：Lean Consensus、Lean Data、Lean Execution。そしてLean Executionの核心的な課題の中で最も重要なのは、スマートコントラクト革命を推進してきたエンジンであるEVMが、Ethereumの将来発展の主要なボトルネックとなっているかどうかです。

Ethereum FoundationのJustin Drakeが述べているように、Ethereumの長期的な目標は常に「すべてをSnark化する」（Snarkify everything）ことであり、これはプロトコルの各レイヤーを強化できる強力なツールです。しかし長らく、この目標は「遥か遠い青写真」のようなものでした。なぜなら、それを実現するにはリアルタイム証明（real-time proving）の概念が必要だったからです。そして今、リアルタイム証明が現実になりつつある中、EVMの理論的な非効率性は、早急に解決すべき現実的な問題へと変わりました。

本稿では、Ethereum L1をRISC-V命令セットアーキテクチャ（ISA）へ移行する技術的・戦略的論点を深く分析します。この動きは、前例のないスケーラビリティを解放するだけでなく、プロトコル構造を簡素化し、Ethereumを検証可能な計算の未来と整合させるものです。

何が変わるのか？

「なぜ」の議論に入る前に、まず「何」が変わるのかを明確にする必要があります。

EVM（Ethereum Virtual Machine）はEthereumスマートコントラクトの実行環境であり、トランザクションを処理しブロックチェーンの状態を更新する「世界のコンピュータ」と呼ばれています。長年、その設計は革命的であり、分散型金融（DeFi）やNFTエコシステムの誕生の基礎を築きました。しかし、この約10年前のカスタムアーキテクチャは、今や大量の技術的負債を抱えています。

対照的に、RISC-Vは製品ではなく、オープンスタンダード——無料で汎用的なプロセッサ設計の「アルファベット」です。EthproofsカンファレンスでJeremy Bruestleが強調したように、その重要な原則がこの役割に最適な選択肢となっています：

· ミニマリズム：RISC-Vの基本命令セットは非常にシンプルで、約40～47命令しか含まれていません。Jeremyが述べたように、これにより「私たちが必要とする超ミニマルな汎用マシンのユースケースにほぼ完璧に適しています」。

· モジュラー設計：より複雑な機能はオプションの拡張によって追加されます。この特性は、コアをシンプルに保ちつつ、必要に応じて機能を拡張でき、不要な複雑性を基礎プロトコルに強制しないため、非常に重要です。

· オープンエコシステム：RISC-Vは巨大かつ成熟したツールチェーンのサポートを持ち、LLVMコンパイラを含みます。これにより開発者はRust、C++、Goなどの主流プログラミング言語を利用できます。Justin Drakeが述べたように：「コンパイラ周辺のツールは非常に豊富で、コンパイラの構築は極めて困難……したがって、これらのコンパイラツールチェーンを持つ価値は非常に高い。」RISC-VはEthereumがこれらの既存ツールを無料で継承できるようにします。

インタプリタのオーバーヘッド問題

EVMを置き換える推進力は、単一の欠陥ではなく、複数の根本的な制限が合流したものです。これらの問題は、ゼロ知識証明を中心とした未来において無視できないものとなっています。これらの制限には、ゼロ知識証明システムにおけるパフォーマンスのボトルネックや、プロトコル内部に蓄積された複雑性によるリスクが含まれます。

この転換の最も緊急な原動力は、ゼロ知識証明システムにおけるEVMの本質的な非効率性です。EthereumがZK証明によるL1状態検証モデルへと段階的に移行する中、プローバーのパフォーマンスが最大のボトルネックとなっています。

問題は、現在のzkEVMの動作方式にあります。これらはEVM自体に直接ゼロ知識証明を行うのではなく、EVMのインタプリタに対して証明を行い、そのインタプリタ自体がRISC-Vにコンパイルされています。Vitalik Buterinはこの核心的な問題を率直に指摘しています：

「……もしzkVMの実装方法が、EVMの実行を最終的にRISC-Vコードとなる内容にコンパイルすることなら、なぜ基礎となるRISC-Vをスマートコントラクト開発者に直接公開しないのか？そうすれば、外側のVM全体のオーバーヘッドを完全に免除できる。」

この追加のインタプリタ層は大きなパフォーマンス損失をもたらします。推定によれば、ネイティブプログラムの証明と比較して、この層は50～800倍のパフォーマンス低下を引き起こす可能性があります。他のボトルネック（例えばPoseidonハッシュアルゴリズムへの切り替えなど）を最適化した後でも、この「ブロック実行」部分が証明時間の80～90%を占め続け、EVMはL1拡張の最終的かつ最も厄介な障害となります。この層を取り除くことで、Vitalikは実行効率が100倍向上する可能性があると予測しています。

技術的負債の罠

EVMの特定の暗号操作におけるパフォーマンス不足を補うため、Ethereumはプリコンパイルコントラクト——プロトコルに直接ハードコードされた専用機能——を導入しました。このソリューションは当時は実用的でしたが、今ではVitalik Buterinが「ひどい」と呼ぶ状況を引き起こしています：

「プリコンパイルは私たちにとって壊滅的でした……それらはEthereumの信頼できるコードベースを大幅に膨張させ……そしてそれらは何度か私たちがほぼコンセンサス失敗に陥る深刻な問題を引き起こしました。」

この複雑さは驚くべきものです。Vitalikは例として、単一のプリコンパイルコントラクト（modexpなど）のラッピングコードが、RISC-Vインタプリタ全体よりも複雑であり、プリコンパイルのロジック自体はさらに煩雑であると述べています。新しいプリコンパイルコントラクトを追加するには、遅くて政治的に議論の多いハードフォークプロセスを経る必要があり、新しい暗号プリミティブを必要とするアプリケーションのイノベーションを大きく妨げています。これについて、Vitalikは明確な結論を出しています：

「私は、今日から新しいプリコンパイルコントラクトの追加をやめるべきだと思います。」

Ethereumのアーキテクチャ的技術負債

EVMのコア設計は過去時代の優先事項を反映していますが、現代の計算ニーズには適していません。EVMは暗号値を扱うために256ビットアーキテクチャを選択しましたが、スマートコントラクトで一般的に使われる32ビットや64ビット整数に対しては、このアーキテクチャは非常に非効率的です。この非効率性はZKシステムで特に高コストです。Vitalikが説明するように：

「より小さな数字を使う場合、各数字は実際にはリソースを節約せず、複雑さが2～4倍増加します。」

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

これらの問題——ZK証明のパフォーマンスボトルネック、プリコンパイルの複雑性、時代遅れのアーキテクチャ選択——は、EthereumがEVMを超え、未来に適した技術アーキテクチャを受け入れるべきであるという説得力のある緊急の理由を構成しています。

RISC-Vブループリント：より強固な基盤でEthereumの未来を再構築

RISC-Vの強みはEVMの欠点だけでなく、その設計哲学の内在的な強さにもあります。そのアーキテクチャは堅牢でシンプルかつ検証可能な基盤を提供し、Ethereumのような高リスク環境に非常に適しています。

なぜオープンスタンダードはカスタム設計より優れているのか？

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

成熟したエコシステム

RISC-Vを採用することで、Ethereumはコンピュータサイエンス分野の数十年にわたる集団的進歩を活用できます。Justin Drakeが説明するように、これはEthereumに世界クラスのツールを直接利用する機会を提供します：

「LLVMというインフラストラクチャコンポーネントがあり、これはコンパイラツールチェーンであり、高水準プログラミング言語を複数のバックエンドターゲットの1つにコンパイルできます。そのうちの1つがRISC-Vです。したがって、RISC-Vをサポートすれば、LLVMがサポートするすべての高水準言語を自動的にサポートできます。」

これにより開発のハードルが大幅に下がり、Rust、C++、Goなどの言語に精通した数百万人の開発者が簡単に参入できます。

ミニマリズムの設計哲学 RISC-Vのミニマリズムは意図的な特徴であり、制限ではありません。その基本命令セットは約47命令しか含まれておらず、VMのコアを極めてシンプルに保ちます。このシンプルさはセキュリティ面で顕著な利点があり、より小さな信頼できるコードベースは監査や形式的検証が容易です。

ゼロ知識証明分野の事実上の標準 さらに重要なのは、zkVMエコシステムがすでに選択を終えていることです。Justin Drakeが指摘するように、Ethproofsのデータから明確なトレンドが見て取れます：

「RISC-VはzkVMバックエンドのリーディングISAです。」

Ethereumブロックを証明できる10のzkVMのうち、すでに9つがRISC-Vをターゲットアーキテクチャとして選択しています。この市場の収束は強力なシグナルを発しています：EthereumがRISC-Vを採用することは投機的な試みではなく、すでに実証され、ゼロ知識の未来を構築するプロジェクトに認められた標準と整合するものです。

信頼のために生まれた、単なる実行ではない

広範なエコシステムに加え、RISC-Vの内部アーキテクチャも安全かつ検証可能なシステム構築に特に適しています。まず、RISC-Vは正式かつ機械可読な仕様——SAIL——を持っています。これはEVMの仕様（主に文章で記述されたYellow Paper）と比べて大きな進歩です。Yellow Paperには曖昧さが残りますが、SAIL仕様は「ゴールデンスタンダード」を提供し、重要な数学的正当性証明をサポートできます。これは価値の高いプロトコルを守る上で極めて重要です。Ethereum Foundation（EF）のAlex HicksがEthproofsカンファレンスで述べたように、これによりzkVM回路は「公式RISC-V仕様と直接検証」できます。次に、RISC-Vは特権アーキテクチャを含みます。これは見落とされがちですが、セキュリティにとって極めて重要な特徴です。これは異なる操作レベルを定義し、主にユーザーモード（信頼できないアプリケーション用、スマートコントラクトなど）とスーパーバイザーモード（信頼できる「実行カーネル」用）を含みます。CartesiのDiegoはこれについて詳しく説明しています：

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

RISC-Vのアーキテクチャでは、ユーザーモード（User Mode）で動作するスマートコントラクトはブロックチェーンの状態に直接アクセスできません。代わりに、特別なECALL（環境呼び出し）命令を通じて、スーパーバイザーモード（Supervisor Mode）で動作する信頼できるカーネルにリクエストを送る必要があります。このメカニズムはハードウェアによって強制されるセキュリティ境界を構築し、EVMが純粋にソフトウェアサンドボックスに依存するモデルよりも堅牢かつ検証しやすいものとなっています。

Vitalikのビジョン

この転換は、システムの安定性と後方互換性を確保するため、段階的かつ多段階のプロセスとして構想されています。Ethereum創設者のVitalik Buterinが述べているように、このアプローチは「革命的」な変革ではなく、「進化的」な発展を実現することを目的としています。

第一歩：プリコンパイルの代替

初期段階では最も保守的な方法を採用し、新しいVMの機能を限定的に導入します。Vitalik Buterinが提案したように：「新しいVMを限定的なシナリオで使い始めることができます。例えばプリコンパイル機能の代替として。」具体的には、EVMの新たなプリコンパイル機能の追加を停止し、代わりにホワイトリストで承認されたRISC-Vプログラムで必要な機能を実装します。この方法により、新しいVMはメインネット上で低リスクな環境で実戦テストでき、Ethereumクライアントが2つの実行環境間の仲介役を果たします。

第二歩：デュアルVM共存

次の段階では「新しいVMをユーザーに直接開放」します。スマートコントラクトはバイトコードがEVMかRISC-Vかをマークで示すことができます。重要な特徴はシームレスな相互運用性の実現です：「2種類のコントラクトが相互に呼び出せる。」この機能はシステムコール（ECALL）によって実現され、2つのVMが同じエコシステム内で協力できるようになります。

第三歩：EVMをシミュレーションコントラクトとして（「Rosetta」戦略）

最終目標はプロトコルのミニマル化です。この段階では、「EVMを新しいVM内の1つの実装として扱います。」規格化されたEVMは、ネイティブRISC-V L1上で動作する形式的に検証されたスマートコントラクトとなります。これにより旧バージョンアプリケーションの永続的なサポートを確保しつつ、クライアント開発者は単一の簡素化された実行エンジンのみを維持でき、複雑性と保守コストを大幅に削減できます。

エコシステムへの波及効果

EVMからRISC-Vへの移行は、コアプロトコルの変革にとどまらず、Ethereumエコシステム全体に深い影響を与えます。この転換は開発者体験を再構築するだけでなく、Layer-2ソリューションの競争環境を根本的に変え、新たな経済的検証モデルを解放します。

Rollupの再定義：OptimisticとZKの対決

L1層でRISC-V実行層を採用することは、2つの主要なRollupタイプに全く異なる影響を与えます。

Optimistic Rollup（Arbitrum、Optimismなど）はアーキテクチャ上の課題に直面します。彼らのセキュリティモデルは、L1 EVMで論争のあるトランザクションを再実行して詐欺証明を解決することに依存しています。もしL1のEVMが置き換えられれば、このモデルは完全に崩壊します。これらのプロジェクトは困難な選択に直面します：新しいL1 VM向けの詐欺証明システムを設計するための大規模なエンジニアリング改造を行うか、Ethereumのセキュリティモデルから完全に離脱するかです。

対照的に、ZK Rollupは大きな戦略的優位性を得ます。大多数のZK RollupはすでにRISC-Vを内部ISAとして採用しています。「同じ言語を話す」L1は、より緊密かつ効率的な統合を実現します。Justin Drakeは「ネイティブRollup」の未来ビジョンを提示しています：L2は実際にL1自身の実行環境の専門化インスタンスとなり、L1の内蔵VMを利用してシームレスな決済を実現します。この整合によって以下の変化がもたらされます：

· 技術スタックの簡素化：L2チームは内部のRISC-V実行環境とEVM間の複雑なブリッジ機構を構築する必要がなくなります。

· ツールとコードの再利用：L1 RISC-V環境向けに開発されたコンパイラ、デバッガ、形式的検証ツールはL2でも直接利用でき、開発コストを大幅に削減します。

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

開発者とユーザーの新時代

Ethereum開発者にとって、この転換は破壊的ではなく、漸進的なものとなります。

開発者は、より広範かつ成熟したソフトウェア開発エコシステムにアクセスできるようになります。Vitalik Buterinが指摘するように、開発者は「Rustでコントラクトを書けるようになり、これらの選択肢が共存できる」と述べています。同時に、「SolidityやVyperはスマートコントラクトロジックの優雅な設計により長期的に人気を保つ」と予測しています。LLVMツールチェーンを通じて主流プログラミング言語とその巨大なライブラリ資源を利用できるこの変化は革命的です。Vitalikはこれを「NodeJS的体験」に例え、開発者が同じ言語でオンチェーンとオフチェーンのコードを書けるようになり、開発が一体化すると述べています。

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

Succinct LabsとSP1：今、証明の未来を構築する

Ethereumは今まさに準備を整えています。「L1を拡張し、ブロックを拡張する」ことはEFプロトコルクラスター内の戦略的な緊急課題です。今後6～12ヶ月で顕著なパフォーマンス向上が期待されています。

Succinct Labsのようなチームは、RISC-Vの理論的優位性を実践で示しており、彼らの取り組みはこの提案を検証する強力な事例となっています。

Succinct Labsが開発したSP1は、RISC-Vベースの高性能かつオープンソースのzkVMであり、新しいアーキテクチャ手法の実現可能性を証明しました。SP1は「プリコンパイル中心主義」（precompile-centric）の哲学を採用し、EVMの暗号的ボトルネック問題を完璧に解決しています。従来の遅くてハードコードされたプリコンパイル方式に依存するのではなく、SP1はKeccakハッシュなどの集中的な操作を、専用設計かつ手動最適化されたZK回路にオフロードし、標準のECALL命令で呼び出します。この方法はカスタムハードウェアのパフォーマンスとソフトウェアの柔軟性を組み合わせ、開発者により効率的かつスケーラブルなソリューションを提供します。

Succinct Labsの実際の影響はすでに現れています。彼らのOP Succinct製品はSP1を活用し、Optimistic Rollupsにゼロ知識証明能力（ZK-ify）を付与しています。Succinct共同創設者Uma Royが説明するように：

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

このブレークスルーはOP Stackエコシステム全体の重要な課題を解決しました。さらに、Succinctのインフラ——Succinct Prover Network——は分散型証明生成マーケットとして設計されており、将来の検証可能な計算の実現可能な経済モデルを示しています。彼らの取り組みは概念実証にとどまらず、この記事で述べたような実現可能な未来のブループリントとなっています。

Ethereumはどのようにリスクを低減するか

RISC-Vの大きな利点は、形式的検証の聖杯——数学的にシステムの正当性を証明すること——を実現可能な目標にすることです。EVMの仕様はYellow Paperに自然言語で記述されており、形式化が困難です。一方、RISC-Vは公式かつ機械可読なSAIL仕様を持ち、その挙動に明確な「ゴールデンリファレンス」を提供します。

これはより強力なセキュリティへの道を開きます。Ethereum FoundationのAlex Hicksが指摘するように、現在「zkVM RISC-V回路を公式RISC-V仕様からLeanに抽出して形式的検証する」作業が進行中です。これは画期的な進展であり、信頼をエラーが発生しやすい人間の実装から検証可能な数学的証明へと移行させ、ブロックチェーンのセキュリティに新たな高みをもたらします。

転換の主なリスク

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

Gas計測問題

汎用ISA向けに決定的かつ公正なGasモデルを作成することは、未解決の難題です。単純な命令カウント方式はサービス拒否攻撃の脅威にさらされやすいです。例えば、攻撃者はプログラムを設計してキャッシュミスを繰り返し発生させ、極めて低いGas料金で高いリソース消費を引き起こすことができます。このような問題はネットワークの安定性と経済モデルに重大な課題をもたらします。

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

これは転換プロセスで最も重要かつ過小評価されがちなリスクです。セキュリティモデルはオンチェーンVMへの依存からオフチェーンコンパイラ（LLVMなど）への依存に移行しますが、これらのコンパイラは非常に複雑で既知の脆弱性を含んでいます。攻撃者はコンパイラの脆弱性を利用して、一見無害なソースコードを悪意のあるバイトコードに変換する可能性があります。また、オンチェーンのコンパイル済みバイナリが公開ソースコードと完全に一致すること、すなわち「再現可能なビルド」問題も極めて困難です。ビルド環境の微細な違いが異なるバイナリ生成につながり、透明性と信頼性に影響します。これらの問題は開発者とユーザーのセキュリティに重大な課題をもたらします。

緩和策

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

段階的な導入

段階的かつ多段階の移行計画を採用することがリスク対応の核心戦略です。まずRISC-Vをプリコンパイルの代替として導入し、次にデュアルVM環境で運用することで、コミュニティは低リスクな環境で運用経験を積み、信頼を構築し、不可逆的な変更を回避できます。この漸進的な方法が技術転換の安定した基盤を提供します。

包括的な監査：ファジングと形式的検証

形式的検証は最終目標ですが、継続的かつ高強度のテストと組み合わせる必要があります。Diligence SecurityのValentineがEthproofs電話会議で示したように、彼らのArgusファジングツールはリーディングzkVMで11件の重要な健全性・完全性の脆弱性を発見しました。これは、最も設計が優れたシステムでも、厳格な対抗的テストでしか発見できない脆弱性が存在することを示しています。ファジングと形式的検証の組み合わせがシステムセキュリティにより強力な保証をもたらします。

標準化

エコシステムの断片化を避けるため、コミュニティは単一かつ標準化されたRISC-V構成を統一して採用する必要があります。おそらくRV64GCとLinux互換ABIの組み合わせが最有力であり、主流プログラミング言語やツールで最も広くサポートされているため、新エコシステムの利点を最大化できます。標準化は開発者の効率向上だけでなく、エコシステムの長期的発展の基盤となります。

Ethereumの検証可能な未来

RISC-VでEthereum Virtual Machine（EVM）を置き換える提案は、単なる漸進的なアップグレードではなく、Ethereum実行層の根本的な再構築です。この野心的なビジョンは、深層的なスケーラビリティのボトルネックを解決し、プロトコルの複雑性を簡素化し、プラットフォームを汎用計算分野のより広範なエコシステムと整合させることを目的としています。この転換は巨大な技術的・社会的課題に直面していますが、その長期的な戦略的利益はこの大胆な取り組みに正当性を与えます。

この転換は一連のコアなトレードオフに焦点を当てています：

· ZKネイティブアーキテクチャによる大幅なパフォーマンス向上と後方互換性への切実なニーズのバランス；

· プロトコル簡素化によるセキュリティ向上とEVMの巨大なネットワーク効果の慣性とのトレードオフ；

· 汎用エコシステムの強大な能力と、複雑なサードパーティツールチェーンへの依存リスクの選択。

最終的に、このアーキテクチャ転換は「Lean Execution」実現の鍵であり、「Lean Ethereum」ビジョンの重要な構成要素です。EthereumのL1を単なるスマートコントラクトプラットフォームから、効率的かつ安全な決済・データ可用性レイヤーへと変革し、検証可能な計算の広大な宇宙を支えるために設計されています。

Vitalik Buterinが言うように、「終点は……すべてにZK-snarkを提供すること」です。

Ethproofsのようなプロジェクトはこの転換に客観的なデータと協力プラットフォームを提供し、Succinct LabsチームはSP1 zkVMの実際の応用を通じて、この未来に実行可能なブループリントを示しています。RISC-Vを受け入れることで、Ethereumは自身のスケーラビリティのボトルネックを解決するだけでなく、次世代インターネットの基礎信頼レイヤーとして自らを位置づけます——ハッシュと署名に続く第3の暗号プリミティブSNARKによって駆動されます。

世界のソフトウェアを証明し、暗号の新時代を切り開く。

詳細はこちら：