EFブログ

ETH上部背景開始画像
ETH下部背景開始画像
コンテンツへ移動

この投稿は、25言語で利用できます:

日本語

助成金割り当ての最新情報 - 2026年第2四半期

エコシステム・サポート・プログラム・チームが2026年8月18日に投稿

助成金割り当ての最新情報 - 2026年第2四半期

2026年第2四半期は、イーサリアムの回復力と機能の向上に引き続き注力し、ゼロ知識証明、クライアント・ダイバーシティ、形式的検証、オープンソース・ツールにおける重要な取り組みを支援しました。ビルダーがネットワークを構築し強化する中で、今四半期に支援されたプロジェクトとエコシステムの取り組みのリストを以下でご覧ください。

EF(イーサリアム財団)が資金提供したプロジェクトの完全なリストは、こちらのESPウェブサイトでご覧いただけます!

ドメインカテゴリプロジェクト名概要リンク/リポジトリ
DAO/ガバナンスリサーチ教員リサーチ・フェローシップ:イーサリアム研究(2025〜2026学年度)Strnad教授が、OpenLabの奨学生を指導しながら、DAOガバナンス、分散型システム管理、オプティミスティック・ロールアップのチャレンジ期間など、イーサリアムに焦点を当てた問題に十分な研究時間を割けるようにします。
セキュリティリサーチEL+CLおよびグラムステルダムのセキュリティグラムステルダム・アップグレードに先立ち、実行レイヤーおよびコンセンサス・レイヤーのクライアントにおける脆弱性をプロアクティブに特定することで、イーサリアムのセキュリティを強化します。このリサーチはネットワークの回復力を高めます。
ノードとクライアントアプリケーションロードスター 2026ロードスターのコンセンサス・クライアントを開発および保守し、ハード・フォークを実装してプロトコルのリサーチに貢献します。これにより、TypeScriptおよびZigのイーサリアム・コミュニティ向けのオペレーターUXとエコシステム・ツールがサポートされます。リンク
イーサリアム・プロトコルアプリケーションライトハウス - 2026年5月〜10月ライトハウス・クライアントの開発は、メインネット向けのePBS、Gloas、および部分的なメッセージ・ネットワーキングとともに継続されます。この取り組みにより、ツリー同期、Diamondテスト・フレームワーク、およびZK検証済みコンセンサスが拡張されます。形式的検証とクライアントの堅牢化の取り組みも進行しています。リンク
暗号技術開発者ツールPoulpy PIRツールRustベースのプロダクション・グレードのPrivate Information Retrieval(PIR)ライブラリを開発します。これにより、最大32GBのKey-Valueデータベースに対する効率的なバッチ処理クエリが可能になり、状態を必要とせずにサーバーとクライアントの通信が最適化されます。リンク
イーサリアム・プロトコル開発者ツールETHeoremイーサリアムのコンセンサス仕様をクライアントの実装にマッピングするETHeoremは、ライトハウス、プリズム、ゲス(Geth)、およびレス(Reth)全体での体系的なセキュリティ評価を可能にします。このエージェント・システムは、LLMとプログラム分析を組み合わせてフルスタックの網羅性を実現します。
イーサリアム・プロトコルアプリケーションReam - Rustで書かれた無駄のないコンセンサス・クライアント高速なファイナリティと4秒のスロットを備えた耐量子コンセンサスを推進するため、Rustベースの無駄のないコンセンサス・クライアントであるReamを開発します。この更新により、コア・クライアントの開発、テスト・インフラストラクチャの堅牢化、および10,000バリデーターへの開発ネット(devnet)の拡張がサポートされます。リンク
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | Robust Incentives Group経済的インセンティブと参加者の行動をモデル化してプロトコルのゲーム理論を最適化し、ネットワークの安定性と効率を向上させます。
アプリケーション・インフラストラクチャリサーチイーサリアムLLM最適化(Inseeq)最新のイーサリアム開発ツールとethskillsデータを使用してAIモデルを強化します。これにより、LLMの精度が向上し、構築基盤となるブロックチェーンを探している開発者に対するイーサリアムの魅力が高まります。リンク
暗号技術リサーチDuplex SpongeからのFiat-Shamirの技術的レビューDuplex Spongeを介してインスタンス化されたFiat-Shamir変換のセキュリティに関する議論を監査します。この取り組みは、将来のLeanによる形式化をサポートするための重要な抽象化を明確にし、ゼロ知識証明システムを強化します。
ゼロ知識証明リサーチEthproofs 追加ハードウェア - BrevisBrevisは、現実世界の運用上の回復力をストレステストするために、オンプレミスのマルチGPU L1ブロック証明スタックを構築しています。このイニシアチブは、将来のプルーバー向けにオープンソースのオンプレミス運用プレイブックを作成します。
イーサリアム・プロトコルエコシステム開発ethp2pにおけるquic-goの優先事項イーサリアムのコンセンサス・レイヤーのネットワーキングを支えるGo QUIC実装であるquic-goを強化します。この取り組みにより、go-libp2pのパフォーマンス、トランスポート機能、および接続効率が向上します。
アプリケーション・インフラストラクチャ開発者ツールWeb3j:イーサリアムのJVMおよびAndroid統合インフラストラクチャの維持主要なJVMクライアント・ライブラリであるWeb3jを、今後のグラムステルダムのハード・フォークと同期させます。これにより、AI向けのドキュメントとともに、Java、Kotlin、およびAndroidアプリケーションのシームレスな統合が継続的に確保されます。リンク
ゼロ知識証明リサーチEthproofs 追加ハードウェア - Succinct LabsSuccinctは、L1ブロック証明をオンプレミスのマルチGPUセットアップに移行しています。これにより、運用上の回復力がストレステストされ、クラウドへの依存が軽減され、将来のプルーバー向けにオープンソースのオンプレミス運用プレイブックが作成されます。
ゼロ知識証明リサーチEthproofs 追加ハードウェア - SilentSigZisKがL1ブロック証明スタックをオンプレミスのマルチGPU構成に移行できるようにします。このイニシアチブは、中央集権的なクラウド・プロバイダーへのエコシステムの依存を減らすために、オープンソースのオンプレミス運用プレイブックを作成します。
その他エコシステム開発ミンダナオ島向けブロックチェーン・カリキュラムのトレーナー育成プログラムフィリピンの8つの学術機関がブロックチェーンのカリキュラムを開発できるようにします。教員がトレーナーになることを支援し、6日間のプログラムを通じて現地のイーサリアム教育を促進します。
アプリケーション・インフラストラクチャ開発者ツールmevlog-rs - Revmを搭載したEVMトランザクション・クエリCLI/TUIオンチェーン・データをローカルのSQLiteデータベースにインデックス化し、TUIおよびMCP経由でアクセスできるようにします。このツールにより、開発者やLLMエージェントは柔軟なローカル・クエリと結果のIPFS共有が可能になります。リンク
イーサリアム・プロトコルリサーチトランザクション・アサーションユーザーがEIP-7906で署名する前に、トランザクションの結果をプログラムで検証できるようにします。これには、任意のスマート・コントラクトに対する肯定的な条件と否定的な条件が含まれ、セキュリティとユーザーの制御が強化されます。リンク
アプリケーション・レイヤーアプリケーションSteward:オンデバイスAIアシスタントを備えた自己主権型イーサリアム・ウォレット完全にローカルなmacOSイーサリアムのスマート・アカウント・ウォレットであるStewardを構築します。ライト・クライアントからAIアシスタントに至るまで、すべてのコンポーネントがデバイス上で実行され、エンドツーエンドの検証可能なセキュリティと主権が確保されます。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | 暗号技術新しい暗号プリミティブとセキュリティ・プロトコルを開発し、すべてのユーザーに対するイーサリアムの基盤となるセキュリティとプライバシーを強化します。
プライバシーリサーチThe Open Anonymity ProjectAI推論を皮切りに、ゲート付きAPIサービスへのリンク不可能なアクセスを可能にします。このオープンソースのモジュラー・スタックは、匿名のクレジット検証にブラインド署名とTEE対応サーバーを使用します。
ゼロ知識証明リサーチEthproofs 追加ハードウェア - Matter LabsオンプレミスのマルチGPU構成に移行することで、Matter LabsのL1ブロック証明スタックを強化します。このイニシアチブは、運用上の回復力をストレステストし、クラウドへの依存を軽減し、オープンソースのオンプレミス運用プレイブックを作成します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | 暗号技術リサーチ暗号化メンプールのセキュリティ・モデルを形式化し、イーサリアム・ユーザーのトランザクションのプライバシーとネットワークの回復力を強化します。
セキュリティ開発者ツールVerityLean 4ベースのスマート・コントラクト言語であり、形式的に検証されたコンパイラであるVerityを開発します。これにより、開発者はコントラクトのプロパティを記述、形式的に指定、および証明し、検証済みのセマンティクスを使用してEVMバイトコードにコンパイルできるようになります。リンク
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | プロトコルのSNARK化暗号プロトコルとzkVM回路を検証し、形式的手法を通じてイーサリアムのスケーリング・インフラストラクチャの数学的正確性を確保します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | Robust Incentives Groupメカニズム・デザインと経済モデリングを適用して参加者のインセンティブを理解および改善し、プロトコルのゲーム理論を最適化します。
イーサリアム・プロトコルエコシステム開発ZK + テストの探索的取り組み証明のパフォーマンスを最適化するために、多様なハードウェアにわたるzkVMのランタイム動作を調査します。このリサーチは、ボトルネックを特定し、イーサリアム・メインネットのアプリケーション向けに、より実用的でほぼリアルタイムの証明を可能にすることを目的としています。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | ゲス(Geth)ゲス(Geth)のコア・プロトコル開発、クライアントの保守、および新しいイーサリアム改善提案(EIP)の実装をサポートします。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | プロトコル・プロトタイピング新しいプロトコルのリサーチを実用的なコードに変換します。これにより、理論的仮定の経験的テストが可能になり、将来のイーサリアム・アップグレードにおける設計上のトレードオフを定量化できます。
セキュリティアプリケーションSafeLensGnosis Safeのマルチシグ・トランザクションのオフライン検証を可能にします。SafeLensは、署名、ハッシュ、および強化された証明のための証拠パッケージを生成し、組み込みのインタープリターを介してローカルでのトランザクションの再生と人間が読める形式の詳細を可能にします。リンク
ゼロ知識証明リサーチEthproofs オンプレミス・マルチGPUプルーバー・イニシアチブ - SilentSigZisKがL1ブロック証明をオンプレミスのマルチGPUセットアップに移行できるようにします。このイニシアチブは、運用上の回復力をストレステストし、クラウドへの依存を軽減し、エコシステム向けにオープンソースのオンプレミス運用プレイブックを作成します。リンク
ゼロ知識証明リサーチEthproofs オンプレミス・マルチGPUプルーバー・イニシアチブ - Brevisオープンソースのオンプレミス運用プレイブックを開発し、L1ブロックのプルーバーがクラウド・ホスト環境から回復力のあるマルチGPU構成に移行できるようにして、中央集権的な依存関係を軽減します。リンク
ノードとクライアントアプリケーションGean:無駄のないイーサリアム・コンセンサス・クライアントGoベースの新しいコンセンサス・クライアントであるGeanを使用して、イーサリアムの長期的な回復力を構築します。このオープンソース実装は、量子脆弱性のある暗号技術を置き換え、アフリカ発のクライアント・エコシステムを多様化します。リンク
プライバシー開発者ツールQuixoteのプライベート読み取り + アーベ(Aave)統合RustのEVMイベント・インデクサーであるQuixoteを、Torベースのプライベート読み取りとGraphQLサポートで強化します。アーベ(Aave)のフロントエンドに統合し、TheGraphを置き換えてデータ・アクセスを改善することで、その価値を実証します。リンク
セキュリティ開発者ツールイーサリアム・プロトコル・セキュリティ・エージェント - SPECA & LeanAgentイーサリアム・クライアントの仕様コンプライアンス・チェックとバグ発見を自動化するLLM搭載システムを開発します。これには、Gasper Lean 4の形式的検証と、SPECAの出力をLean 4の形式仕様にブリッジするパイプラインが含まれます。
セキュリティ開発者ツールセキュリティ脆弱性向けCantina Apex AIコード・アナライザー今後1年間にわたり、クライアントおよびプロトコルのリポジトリに対してAIを活用した52回のスマート・コントラクト・スキャンを実施し、イーサリアムのセキュリティ体制を強化します。
暗号技術リサーチビットコインの制約下におけるleanVMイーサリアムのコンセンサス・レイヤー向けに、leanVMの耐量子署名集約を最適化します。この取り組みにより、速度が向上し、効率が改善され、ビットコインとの互換性が確保されて、業界全体の標準が確立されます。リンク
その他エコシステム開発ローマでのAI×イーサリアムの融合のプログラミングAIとイーサリアムの交差点を促進するため、ローマのUrbe Hubは定期的なワークショップ、デモ、およびビルダー・セッションを主催しています。このイニシアチブは、相互交流イベントを育成し、両方のコミュニティを強化し、EF dAIチームと協力します。リンク
暗号技術開発者ツールCompPoly向けの高速体演算Lean4で素体および2進拡大体の効率的で検証済みの実装を開発します。この取り組みは、小さなSTARK体、大きなSNARK/曲線体、および2進拡大体をカバーしており、すべてRingEquivを通じて正確性が証明されています。リンク
アプリケーション・レイヤーリサーチイーサリアムの「合理的に必要な」フロンティア・ユースケースの研究開発現実世界に影響を与えるユニークなイーサリアムのユースケースを調査します。このリサーチでは、従来の暗号資産のセットアップを超えた斬新な組織構造も探求します。
ゼロ知識証明開発者ツールCompPoly多項式Leanライブラリ - ロードマップ2の一部ホーナー法、バッチ処理、およびNTT法を使用して、CompPolyでの多項式評価を最適化します。zkVM向けのGuruswami-Sudanアルゴリズムを実装および検証し、Leanの証明とベンチマークを完備します。リンク
セキュリティアプリケーションイーサリアム向けのLLMベースのクライアント・コンプライアンス分析AIエージェントを展開して、ゲス(Geth)、ネザーマインド、ライトハウス、およびプリズムをEIP仕様と照らし合わせてスキャンし、相違点やエッジケースのバグを特定することで、イーサリアム・クライアントのセキュリティを強化します。
その他リサーチデジタル公共財向けのオンチェーン資本手段デジタル公共財向けのオンチェーンESG資金調達手段を開発し、イーサリアムを活用して公共財の資金調達を助成金からスケーラブルな資本市場へと移行させます。このイニシアチブは、大規模インフラストラクチャ向けの債券のようなメカニズムを設計します。リンク
暗号技術開発者ツール2変数多項式 — CompPoly フェーズ2、項目6Guruswami-Sudanインフラストラクチャやクロネッカー置換などのパフォーマンス最適化を含む高度な2変数多項式演算でCompPolyを拡張し、暗号プリミティブの開発を強化します。
暗号技術リサーチ再帰的抽出問題再帰的SNARKのセキュリティを調査し、深い再帰における知識抽出器の限界を探ります。このリサーチでは、超多項式抽出器の複雑さを持つSNARKのバリアントを分析し、現実世界のシステム向けの新しい証明フレームワークに情報を提供します。
暗号技術エコシステム開発イーサリアム・インデクサー向けの効率的な単一サーバーPIRイーサリアムのデータ・アクセス向けの最新のPrivate Information Retrieval(PIR)スキームを評価します。この取り組みでは、ユーザーのプライバシーを強化し、MEVリスクを軽減するために、再利用可能なテストを備えた最先端のスキームを指定します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | PoseidonPoseidonベースの構造を活用して、イーサリアムの実行レイヤー向けの効率的な耐量子署名スキームを開発し、ネットワークの耐量子移行に備えます。
ゼロ知識証明リサーチEthproofs オンプレミス・マルチGPUプルーバー・イニシアチブ - Matter LabsインフラストラクチャをクラウドからオンプレミスのマルチGPUセットアップに移行することで、L1ブロック証明を分散化します。このイニシアチブは、オンプレミス運用プレイブックをオープンソース化し、将来のプルーバーが回復力を強化するための青写真を提供します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | STEELイーサリアムのコアPython仕様(EELS)とテスト・スイート(EEST)を強化します。この重要な取り組みにより、クライアントの互換性が確保され、ネットワークのコンセンサスが強化されます。
プライバシーアプリケーションKohakuウォレットのフロントエンド・サポート - フォローアップKohakuブラウザ拡張機能ウォレットとRailgun SDKの統合をリファクタリングします。この取り組みにより、保守性とモジュール性が向上し、より幅広い採用とコミュニティの貢献に向けてウォレットが前進します。リンク
その他エコシステム開発ブータン・ブロックチェーン・オフライン・レジデンシー 2026集中的なレジデンシーを通じて、ブータンでイーサリアム開発者の新しいコホートを育成します。このプログラムは、現地の才能を育成し、この地域で自立した開発者コミュニティの種をまきます。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | PandaOpsプロトコルの研究開発向けにカスタム・ツール、デプロイ・スクリプト、およびデータ・パイプラインを構築することで、安全で十分にテストされたネットワーク・アップグレードを可能にします。
アプリケーション・インフラストラクチャエコシステム開発Open Intents Framework - 採用と保守 2026Open Intents Frameworkを開発し、クロスチェーンの流動性リバランスを強化し、ERC-7683仕様の開発をサポートします。これにより、イーサリアムのマルチチェーン機能とツールが拡張されます。
イーサリアム・プロトコルエコシステム開発香港理工大学 - ブロックチェーン技術研究センター(RCBT)のスポンサーシップ優秀なMScBT学生への奨学金を通じて、ブロックチェーン技術における学術的卓越性を育成します。Asiacrypt 2026のスポンサーシップとともに、才能の開発とDevconnect/Devconへの参加をサポートします。
ゼロ知識証明エコシステム開発CompPolyロードマップへの貢献 — べき乗、多重線形変換、ECCべき乗を最適化し、CompPolyの多重線形変換の等価性を証明します。Berlekamp-Welchを介した誤り訂正補間を統合し、プロトコルの堅牢性を強化します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | プロトコル・コンセンサス高度なコンセンサス・メカニズムを分析および設計します。この取り組みはプロトコルの保証を強化し、長期的なネットワークの分散化を促進します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | 資金調達の調整EFの助成金受領者と外部の資金源とのつながりを促進します。これにより、不可欠な公共財プロジェクトが、政府、慈善団体、およびエコシステム・パートナーから重要なサポートを確保できるようになります。
ゼロ知識証明リサーチEthproofs オンプレミス・マルチGPUプルーバー・イニシアチブ - Succinct Labs分散型プルーバーがクラウドからオンプレミスのマルチGPUセットアップに移行できるようにします。このイニシアチブは、オープンソースのオンプレミス運用プレイブックを生み出し、エコシステムの回復力を強化し、中央集権的なインフラストラクチャへの依存を軽減します。
セキュリティ開発者ツールOctane:イーサリアム・クライアント向けのLLM搭載プロトコル・セキュリティAIを活用した脆弱性検出により、スマート・コントラクトのセキュリティを強化します。このサブスクリプションでは、最大4つのクライアント・プロジェクトに対して、25回の包括的なスキャン、プロジェクト・ダッシュボード、およびVIPサポートが提供されます。リンク
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | zkEVMZK-EVMのリサーチを推進し、スケーリング・ソリューションを開発して、ZK証明をイーサリアムの実行レイヤーに直接統合します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | プロトコル・セキュリティプロアクティブなコード・レビュー、高度なツール、および堅牢なバグ・バウンティ・プログラムの管理を通じて、イーサリアムのセキュリティ体制を強化します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | プロトコル・コンセンサス長期的な分散化を強化するためにコンセンサス・メカニズムを分析します。このリサーチは、現在のプロトコルの保証と将来のネットワーク目標との間のギャップを埋めるのに役立ちます。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | 暗号技術高度な暗号プリミティブとセキュリティ・プロトコルのリサーチをサポートし、安全でプライバシーを保護する技術におけるイーサリアムの継続的なリーダーシップを確保します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | 暗号技術新しいプリミティブとプロトコルを設計および分析することで、イーサリアムの暗号セキュリティを推進します。これにより、将来に向けた堅牢でプライバシーを保護する技術が確保されます。
イーサリアム・プロトコルエコシステム開発ZKProof 8での検証済みzkEVM ArkLib DayZKProof 8のArkLib Dayに1,000人以上の実務家を集めることで、ZKPの標準化の取り組みを拡大します。このイベントは、形式的検証と応用ゼロ知識証明に関するコラボレーションを促進します。リンク
セキュリティ開発者ツールNoirからLLZKへのコンパイラ2つの重要なSNARKエコシステムを橋渡しする、NoirからLLZKへのコンパイラを開発します。これにより、インターオペラビリティが向上し、LLZKツールの開発者ベースが拡大し、イーサリアムのSNARKセキュリティの取り組みが強化されます。リンク
アプリケーション・レイヤー開発者ツールコンポーザブルなオーケストレーション、イーサリアムUXのバッチ処理、およびインターオペラビリティ動的なスマート・アカウントのバッチ処理と述語ベースの実行を可能にします。このプロジェクトは、プロダクション・オーケストレーション・スタックを標準化してオープンソース化し、コンポーザブルなマルチステップおよびマルチチェーンのトランザクションをイーサリアム・エコシステムの公共財にします。リンク
ゼロ知識証明開発者ツールRISC-V zkVM向けの改善された証明インフラストラクチャLean 4を使用してSP1 Hypercube zkVMの算術化を検証し、その制約システムが各命令のRISC-V ISAセマンティクスを正しく実装していることを形式的に証明します。
イーサリアム・プロトコルエコシステム開発インターンシップ・プログラム 2026 | zkEVMZK-EVMのリサーチを推進し、スケーリング・ソリューションを開発して、効率を高めるためにZK証明をイーサリアムの実行レイヤーに直接統合します。
プライバシーアプリケーションKohakuウォレットのフロントエンド・サポートSepoliaでの堅牢でプライバシー・ファーストなウォレットUXのために、Kohakuブラウザ拡張機能を改良します。Privacy PoolsとRailgunを統合し、Ambireフォークとユーザー・フローを最適化します。リンク

2026年第2四半期の助成金総額:5,502,930.20米ドル

この投稿は英語から翻訳されたものです。そのため、完全には正確ではない、または最新のものではない場合があります。オリジナルの英語版は、英語をご覧ください。

Stay Updated

Subscribe to get email notifications about the topics you care about. Choose from research, events, security updates, and more.


カテゴリ