EIP-2537:BLS12-381のプレアセンブリ命令の長い旅

EIP-2537はPectraのフォークアップグレードで新たに追加されたEVMのプレアセンブリ命令であり、EVMにBLS12-381曲線のさまざまな計算機能、例えば曲線領域上のペアリング計算などを追加しました。この提案は2020年に提出され、2025年にようやくイーサリアムのアップグレードに組み込まれることが確認され、5年の歳月がかかりました。本稿ではEIP-2537のガバナンスの経緯を振り返り、なぜこれほど長いプロセスを経たのか探求します。

! イーサリアムガバナンスウォッチ:EIP-2537プレアッセンブルジャーニー

提案の背景

2017年、Vitalik Buterinは初めてペアリングアルゴリズムとalt_bn128曲線を紹介しました。その後、EIP-196およびEIP-197提案がEVMにalt_bn128曲線計算サポートを追加し、Byzantiumアップグレードで正式に組み込まれました。これにより、ZK-Snarks証明の検証がEVM内で完了できるようになりました。

2017年11月、zcashチームはセキュリティとパフォーマンスに優れたBLS12-381曲線を提案しました。2018年、Justin DrakeはEthereumの将来のPoSとシャーディングアップグレードにおいてBLS12-381ベースのBLSマルチシグアルゴリズムを使用することを提案しました。ETH2は最終的にBLS12-381曲線を採用しました。

2020年2月、研究者たちはEIP-2537を提案し、ETH2で使用されるBLS12-381を実行層に導入することを望みました。Matter Labsの共同創設者であるAlex Stokesは、BerlinハードフォークにEIP-2537を組み込むよう呼びかけました。

! イーサリアムガバナンスウォッチ:EIP-2537コンパイル前の旅

ベルリンのアップグレードの波乱

EIP-2537は、Matter Labsが2019年に提案したEIP-1962の簡略版です。EIP-1962は複数の曲線をサポートしていますが、あまりにも複雑であると考えられています。この問題を解決するために、Matter Labsは2020年2月にいくつかの簡略化されたEIPを提案し、その中でEIP-2537はBLS12-381のサポートを提供します。

EIP-2537は最初にBerlinアップグレードの重要な構成要素と見なされ、コンセンサス層のBLS署名検証を実現することを目的としています。開発者は、ユーザーの資金損失リスクを回避するために、EIP-2537を使用して預金契約内で署名検証を行うことを希望しています。

しかし、EIP-2537の実装は多くの課題に直面しています。Gethチームは、予定された時間内に開発を完了することが難しいと述べています。同時に、EIP-2537を使用しない預金契約は監査を通過しており、EIP-2537の緊急性が低下しています。

開発の難易度が増すにつれて、EIP-2537はベルリンアップグレードにおける優先順位を徐々に失いました。最終的に2020年10月、過剰な開発リソースを消費したため、EIP-2537はベルリンアップグレード計画から除外されました。

! イーサリアムガバナンスウォッチ:EIP-2537プレアッセンブリージャーニー

フォローアップ開発

ベルリンのアップグレード後、EIP-2537はロンドンのアップグレードに組み込まれることが検討されましたが、実装の複雑さから再び棚上げされました。その後の上海やカンクンのアップグレードでも、EIP-2537は成功裏に組み込まれることがありませんでした。

2024年2月まで、開発者はPectraのアップグレードにEIP-2537を追加することについて再度議論しました。この時点でEIP-2537の実装は問題ではなく、一部のガス消費の価格設定の問題のみが残っていました。2025年1月、開発者会議は最終的にEIP-2537の価格モデルの問題を解決しました。

! イーサリアムガバナンスウォッチ:EIP-2537コンパイル前の旅

まとめ

EIP-2537は2020年に提案され、2025年に受け入れられるまでの5年間を要しました。その運命はイーサリアム全体の発展過程に影響を受けます。重要な時期、例えばPoS移行期には、複雑な純実行レイヤーEIPが十分な注目を集めることが難しいです。EIPがアップグレードに組み込まれるかどうかは、その自体の価値だけでなく、全体のエコシステムの発展方向を考慮する必要があります。