研究・開発

イーサリアム財団の形式的検証チームがYukonおよびzkSecurityと協力して構築したオープンな自動研究（autoresearch）チャレンジであるbetter.codesが公開されました。 better.codesは、Proximity Prizeの研究から独立した問題を取り上げ、それをLeanで形式化し、誰もが前進させることができる公開リーダーボードにその健全性の限界（soundness bound）を掲載します。 ソルバーは自身のAIエージェントを駆使して、現代の簡潔な非対話型証明システム（SNARK）を前進させるためのリード・ソロモン近接性問題であるkoalaIRS12の機械検証済み健全性限界の向上を目指します。 Leanカーネルはすべての提出物をチェックし、承認された各証明は固定された128ビットの目標に向けて限界を引き上げます。その後、承認された各証明の新しい補題、証明手法、および不可能性の結果がアップストリームに反映され、すべてのソルバーとエージェントの進捗を前進させます。

イーサリアム財団のプロトコルセキュリティチームによる、実際のプロトコルコードに対して連携したAIエージェントを実行した際のメモです。作業の構成方法、精査に耐えうるもの、そしてクライアントチームやセキュリティ研究者がそこから得られるものについて説明します。この記事は単独で完結していますが、今後の記事で個々のクライアントについてさらに深く掘り下げる予定です。

さまざまなクライアントチームのイーサリアムコア開発者が集まる半定期的な集会、すなわちインターオプ（interop）が、最近ノルウェーのスヴァールバル諸島で開催されました。1週間にわたるイベント期間中、各チームは次期アップグレードであるグラムステルダムの強化と準備に注力しました。 この1週間で、以下のような重要なマイルストーンが達成されました。 2億のガス・リミットの下限を確立：ePBS、BALの最適化、およびEIP-8037の価格改定の収束から導き出された、グラムステルダム後の信頼できる目標。 ePBSの安定化：外部ビルダーのパイプラインを備えたマルチクライアントのグラムステルダム・デブネットが稼働し、ほぼすべてのクライアントでエンドツーエンドのテストを実施。 EIP-8037がファイナライズ済み：固定の cost\per\state\_byte が採用され、金曜日までにbal-devnet-6上で完全な価格改定の数値が提供されました。 Hegotáの基礎固め：FOCILのプロトタイプが機能し、ネイティブAAの要件が定義されました。マルチクライアントのデブネットが直近の次のステップとなります。 また、今回のインターオプは、イーサリアム財団のプロトコルクラスターにおけるリーダーシップ移行の始まりでもありました。 新しいクラスターコーディネーターは以下の通りです。 ウィル・コーコラン (Will Corcoran) ケヴ・ウェダーバーン (Kev Wedderburn) フレドリック (Fredrik)

先週、100名を超えるイーサリアムのコアコントリビューターが北極圏の北に位置するスヴァールバル諸島のロングイェールビーンに集まり、Soldøgnインターオプが開催されました。これは、グラムステルダム・ネットワーク・アップグレードに向けた集中的な作業を行う1週間でした。 Soldøgnは昨年のBerlinteropに続くものですが、Amphora 🏺、Edelweiss 🏔️、Nyota ✨で採用された形式に戻りました。つまり、特定のアップグレード（今回はグラムステルダムの強化）に向けて、マルチクライアントでの進捗に焦点を当てたシングルトラックの1週間です。 金曜日までに、グループは3つの主要な目標を達成しました。グラムステルダム後のガス・リミットの下限を2億（200M）とすることでの合意、外部ビルダーと連携して稼働する安定したePBSの実装、そして最終的なEIP-8037の価格改定（リプライシング）の数値の確定です。また、FOCILやネイティブなアカウント抽象化といったHegotáの機能や、その他多くのトピックについても有意義な進展がありました。

数ヶ月前、私たちはプロトコルが 3 つの戦略的イニシアチブ（L1 のスケーリング、blob のスケーリング、UX の向上）に新たに注力することを発表しました。以前のL1 のスケーリングとblob のスケーリングに関するアップデートに続き、本稿では私たちの「UX の向上」トラックとそのミッションについて説明します。 個人および機関投資家向けに、イーサリアムエコシステム全体でシームレスかつ安全で、パーミッションレスな体験を提供する。 私たちは、公共のコアなイーサリアム R&D グループという立場から、今後 6〜12 ヶ月において、広範な UX 領域内で相互運用性、および本稿で紹介する関連プロジェクトが最も影響力の大きい機会であると考えています。 短期的な戦略は、相互運用性の基本的な構成要素であり続けると私たちが考える分野、すなわちインテントベースのアーキテクチャと汎用メッセージパッシングに焦点を当てています。両者において、私たちの目標は、明確で測定可能なプロトコルメトリクスに集中し、レイテンシーとコストを削減しつつ、セキュリティとトラストレス性を向上させることです。これらのメトリクスには、オペレーションごとの署名数、インクルージョンまでの時間、高速コンファメーションまでの時間、ファイナリティまでの時間、L2 セトルメントまでの時間が含まれます。 私たちの取り組みは 3 つのストリームに分かれています。 初期化 (Initialisation): インテントをよりモジュール化かつ軽量化し、すべてのチェーン間でシームレスかつ安全に資産を移動するための共有標準を強化します。 加速 (Acceleration): レイテンシーとコストを削減し、インクルージョン、コンファメーション、ファイナリティ、セトルメントを高速化する取り組みを加速します。 最終化 (Finalisation): 最先端のコンセンサス（高速ファイナリティ）と暗号技術（リアルタイム証明を伴う SNARK）を統合し、高速でパーミッションレスなクロスチェーンメッセージングを可能にします。

Goerli ブロブが登場： 2024 年 1 月 17 日 6:32 UTC、Dencun の Goerli での利用が開始しました。 これでブロブが使えるようになりました！ Sepolia と Holesky は、次の 2 週間にかけてアップグレードを行います。 Dencun は、Sepolia ではエポック132608で 1 月 30 日 22:51UTC に、Holesky ではエポック29696で 2 月 7 日 11:35UTC に起動します。 今回発表されたクライアントのリリースは、両方のテストネットのアップグレードに適しています。 Sepolia と Holesky のアップグレードがうまくいけば、次は Dencun がイーサリアムのメインネットで予定されています。 Dencun メインネットを含むネットワーク・アップグレードのお知らせを E メールで受け取るには、こちらを購読してください。 2024 年 1 月 17 日、Dencun ネットワークのアップグレードが Goerli テストネットで成功裏に行われました。 現在、残る 2 つのテストネットの Sepolia と Holesky で以下の時間にアップグレードが予定されています。

引き出しの時がやって来ます! シャペラネットワークのアップグレードは、2023 年 4 月 12 日 22 時 27 分 35 秒(UTC)に予定されているエポック 194048にて、イーサリアムネットワークで実施されます。 ステーカー&ノードオペレーターの方は、この記事と引き出しに関する FAQをお読みください。 ただいまから 4 月 5 日まで、シャペラの脆弱性に対して、 イーサリアムバグ報奨金の額が 2 倍になっています。 これらのバージョンアップのお知らせに関するメールを受信するには、 ページの一番下までスクロールしていただき、サインアップしてください 📩。 クライアントチームは、Goerliでの実施をスムーズに行った後に、シャペラをアップグレードしてメインネットを起動する予定です。 第 157 回 AllCoreDevs 実行レイヤ会議において、4 月 12 日の日程ですぐに合意に達しました。 マージに続くアップグレードとなり 、バリデータはビーコンチェーンから実行レイヤに戻ってステークを引き出せるようになります。 また、以下にご紹介するとおり、実行レイヤとコンセンサスレイヤの両方に新しい機能を導入しています。