Во 2 квартале 2026 года мы продолжили уделять внимание повышению устойчивости и возможностей Эфириума, поддерживая ключевые работы в области доказательств с нулевым разглашением, разнообразия клиентов, формальной верификации и инструментов с открытым исходным кодом. Ниже представлен список проектов и инициатив экосистемы, получивших поддержку в этом квартале, в то время как разработчики создают и укрепляют сеть.
Ознакомьтесь с полным списком проектов, финансируемых EF, на сайте ESP здесь!
| Направление | Категория | Название проекта | Описание | Ссылка/Репозиторий |
|---|---|---|---|---|
| DAO/Управление | Исследования | Исследовательская стипендия для преподавателей: Изучение Эфириума (2025–2026 учебный год) | Позволяет профессору Стрнаду посвятить значительное время исследованиям проблем, связанных с Эфириумом, включая управление DAO, администрирование децентрализованных систем и периоды оспаривания оптимистичных роллапов, одновременно консультируя стипендиатов OpenLab. | |
| Безопасность | Исследования | Безопасность EL+CL и Гламстердам | Повышает безопасность Эфириума путем упреждающего выявления уязвимостей в клиентах уровня исполнения и уровня консенсуса перед обновлением Гламстердам. Это исследование укрепляет устойчивость сети. | |
| Узлы и клиенты | Приложение | Лодстар 2026 | Разрабатывает и поддерживает клиент консенсуса Лодстар, реализуя хардфорки и внося вклад в исследования протокола. Это поддерживает пользовательский опыт операторов и инструменты экосистемы для сообществ Эфириума, использующих TypeScript и Zig. | Ссылка |
| Протокол Эфириума | Приложение | Лайтхаус — с мая по октябрь 2026 года | Разработка клиента Лайтхаус продолжается с ePBS, Gloas и сетью частичных сообщений для Мейннета. Эта работа расширяет синхронизацию деревьев, фреймворк тестирования Diamond и консенсус, верифицируемый с помощью ZK. Также продвигаются усилия по формальной верификации и усилению защиты клиента. | Ссылка |
| Криптография | Инструменты разработчика | Инструменты Poulpy PIR | Разрабатывает библиотеку Private Information Retrieval (PIR) производственного уровня на базе Rust. Это обеспечивает эффективные пакетированные запросы для баз данных «ключ-значение» объемом до 32 ГБ, оптимизируя связь между сервером и клиентом без необходимости сохранения состояния. | Ссылка |
| Протокол Эфириума | Инструменты разработчика | ETHeorem | Сопоставляя спецификации консенсуса Эфириума с реализациями клиентов, ETHeorem обеспечивает систематическую оценку безопасности в Лайтхаус, Призм, Geth и Рет. Эта агентная система объединяет LLM с анализом программ для полного охвата стека. | |
| Протокол Эфириума | Приложение | Ream — легкий клиент консенсуса на Rust | Разрабатывает Ream, легкий клиент консенсуса на базе Rust, для продвижения постквантового консенсуса с быстрой финальностью и 4-секундными слотами. Это обновление поддерживает разработку основного клиента, усиление инфраструктуры тестирования и масштабирование devnet-сетей до 10 000 валидаторов. | Ссылка |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Группа надежных стимулов (Robust Incentives Group) | Моделирует экономические стимулы и поведение участников для оптимизации теории игр протокола, повышая стабильность и эффективность сети. | |
| Инфраструктура приложений | Исследования | Оптимизация LLM для Эфириума (Inseeq) | Улучшает модели ИИ с помощью современных инструментов разработки Эфириума и данных ethskills. Это повышает точность LLM и усиливает привлекательность Эфириума для разработчиков, ищущих блокчейн для создания своих проектов. | Ссылка |
| Криптография | Исследования | Технический обзор преобразования Фиата-Шамира на основе дуплексных губок | Проводит аудит аргументов безопасности преобразований Фиата-Шамира, реализованных с помощью дуплексных губок. Эта работа проясняет ключевые абстракции для поддержки будущей формализации в Lean, укрепляя системы доказательств с нулевым разглашением. | |
| Доказательства с нулевым разглашением | Исследования | Дополнительное оборудование Ethproofs — Brevis | Brevis создает локальный (on-premise) стек доказательства блоков уровня 1 (l1) на базе нескольких GPU для стресс-тестирования реальной эксплуатационной устойчивости. Эта инициатива позволит создать руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом для будущих пруверов. | |
| Протокол Эфириума | Развитие экосистемы | Приоритеты quic-go для ethp2p | Улучшает quic-go, реализацию QUIC на Go, лежащую в основе сети уровня консенсуса Эфириума. Эта работа повышает производительность, транспортные возможности и эффективность соединений для go-libp2p. | |
| Инфраструктура приложений | Инструменты разработчика | Web3j: Поддержание инфраструктуры интеграции Эфириума с JVM и Android | Поддерживает синхронизацию Web3j, доминирующей клиентской библиотеки JVM, с предстоящим хардфорком Гламстердам. Это обеспечивает непрерывную бесшовную интеграцию для приложений на Java, Kotlin и Android, наряду с документацией, ориентированной на ИИ. | Ссылка |
| Доказательства с нулевым разглашением | Исследования | Дополнительное оборудование Ethproofs — Succinct Labs | Succinct переносит доказательство блоков уровня 1 (l1) на локальные установки с несколькими GPU. Это позволит провести стресс-тестирование эксплуатационной устойчивости и снизить зависимость от облачных вычислений, создав руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом для будущих пруверов. | |
| Доказательства с нулевым разглашением | Исследования | Дополнительное оборудование Ethproofs — SilentSig | Позволяет ZisK перевести свой стек доказательства блоков уровня 1 (l1) на локальные конфигурации с несколькими GPU. Эта инициатива позволит создать руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом для снижения зависимости экосистемы от централизованных облачных провайдеров. | |
| Другое | Развитие экосистемы | Программа подготовки преподавателей по учебной программе блокчейна для Минданао | Позволяет 8 филиппинским академическим учреждениям разработать учебные программы по блокчейну. Поддерживает преподавателей в том, чтобы они стали тренерами, способствуя местному образованию в области Эфириума с помощью 6-дневной программы. | |
| Инфраструктура приложений | Инструменты разработчика | mevlog-rs — CLI/TUI для запросов транзакций EVM на базе Revm | Индексирует ончейн-данные в локальную базу данных SQLite, доступную через TUI и MCP. Этот инструмент обеспечивает гибкие локальные запросы и обмен результатами через IPFS для разработчиков и агентов LLM. | Ссылка |
| Протокол Эфириума | Исследования | Утверждения транзакций | Позволяет пользователям программно проверять результаты транзакций перед подписанием с помощью EIP-7906. Это включает положительные и отрицательные условия для любого смарт-контракта, повышая безопасность и контроль со стороны пользователя. | Ссылка |
| Уровень приложений | Приложение | Steward, суверенный кошелек Эфириума с ИИ-ассистентом на устройстве | Создает Steward, полностью локальный кошелек смарт-аккаунта Эфириума для macOS. Каждый компонент, от легкого клиента до ИИ-ассистента, работает на устройстве, обеспечивая сквозную верифицируемую безопасность и суверенитет. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Криптография | Разрабатывает новые криптографические примитивы и протоколы безопасности, повышая базовую безопасность и приватность Эфириума для всех пользователей. | |
| Приватность | Исследования | Проект открытой анонимности (The Open Anonymity Project) | Обеспечивает несвязываемый доступ к закрытым сервисам API, начиная с логического вывода ИИ. Этот модульный стек с открытым исходным кодом использует слепые подписи и серверы, совместимые с TEE, для анонимной проверки кредитов. | |
| Доказательства с нулевым разглашением | Исследования | Дополнительное оборудование Ethproofs — Matter Labs | Улучшает стек доказательства блоков уровня 1 (l1) от Matter Labs путем перехода на локальные конфигурации с несколькими GPU. Эта инициатива проводит стресс-тестирование эксплуатационной устойчивости и снижает зависимость от облачных вычислений, создавая руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Криптографические исследования | Формализует модель безопасности зашифрованных мемпулов, повышая приватность транзакций и устойчивость сети для пользователей Эфириума. | |
| Безопасность | Инструменты разработчика | Verity | Разрабатывает Verity, язык смарт-контрактов на базе Lean 4 и формально верифицированный компилятор. Он позволяет разработчикам писать, формально специфицировать и доказывать свойства контрактов, выполняя компиляцию в байт-код EVM с верифицированной семантикой. | Ссылка |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Снаркификация протокола | Верифицирует криптографические протоколы и схемы zkVM, обеспечивая математическую корректность инфраструктуры масштабирования Эфириума с помощью формальных методов. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Группа надежных стимулов (Robust Incentives Group) | Оптимизирует теорию игр протокола, применяя дизайн механизмов и экономическое моделирование для понимания и улучшения стимулов участников. | |
| Протокол Эфириума | Развитие экосистемы | Исследовательская работа по ZK и тестированию | Исследует поведение среды выполнения zkVM на различном оборудовании для оптимизации производительности доказательства. Это исследование направлено на выявление узких мест и обеспечение более практичного доказательства почти в реальном времени для приложений Мейннета Эфириума. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Geth | Поддерживает разработку основного протокола Geth, обслуживание клиента и реализацию новых предложений по улучшению Эфириума (EIP). | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Прототипирование протокола | Переводит новые исследования протокола в рабочий код. Это позволяет проводить эмпирическое тестирование теоретических предположений и количественно оценивать компромиссы в дизайне для будущих обновлений Эфириума. | |
| Безопасность | Приложение | SafeLens | Обеспечивает офлайн-верификацию транзакций мультисига Gnosis Safe. SafeLens генерирует пакеты доказательств для подписей, хешей и обогащенных доказательств, позволяя локально воспроизводить транзакции и получать удобочитаемые детали с помощью встроенных интерпретаторов. | Ссылка |
| Доказательства с нулевым разглашением | Исследования | Инициатива локальных пруверов на нескольких GPU Ethproofs — SilentSig | Позволяет ZisK перевести доказательство блоков уровня 1 (l1) на локальные установки с несколькими GPU. Эта инициатива проводит стресс-тестирование эксплуатационной устойчивости и снижает зависимость от облачных вычислений, создавая руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом для экосистемы. | Ссылка |
| Доказательства с нулевым разглашением | Исследования | Инициатива локальных пруверов на нескольких GPU Ethproofs — Brevis | Разрабатывает руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом, позволяя пруверам блоков уровня 1 (l1) переходить от облачных сред к устойчивым конфигурациям с несколькими GPU, снижая централизованные зависимости. | Ссылка |
| Узлы и клиенты | Приложение | Gean, легкий клиент консенсуса Эфириума | Обеспечивает долгосрочную устойчивость Эфириума с помощью Gean, нового клиента консенсуса на базе Go. Эта реализация с открытым исходным кодом заменяет криптографию, уязвимую для квантовых компьютеров, и диверсифицирует экосистему клиентов из Африки. | Ссылка |
| Приватность | Инструменты разработчика | Приватные чтения Quixote + интеграция с Aave | Улучшает Quixote, индексатор событий EVM на Rust, добавляя приватные чтения на базе Tor и поддержку GraphQL. Демонстрирует свою ценность путем интеграции во фронтенд Aave, заменяя TheGraph для улучшения доступа к данным. | Ссылка |
| Безопасность | Инструменты разработчика | Агенты безопасности протокола Эфириума — SPECA и LeanAgent | Разрабатывает систему на базе LLM для автоматизации проверки соответствия спецификациям клиентов Эфириума и обнаружения ошибок. Это включает формальную верификацию Gasper в Lean 4 и конвейер для переноса результатов SPECA в формальные спецификации Lean 4. | |
| Безопасность | Инструменты разработчика | Анализатор кода ИИ Cantina Apex для поиска уязвимостей безопасности | Улучшает состояние безопасности Эфириума с помощью 52 сканирований смарт-контрактов на базе ИИ для репозиториев клиентов и протоколов в течение следующего года. | |
| Криптография | Исследования | leanVM в условиях ограничений Биткоина | Оптимизирует постквантовую агрегацию подписей leanVM для уровня консенсуса Эфириума. Эта работа повышает скорость, улучшает эффективность и обеспечивает совместимость с Биткоином для создания общеотраслевого стандарта. | Ссылка |
| Другое | Развитие экосистемы | Программирование конвергенции ИИ и Эфириума в Риме | Способствуя пересечению ИИ и Эфириума, Urbe Hub в Риме проводит регулярные семинары, демонстрации и сессии для разработчиков. Эта инициатива культивирует мероприятия по обмену опытом, укрепляя оба сообщества и сотрудничая с командой EF dAI. | Ссылка |
| Криптография | Инструменты разработчика | Быстрая арифметика полей для CompPoly | Разрабатывает эффективные, верифицированные реализации простых и бинарных башенных полей в Lean4. Эта работа охватывает малые поля STARK, большие поля SNARK/кривых и бинарные башенные поля, корректность которых доказана с помощью RingEquiv. | Ссылка |
| Уровень приложений | Исследования | Исследования и разработки «разумно необходимых» вариантов использования Фронтира Эфириума | Исследует уникальные варианты использования Эфириума с реальным влиянием. Это исследование также изучает новые организационные структуры за пределами традиционных криптовалютных установок. | |
| Доказательства с нулевым разглашением | Инструменты разработчика | Библиотека полиномов CompPoly для Lean — части дорожной карты 2 | Оптимизирует вычисление полиномов в CompPoly с использованием методов Горнера, пакетирования и NTT. Реализует и верифицирует алгоритм Гурусвами-Судана для zkVM в комплекте с доказательствами Lean и бенчмарками. | Ссылка |
| Безопасность | Приложение | Анализ соответствия клиентов Эфириума на базе LLM | Повышает безопасность клиентов Эфириума путем развертывания ИИ-агентов для сканирования Geth, Незермайнд, Лайтхаус и Призм на соответствие спецификациям EIP, выявляя расхождения и ошибки в крайних случаях. | |
| Другое | Исследования | Ончейн-инструменты капитала для цифровых общественных благ | Разрабатывает ончейн-инструменты ESG-финансирования для цифровых общественных благ, используя Эфириум для перевода финансирования общественных благ от грантов к масштабируемым рынкам капитала. Эта инициатива разрабатывает механизмы, подобные облигациям, для крупномасштабной инфраструктуры. | Ссылка |
| Криптография | Инструменты разработчика | Двумерные полиномы — CompPoly Фаза 2, Пункт 6 | Расширяет CompPoly расширенными операциями с двумерными полиномами, включая инфраструктуру Гурусвами-Судана и оптимизацию производительности, такую как подстановка Кронекера, улучшая разработку криптографических примитивов. | |
| Криптография | Исследования | Проблема рекурсивного извлечения | Исследует безопасность рекурсивных SNARK, проверяя пределы экстракторов знаний в глубокой рекурсии. Это исследование проанализирует варианты SNARK с суперполиномиальной сложностью экстрактора для создания новых фреймворков доказательств для реальных систем. | |
| Криптография | Развитие экосистемы | Эффективный односерверный PIR для индексаторов Эфириума | Оценивает современные схемы Private Information Retrieval (PIR) для доступа к данным Эфириума. В этой работе будет определена передовая схема в комплекте с многоразовыми тестами для повышения приватности пользователей и снижения рисков MEV. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Poseidon | Разрабатывает эффективные постквантовые схемы подписи для уровня исполнения Эфириума, используя конструкции на базе Poseidon для подготовки сети к постквантовому переходу. | |
| Доказательства с нулевым разглашением | Исследования | Инициатива локальных пруверов на нескольких GPU Ethproofs — Matter Labs | Децентрализует доказательство блоков уровня 1 (l1) путем переноса инфраструктуры из облака на локальные установки с несколькими GPU. Эта инициатива откроет исходный код руководства по локальным операциям (On-Prem Ops Playbook), предоставив план для будущих пруверов по повышению устойчивости. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | STEEL | Улучшает основные спецификации Эфириума на Python (EELS) и наборы тестов (EEST). Эта критически важная работа обеспечивает совместимость клиентов и укрепляет консенсус сети. | |
| Приватность | Приложение | Поддержка фронтенда кошелька Kohaku — продолжение | Рефакторит кошелек-расширение для браузера Kohaku и интеграцию Railgun SDK. Эта работа повышает удобство сопровождения и модульность, продвигая кошелек для более широкого внедрения и вклада сообщества. | Ссылка |
| Другое | Развитие экосистемы | Офлайн-резиденция по блокчейну в Бутане 2026 | Готовит новую когорту разработчиков Эфириума в Бутане посредством интенсивной резиденции. Эта программа способствует развитию местных талантов и закладывает основу для самодостаточного сообщества разработчиков в регионе. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | PandaOps | Обеспечивает безопасные, хорошо протестированные обновления сети путем создания пользовательских инструментов, скриптов развертывания и конвейеров данных для исследований и разработок протокола. | |
| Инфраструктура приложений | Развитие экосистемы | Фреймворк Open Intents — внедрение и поддержка 2026 | Разрабатывает фреймворк Open Intents, улучшая кроссчейн-ребалансировку ликвидности и поддерживая разработку спецификации ERC-7683. Это расширяет мультичейн-возможности и инструменты для Эфириума. | |
| Протокол Эфириума | Развитие экосистемы | Гонконгский политехнический университет — спонсорство Исследовательского центра блокчейн-технологий (RCBT) | Способствует академическому совершенству в области блокчейн-технологий посредством стипендий для выдающихся студентов MScBT. Поддерживает развитие талантов и взаимодействие с Devconnect/Devcon, наряду со спонсированием Asiacrypt 2026. | |
| Доказательства с нулевым разглашением | Развитие экосистемы | Вклад в дорожную карту CompPoly — возведение в степень, полилинейные преобразования, ECC | Оптимизирует возведение в степень и доказывает эквивалентность полилинейных преобразований для CompPoly. Интегрирует интерполяцию с исправлением ошибок с помощью алгоритма Берлекэмпа-Велча, повышая надежность протокола. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Консенсус протокола | Анализирует и разрабатывает передовые механизмы консенсуса. Эта работа усиливает гарантии протокола, способствуя долгосрочной децентрализации сети. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Координация финансирования | Облегчает связи между грантополучателями EF и внешними источниками финансирования. Это помогает важным проектам общественных благ получить жизненно важную поддержку от правительственных, благотворительных и экосистемных партнеров. | |
| Доказательства с нулевым разглашением | Исследования | Инициатива локальных пруверов на нескольких GPU Ethproofs — Succinct Labs | Позволяет децентрализованным пруверам переходить от облачных к локальным установкам с несколькими GPU. Эта инициатива позволит создать руководство по локальным операциям (On-Prem Ops Playbook) с открытым исходным кодом, укрепляя устойчивость экосистемы и снижая зависимость от централизованной инфраструктуры. | |
| Безопасность | Инструменты разработчика | Octane: Безопасность протокола на базе LLM для клиентов Эфириума | Повышает безопасность смарт-контрактов с помощью обнаружения уязвимостей на базе ИИ. Эта подписка предоставляет 25 комплексных сканирований, панель управления проектом и VIP-поддержку для четырех клиентских проектов. | Ссылка |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | zkEVM | Продвигает исследования zkEVM, разрабатывая решения для масштабирования и интегрируя доказательства с нулевым разглашением (ZK-proofs) непосредственно в уровень исполнения Эфириума. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Безопасность протокола | Улучшает состояние безопасности Эфириума посредством упреждающих проверок кода, передовых инструментов и надежного управления программой bug bounty. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Консенсус протокола | Анализирует механизмы консенсуса для усиления долгосрочной децентрализации. Это исследование помогает сократить разрыв между текущими гарантиями протокола и будущими целями сети. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Криптография | Поддерживает исследования передовых криптографических примитивов и протоколов безопасности, обеспечивая дальнейшее лидерство Эфириума в области безопасных технологий, сохраняющих приватность. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | Криптография | Продвигает криптографическую безопасность Эфириума путем разработки и анализа новых примитивов и протоколов. Это обеспечивает надежную технологию, сохраняющую приватность, для будущего. | |
| Протокол Эфириума | Развитие экосистемы | День верифицированного zkEVM ArkLib на ZKProof 8 | Расширяет усилия по стандартизации ZKP, объединяя более 1000 специалистов на Дне ArkLib на ZKProof 8. Это мероприятие способствует сотрудничеству в области формальной верификации и прикладных доказательств с нулевым разглашением. | Ссылка |
| Безопасность | Инструменты разработчика | Компилятор из Noir в LLZK | Разрабатывает компилятор из Noir в LLZK, объединяя две критически важные экосистемы SNARK. Это повышает совместимость и расширяет базу разработчиков для инструментов LLZK, усиливая меры безопасности SNARK в Эфириуме. | Ссылка |
| Уровень приложений | Инструменты разработчика | Компонуемая оркестрация, пакетирование пользовательского опыта Эфириума и интероперабельность | Обеспечивает динамическое пакетирование смарт-аккаунтов и выполнение на основе предикатов. Этот проект стандартизирует и открывает исходный код производственного стека оркестрации, делая компонуемые многошаговые мультичейн-транзакции общественным благом для экосистемы Эфириума. | Ссылка |
| Доказательства с нулевым разглашением | Инструменты разработчика | Улучшенная инфраструктура доказательства для zkVM на базе RISC-V | Верифицирует арифметизацию SP1 Hypercube zkVM с использованием Lean 4, формально доказывая, что его системы ограничений корректно реализуют семантику RISC-V ISA для каждой инструкции. | |
| Протокол Эфириума | Развитие экосистемы | Программа стажировки 2026 | zkEVM | Продвигает исследования zkEVM, разрабатывая решения для масштабирования и интегрируя доказательства с нулевым разглашением (ZK-proofs) непосредственно в уровень исполнения Эфириума для повышения эффективности. | |
| Приватность | Приложение | Поддержка фронтенда кошелька Kohaku | Дорабатывает браузерное расширение Kohaku для создания надежного пользовательского опыта кошелька с приоритетом приватности в сети Sepolia. Интегрирует пулы приватности (Privacy Pools) и Railgun, оптимизируя форк Ambire и пользовательские пути. | Ссылка |
Всего выделено во 2 квартале 2026 года: 5,502,930.20 USD