RISC-V へ移行：Ethereum の証明の未来を再考する中で

Lineaは、新しいRISC-Vに基づく証明アーキテクチャに移行すると発表し、Ethereumレイヤー2プロジェクトが技術スタックをスケール、検証、進化させる方法において大きな転換を示しています。何年にもわたり、Lineaの暗号チームは、Ethereum仮想マシン（EVM）を直接算術化するという厳しい道を選び、各オペコードを証明者が検証できる数学的制約に手動で翻訳する作業を行ってきました。

そのアプローチは、プロジェクトがメインネットに到達するのを助け、1,000ページ以上の仕様を生成し、より広いエコシステムの参照点となりました。また、チームにとっては、少数のプロジェクトが匹敵できないEVM内部の深く実践的な理解を得ることができました。しかし、Lineaによれば、これまでの設計は、同時に負担にもなっていました。

Ethereumのハードフォークごとに制約モジュールの書き直しが必要でした。定期的なアップグレードは、エラーを引き起こさずに変更するのが困難な密接に結合されたコンポーネントによって遅れました。新しいアイデアやパフォーマンス向上に時間を費やす代わりに、研究チームはしばしば複雑さの管理に縛られていました。Lineaの見解では、そのモデルはもはや最善の進む道ではありませんでした。

同社は現在、RISC-Vが証明レイヤーを構築するためのよりクリーンで高速な方法を提供すると述べています。EVMのより複雑で動的な状態モデルと比較して、RISC-Vは32のレジスタと約40の命令を持つはるかにシンプルな命令セットです。証明システムにとって、Lineaはその違いがすぐに重要であると主張しています。

トレースは狭くなり、リアルタイムで生成でき、証明者は証明チャンクに早く取り組むことができます。実際のところ、このアーキテクチャは軽量で、処理が容易で、スケールで効率的に機能するように設計されています。RISC-Vはまた、Lineaが直接的なEVMの算術化を通じて解決するのが難しかった互換性のギャップを埋めます。

今日、LineaはKeccakではなくPoseidonを使用し、独自の状態表現を維持しています。古い方法でType-1 Ethereum互換性を達成するには、Keccak、RLP、およびMerkle Patricia Trieを制約システムに手動で組み込む必要がありました。RISC-Vを使用することで、Lineaは標準のEVMクライアントをRISC-Vバイナリにコンパイルできると述べており、コンパイラがそれらの詳細を処理し、最初からType-1互換性を可能にしています。

この移行は、LineaがEthereum自身の方向性を読み取っていることを反映しています。プロジェクトは、Ethereum FoundationのRISC-Vへのコミットメントが、将来のEthereumの証明レイヤーがどのように見えるかについての最も明確なサインであり、どのシステムが確立されたロールアップモデルに最も適合する可能性が高いかを示していると述べています。以前の道を進み続けることは、LineaをL1のロードマップから遠ざけることになり、それを行う準備はできていなかったと主張しています。

戦略的な証明のシフト

Lineaは、タイミングが適切であると述べており、最も困難な作業の多くはすでに完了していると言います。チームは生産システムを出荷し、ターゲット命令セットを理解し、構築する環境のセキュリティとアーキテクチャの要求を把握しています。広範なエコシステムが同じ基盤に向かって進んでいる中で、Lineaは自らの証明経験が今や迅速に移行し、より大きな整合性を持って構築する機会に直接結びつくと信じています。

重要なのは、プロジェクトはこのシフトがすでに作成したものを捨てるものではないと述べています。制約ネイティブ言語であるzkCは、RISC-V仮想マシンを書くために使用されます。証明および集約レイヤーであるVortexとArcaneはアーキテクチャ非依存であると説明されており、これにより新しい設計の下でもスタックを引き続きサポートできます。Lineaはまた、最初から形式的検証の互換性を構築しており、Leanなどのツールにエクスポート可能な制約が設計されています。

同社は、新しいスタックが全体的によりモジュラーになると述べており、各レイヤーが独立してベンチマーク、監査、または交換できるようになります。これは、証明者の最適化が基盤の算術化に強制的な変更を強いることなく行われ、ハッシュ化や他のコンポーネントの改善が連鎖的な書き直しを引き起こすことなく導入できることを意味します。Lineaは、これをこれまで使用してきた密接に結合されたシステムからの大きな進歩としています。

プロジェクトはまた、より広範な技術的コントロールを強調しています。Lineaは、Ethereumエコシステム内で最も経験豊富な証明チームの一つであり、実行クライアントやコンセンサスレイヤーからZK証明者、ゲートウェイに至るまでフルスタックを所有する数少ないプロジェクトの一つであると述べています。重要な第三者依存関係がないため、チームはEthereumの証明の風景が変化する際に迅速に適応できる良い位置にあると語っています。

Lineaのメッセージは明確です：プロジェクトはRISC-Vが単なるパフォーマンスのアップグレードではなく、Ethereumスケーリングの次の段階に向けたよりオープンで持続可能な基盤であると信じています。新しいアーキテクチャはメンテナンスが容易で、監査が容易であり、より広範なコミュニティが理解し貢献するのが容易であると主張しています。

同社は、この移行が速度だけの問題ではないと述べています。特定のチームを超えて生き続けるスタックを構築することが重要です。さらなる詳細は近日中に発表される予定ですが、現時点でLineaは次の章が複雑さではなく、モジュール性、互換性、Ethereumの長期的な方向性との整合性によって定義されることを示唆しています。