autorenew
イーサリアム財団のプロトコル研究アップデート:10月17日〜31日の主要インサイト

イーサリアム財団のプロトコル研究アップデート:10月17日〜31日の主要インサイト

以下

🔍 ​記事構成の計画​
- フロントマター用のスラッグはタイトルから派生した "ef-protocol-research-updates-oct-17-31" のようになるでしょう。​
イーサリアム財団(EF)はブロックチェーンのイノベーションの最前線に立ち、ネットワークをより高速で安全、かつスケーラブルにするプロトコルの開発を絶えず進めています。ミームトークンやより広範な暗号技術に関心があるなら、これらのアップデートを理解することでトレンドを早期に見抜く有利さが得られます。最近、イーサリアム研究者の ladislaus.eth が X に、10月17日から31日までの主要なプロトコル研究を要約した洞察に富むスレッドを投稿しました。ここでは、それをわかりやすく分解し、何が新しいのか、なぜ重要なのかを強調します。

10月17日〜31日のEFプロトコル研究アップデートバナー

zkVMベンチマークの深掘り

Zero-Knowledge Virtual Machines(zkVM)は、基礎データを開示することなく複雑な計算を素早く検証できるため、イーサリアムにとって画期的です — プライバシー保護型スマートコントラクトや効率的なスケーリングソリューションなどを想像してください。L1-zkEVMチームはちょうど、これらのzkVMをベンチマークするための詳細なガイドを公開しました。これは、開発者や研究者がパフォーマンスを公平に評価するのに役立つ技術的な洞察に満ちています。

イーサリアムがどのように検証可能な計算へと前進しているかに興味があるなら、この投稿は良い出発点です。証明生成時間や検証者効率などの指標について深掘りするには、こちらを参照してください。

ハイブリッド暗号化メンプール:速度とセキュリティの両立

メンプールは、トランザクションがブロックチェーンに取り込まれる前の待合室のようなものです。しかし、パブリックネットワークであるイーサリアムでは、メンプールはMaximal Extractable Value(MEV)のような悪用に対して脆弱です。マイナーやバリデータがトランザクションの順序を入れ替えて利益を得ることが可能になります。

そこで提案されているのが、Julian と Benedikt Wagner によるハイブリッド暗号化メンプールです。この設計では、トランザクションを復号するために同意が必要な閾値委員会(threshold committee)を用いて、ユーザーが不正行為を隠す選択肢を与えずに露出を強制します。同時に、ユーザー自身が必要に応じて自分のトランザクションを公開できるため、委員会が遅延した場合のリスクを軽減します。

これは処理の遅延(liveness問題)を最小化しつつMEVを抑制する賢い方法です。DeFi や公平なトランザクション順序付けに依存するミームトークンプロジェクトを構築している人には目を通す価値があります。完全な提案はこちらで読めます。

ハイブリッド暗号化メンプールの図解

SOONによるP2Pネットワーク最適化

ピアツーピア(P2P)ネットワーキングはイーサリアムの基盤であり、ブロックやアテステーション、データブロブがノード間でどのように広がるかを扱います。現在、メッセージはランダムなピアに送られることが多く、遅延や低速・冗長な経路による帯域幅の無駄が生じがちです。

新しい「Selecting Optimal Outbound Neighbors(SOON)」ルールは、最速のピアを優先することでこれを改善します。Thomas Thiery と Marios Ioannou によって開発されたこの手法は、GossipSubプロトコルのコアを変えずにレイテンシと帯域幅を削減します。メッセージタイプごとに調整できるため、ネットワーク全体の効率性が向上します。

ノードを運用しているかイーサリアムのインフラに興味があるなら、ステーキングからトークンスワップまであらゆる操作がよりスムーズになる可能性があります。完全な投稿はこちらで読めます。

SOONによるP2P最適化のイラスト

SNARKシステムにおけるFRIのセキュリティ解析

Succinct Non-interactive ARguments of Knowledge(SNARKs)はゼロ知識証明の中核であり、zk-rollupsのようにトランザクションをまとめてより安価かつ高速にスケールする仕組みを支えています。しかし、そのセキュリティは、データが有効なコードワードに近いかどうかをチェックする FRI(Fast Reed-Solomon Interactive Oracle Proofs of Proximity)のような構成要素に依存しています。

Nico、Albert Gevorgyan、Benedikt Wagner による新しい論文は、FRIのラウンドごとのサウンドネス(soundness)に関する新しいセキュリティ解析を提供します。彼らはさらに、グラフの彩色を使って説明するブログ記事も添えており、数学が得意でない人にも非常にわかりやすくなっています。

この研究は現代のSNARKの基盤を強化し、攻撃に対する堅牢性を高めます。暗号コミュニティにとって協働の価値が高い成果です。論文はこちら、ブログはこちらで入手できます。

FRIサウンドネス証明のグラフ彩色例 追加のFRIセキュリティ解析ビジュアル

EF Prototypingチームのサイト刷新

研究をテスト可能なコードに落とし込むことを目的としたEFのPrototypingチームが、サイトを更新しました。ここはイーサリアムの改善に関する進捗を追うハブです。Carl Beekhuizen らチームメンバーを X でフォローするとリアルタイムの更新を追えます。

ビルダーにとって、このサイトはプロトタイプやツールの宝庫です。訪問はこちら

前回のアップデートの振り返り

参考までに、ladislaus.eth は前号へのリンクも貼っており、そこではステートエクスパイア(state expiry)、融合アキュムレータ(Fusaka)の帯域幅見積もり、ポスト量子ワークショップ、新しいZK最適化ハッシュ関数などが取り上げられていました。イノベーションの流れは途切れません — 前号はこちらで確認できます。

これらのアップデートは、イーサリアムが安全で分散化されたプラットフォームとして進化し続けることへのコミットメントを示しています。ミームトークンをトレードしている人も dApp を開発している人も、プロトコル研究に関する情報を追うことでブロックチェーンの風景をより賢く渡り歩けるようになります。全文は ladislaus.eth の X 投稿でどうぞ:こちら。これらの進展についてあなたはどう思いますか?コメントで教えてください!

おすすめ記事

ジャック・ドーシーは本物のサトシ・ナカモトなのか? — 主な証拠には、1996年のドーシーの初期サイファーパンク関与、2001年の匿名性に関する記述、2003年の麻薬販売ネットワークに関するブログ投稿が含まれる

ジャック・ドーシーは本物のサトシ・ナカモトなのか? — 主な証拠には、1996年のドーシーの初期サイファーパンク関与、2001年の匿名性に関する記述、2003年の麻薬販売ネットワークに関するブログ投稿が含まれる

Twitter共同創業者ジャック・ドーシーが、Bitcoin($BTC)の謎の創設者サトシ・ナカモトであるという興味深い説を、タイムラインの手がかりや暗号界とのつながりをもとに深掘りします。