イーサリアム財団、セキュリティ監査の結果、ペクトラシステム契約に関するすべての問題が解決されたと発表

イーサリアムブロックチェーンの開発を支援する非営利団体。 エテリアム財団 Pectra システム契約に関して実施された外部セキュリティ監査の結果を発表しました。このレビューでは重要な問題が特定されましたが、それらはすべて対処済みです。

Pectra システム コントラクトには、EIP-2935、EIP-7002、EIP-7251 という複数の Ethereum 改善提案 (EIP) が含まれています。レビューの主な目的は、潜在的なセキュリティ リスクについてコントラクトを評価し、そのロジックがそれぞれの EIP 仕様で概説されている機能を正確に実装していることを確認することでした。

複数フェーズの監査プロセスが採用され、各レビューは以前のレビューの調査結果に基づいて構築されました。これには、EIP 2935、7002、7251 をカバーする Blackthorn、Dedaub、Sigma Prime の監査と PlainShift 監査が含まれます。各監査ラウンドの後、次のフェーズに進む前にコードの改善が行われました。

さらに、ベンチャーキャピタル企業 a16z は、契約機能の正確性を正式に検証するツールである Halmos を使用して正式な検証を実施しました。このプロセスでは、仕様自体のセキュリティを評価するのではなく、バイトコードが契約仕様に準拠していることを確認することに重点が置かれました。このアプローチにより、監査人やコミュニティは、バイトコード実装の低レベルの詳細を気にすることなく、契約の仕様をレビューできます。

Pectra が Holesky で稼働開始、Sepolia テストネットは 5 月 XNUMX 日に開始予定

イーサリアムネットワークの今後のアップグレードであるPectraは、実行クライアント側のアップデートに対応する「Prague」と、コンセンサスレイヤークライアント側の改善に重点を置いた「Electra」の2つのコンポーネントの組み合わせです。このアップグレードは、前年のDencunアップグレードに続くものです。

この ペクトラ このアップグレードでは、Ethereum のスケーラビリティ、セキュリティ、およびユーザビリティの向上を目的としたさまざまな変更が導入されています。これには、暗号通貨ウォレットとアカウント抽象化におけるユーザー エクスペリエンスの向上 (EIP-7702)、バリデーターの最大ステーク制限を 32 から 2,048 ETH に増加 (EIP-7251)、およびロールアップのスケーラビリティを向上させるために最大 BLOB 数を 7691 倍にする (EIP-XNUMX) などの改善が含まれます。

このアップグレードは今週初めにHoleskyテストネットワークで有効化されました。しかし、実行層（EL）の脆弱性によりチェーンが分割され、少数のチェーンしか有効にならない状況が発生し、ネットワーク全体の健全性が低下しました。 次の段階 Pectra の最大の目玉は、5 月 XNUMX 日に予定されている Sepolia テストネットでの有効化です。 

両方のテストネットが成功した場合、イーサリアムチームはメインネットのアクティベーション日の選択を進めます。アクティベーション日は4月になると予想されています。