Linea がイーサリアム証明の将来を再考し、RISC-V に移行

Linea は、RISC-V を中心に構築された新しい証明アーキテクチャに移行しており、イーサリアムレイヤ 2 プロジェクトがその技術スタックを拡張、検証、進化させる計画の方法に大きな変化をもたらしていると述べました。 Linea の暗号化チームは何年にもわたって、各オペコードを証明者が検証できる数学的制約に手動で変換することにより、イーサリアム仮想マシン (EVM) を直接演算するという困難な道を歩んできました。

このアプローチは、プロジェクトがメインネットに到達するのに役立ち、より広範なエコシステムの参照点となる 1,000 ページを超える仕様を作成しました。また、これによりチームは、ほとんどのプロジェクトでは達成できない EVM の内部構造についての深く実践的な理解を得ることができました。しかし、Linea 氏によると、ここまで進化させた同じ設計が負担にもなったそうです。

すべてのイーサリアムハードフォークには制約モジュールの書き換えが必要でした。定期的なアップグレードは、コンポーネントが密接に接続されており、エラーを発生させずに変更するのが難しいため、速度が低下していました。研究チームは、新しいアイデアやパフォーマンスの向上に時間を費やす代わりに、複雑さの管理に追われることがよくありました。 Linea の見解では、そのモデルはもはや今後の最善の道ではありませんでした。

同社は現在、RISC-Vが証明層を構築するためのよりクリーンで高速な方法を提供すると述べている。 EVM のより複雑で動的な状態モデルと比較すると、RISC-V は 32 個のレジスタと約 40 個の命令を備えた非常に単純な命令セットです。証明システムの場合、差異は直ちに重要であるとリネア氏は主張します。

トレースはより狭くなり、リアルタイムで生成できるため、証明者はより早く証明チャンクの作業を開始できるようになります。実際には、このアーキテクチャは、大規模な運用においてより軽量で、処理が容易で、より効率的になるように設計されています。 RISC-V はまた、直接 EVM 演算では解決が困難であったと Linea 氏が述べている互換性のギャップも埋めます。

現在、リネアはケチャックではなくポセイドンを使用し、独自の国家表現を維持しています。従来の方法で Type-1 Ethereum との互換性を実現するには、Kecchak、RLP、および Merkle Patricia Trie を制約システムに手動で構築する必要がありました。 Linea 氏によると、RISC-V を使用すると、標準の EVM クライアントを RISC-V バイナリにコンパイルできるため、コンパイラに詳細の処理を任せ、最初から Type-1 との互換性を実現できるとのことです。

この動きは、イーサリアム自身の方向性に対するリネアの読みも反映している。同プロジェクトによると、イーサリアム財団のRISC-Vへの取り組みは、イーサリアムの実証層が将来どのようになるのか、そしてどのシステムが組み込まれたロールアップモデルに適合する可能性が最も高いのかを示す、これまでで最も明確な兆候であるという。リネア氏は、以前のやり方を続けていれば、L1ロードマップから遠ざけてしまうだろうし、それを行う準備ができていなかった、と主張している。

戦略的証明の転換

リネア氏は、最も困難な作業の多くはすでに完了しているため、タイミングは正しいと述べています。チームは実稼働システムを出荷し、ターゲットの命令セットを理解し、構築対象の環境のセキュリティとアーキテクチャの要件を理解しています。より広範なエコシステムが同じ基盤に向けて移行する中、Linea は、長年にわたる実証経験が、より迅速に移行し、より連携して構築する機会に直接つながると信じています。

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

同社によれば、新しいスタックは全体的によりモジュール化されており、各レイヤーを個別にベンチマーク、監査、または置き換えることが可能になるという。つまり、基盤となる算術化に強制的な変更を加えることなく証明者の最適化を行うことができ、カスケード書き換えを引き起こすことなくハッシュやその他のコンポーネントの改善を導入できるということです。 Linea は、これまで使用してきた密結合システムからの大きなステップアップとしてこれを提示します。

このプロジェクトは、より広範な技術管理にも重点を置いています。 Linea は、イーサリアムエコシステムで最も経験豊富な証明チームの 1 つを擁し、実行クライアントとコンセンサス層から ZK 証明者とゲートウェイに至るまで、フルスタックを所有する数少ないプロジェクトの 1 つであると述べています。サードパーティへの重要な依存関係がないため、チームはイーサリアムの証明環境の変化に迅速に適応できる有利な立場にあると述べている。

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

同社は、この動きはスピード以上のものを重視していると述べている。それは、単一のチームを超えて存続できるスタックを構築することです。詳細は間もなく発表される予定だが、今のところ、Lineaは次の章が複雑さではなく、モジュール性、互換性、イーサリアムの長期的な方向性との整合性によって定義されることを示唆している。