**TLDR:**---------目次切り替え* TLDR:* よりシンプルな命令セットがすべてを変える* 新しいスタックへ引き継がれるもの* LineaのRISC-Vへの移行により、EVMのフルなオペコードセットから命令の複雑さが約40命令まで削減されます。* これまでのすべてのEthereumハードフォークでは、旧システムの下でLineaのZK制約モジュールを完全に書き換えることが強いられていました。* RISC-Vにより、標準的なコンパイラ・ツールチェーンを通じてType-1 Ethereum互換性が自動的に実現され、制約作業が手作業から置き換えられます。* Lineaは新しいスタックでもzkC、Vortex、Arcaneを保持し、暗号研究と実運用の経験を何年もかけて積み上げたものを引き継ぎます。* * *ConsenSysによって開発されたEthereum Layer 2ネットワークのLineaは、直接EVMの算術化からRISC-Vベースの証明アーキテクチャへ移行しています。 チームは、実運用で最も厳格なZK証明システムの1つを構築するために3年間を費やしました。その取り組みにより、エコシステムの参照となった1,000ページの仕様が生み出されました。 しかし、そのアプローチは、進捗を鈍らせた保守上の課題も生みました。RISC-Vへの移行は、パフォーマンス、モジュール性、そしてEthereumとの整合性に焦点を当てた戦略的なリセットです。**よりシンプルな命令セットがすべてを変える**------------------------------------------------EVMは、複雑で動的な状態モデルを備えており、それを数学的制約へ変換するのは困難です。対照的にRISC-Vは、約40命令と32個のレジスタを提供します。 このシンプルさによりトレースはより狭くなり、プローバーは証明チャンクにすぐ取りかかれます。パフォーマンスの向上は漸進的なものではなく、構造的なものです。これまでのすべてのEthereumハードフォークでは、Lineaの制約モジュールを完全に書き換える必要がありました。その保守負担は、重要な研究リソースを消費しました。 チームは暗号のパフォーマンスを前進させるのではなく、複雑さを管理していました。RISC-Vへの切り替えにより、そのサイクルはまるごと取り除かれます。Type-1 Ethereum互換性も、旧アーキテクチャの下でのもう1つの大きな障害でした。これを達成するには、Keccak、RLP、そしてMerkle Patricia Trieを制約の中で手作業で実装する必要がありました。 RISC-Vでは、標準的なEVMクライアントがRISC-Vバイナリへ直接コンパイルされ、コンパイラが互換性を自動的に処理します。Lineaの暗号研究者Alexandre Bellingは、eth_proofsカンファレンスでこの移行を発表しました。LineaがXに投稿したところによれば、チームは「真のモジュール性」へ向かっており、各レイヤーを独立してベンチマーク、監査、または置き換え可能にする方針です。これは、以前に使われていた密結合のシステムでは実現できませんでした。> 私たちの暗号研究者 @alexand_belling は昨日、@eth_proofs で Linea が RISC-V に移行することを明らかにしました。> > EVMを直接算術化して3年、1000ページ超の仕様を作り、実運用で最も厳格な証明システムの1つを生み出した後、方針を変えます。> > こちらは… pic.twitter.com/jXIF5mZaPT> > — Linea.eth (@LineaBuild) 2026年3月29日Ethereum Foundationも、証明レイヤーのロードマップの一部としてRISC-Vへのコミットを行っています。Lineaは、これを決定要因として挙げました。以前の道を継続していれば、Ethereumの長期的な技術的方向性から逸れることになっていたはずです。**新しいスタックへ引き継がれるもの**-------------------------------------------Lineaは何年もの作業を捨てるわけではありません。チームの制約ネイティブ言語であるzkCは、RISC-V仮想マシンを書くために使われます。証明と集約を扱うVortexとArcaneは、アーキテクチャに依存せず、直接移植できます。形式検証は、新しいシステムへ最初から組み込まれています。制約は、Leanのようなツールへのエクスポートを想定して設計されています。このアプローチにより、スタックは従来よりもはるかに幅広いオーディエンスに対して監査可能になります。Lineaは、インフラ全体にわたるフルスタックのオーナーシップも維持しています。これには、Besu実行クライアント、Maruコンセンサスレイヤー、ZKプローバー、そしてゲートウェイが含まれます。重要な第三者依存関係は、アーキテクチャ内に存在しません。LineaがXでのフォローアップ投稿で述べたとおり、直接EVMの算術化は「深い暗号の専門知識なしでは監査が難しい」ものでした。 RISC-Vは広く教えられており、よくドキュメント化されていて、成長中の開発者エコシステムによってサポートされています。移行によって、証明スタックはLineaの社内チームを超えて利用可能になります。この移行は、より広いEthereumエコシステムがいま収束しつつある領域で、Lineaを早期の先行者として位置付けます。 長年の実運用における証明経験が、よりシンプルで高速なアーキテクチャに今適用されます。チームは、今後数週間のうちにさらに技術的な詳細が続くことを示しています。 ここに広告を出す
ラインは直接EVMの算術化を終了し、Ethereumの証明ロードマップに合わせてRISC-Vに移行する。
TLDR:
目次
切り替え
TLDR:
よりシンプルな命令セットがすべてを変える
新しいスタックへ引き継がれるもの
LineaのRISC-Vへの移行により、EVMのフルなオペコードセットから命令の複雑さが約40命令まで削減されます。
これまでのすべてのEthereumハードフォークでは、旧システムの下でLineaのZK制約モジュールを完全に書き換えることが強いられていました。
RISC-Vにより、標準的なコンパイラ・ツールチェーンを通じてType-1 Ethereum互換性が自動的に実現され、制約作業が手作業から置き換えられます。
Lineaは新しいスタックでもzkC、Vortex、Arcaneを保持し、暗号研究と実運用の経験を何年もかけて積み上げたものを引き継ぎます。
ConsenSysによって開発されたEthereum Layer 2ネットワークのLineaは、直接EVMの算術化からRISC-Vベースの証明アーキテクチャへ移行しています。
チームは、実運用で最も厳格なZK証明システムの1つを構築するために3年間を費やしました。その取り組みにより、エコシステムの参照となった1,000ページの仕様が生み出されました。
しかし、そのアプローチは、進捗を鈍らせた保守上の課題も生みました。RISC-Vへの移行は、パフォーマンス、モジュール性、そしてEthereumとの整合性に焦点を当てた戦略的なリセットです。
よりシンプルな命令セットがすべてを変える
EVMは、複雑で動的な状態モデルを備えており、それを数学的制約へ変換するのは困難です。対照的にRISC-Vは、約40命令と32個のレジスタを提供します。
このシンプルさによりトレースはより狭くなり、プローバーは証明チャンクにすぐ取りかかれます。パフォーマンスの向上は漸進的なものではなく、構造的なものです。
これまでのすべてのEthereumハードフォークでは、Lineaの制約モジュールを完全に書き換える必要がありました。その保守負担は、重要な研究リソースを消費しました。
チームは暗号のパフォーマンスを前進させるのではなく、複雑さを管理していました。RISC-Vへの切り替えにより、そのサイクルはまるごと取り除かれます。
Type-1 Ethereum互換性も、旧アーキテクチャの下でのもう1つの大きな障害でした。これを達成するには、Keccak、RLP、そしてMerkle Patricia Trieを制約の中で手作業で実装する必要がありました。
RISC-Vでは、標準的なEVMクライアントがRISC-Vバイナリへ直接コンパイルされ、コンパイラが互換性を自動的に処理します。
Lineaの暗号研究者Alexandre Bellingは、eth_proofsカンファレンスでこの移行を発表しました。LineaがXに投稿したところによれば、チームは「真のモジュール性」へ向かっており、各レイヤーを独立してベンチマーク、監査、または置き換え可能にする方針です。これは、以前に使われていた密結合のシステムでは実現できませんでした。
Ethereum Foundationも、証明レイヤーのロードマップの一部としてRISC-Vへのコミットを行っています。Lineaは、これを決定要因として挙げました。以前の道を継続していれば、Ethereumの長期的な技術的方向性から逸れることになっていたはずです。
新しいスタックへ引き継がれるもの
Lineaは何年もの作業を捨てるわけではありません。チームの制約ネイティブ言語であるzkCは、RISC-V仮想マシンを書くために使われます。証明と集約を扱うVortexとArcaneは、アーキテクチャに依存せず、直接移植できます。
形式検証は、新しいシステムへ最初から組み込まれています。制約は、Leanのようなツールへのエクスポートを想定して設計されています。このアプローチにより、スタックは従来よりもはるかに幅広いオーディエンスに対して監査可能になります。
Lineaは、インフラ全体にわたるフルスタックのオーナーシップも維持しています。これには、Besu実行クライアント、Maruコンセンサスレイヤー、ZKプローバー、そしてゲートウェイが含まれます。重要な第三者依存関係は、アーキテクチャ内に存在しません。
LineaがXでのフォローアップ投稿で述べたとおり、直接EVMの算術化は「深い暗号の専門知識なしでは監査が難しい」ものでした。
RISC-Vは広く教えられており、よくドキュメント化されていて、成長中の開発者エコシステムによってサポートされています。移行によって、証明スタックはLineaの社内チームを超えて利用可能になります。
この移行は、より広いEthereumエコシステムがいま収束しつつある領域で、Lineaを早期の先行者として位置付けます。
長年の実運用における証明経験が、よりシンプルで高速なアーキテクチャに今適用されます。チームは、今後数週間のうちにさらに技術的な詳細が続くことを示しています。
ここに広告を出す