У 2 кварталі 2026 року ми продовжили зосереджуватися на підвищенні стійкості та можливостей Етеріуму, підтримуючи ключові роботи з доведень з нульовим розголошенням, різноманітності клієнтів, формальної верифікації та інструментів з відкритим вихідним кодом. Нижче наведено список проєктів та екосистемних ініціатив, які отримали підтримку цього кварталу, поки будівельники створюють та зміцнюють мережу.
Ознайомтеся з повним списком проєктів, які фінансуються EF, на вебсайті ESP тут!
| Домен | Категорія | Назва проєкту | Опис | Посилання/Репозиторій |
|---|---|---|---|---|
| DAO/Управління | Дослідження | Дослідницька стипендія для викладачів: Дослідження Етеріуму (навчальний рік 2025–2026) | Дозволяє професору Стрнаду (Prof. Strnad) присвятити значний час дослідженням проблем, орієнтованих на Етеріум, включаючи управління DAO, адміністрування децентралізованих систем та періоди оскарження оптимістичних ролапів (optimistic rollup), одночасно консультуючи стипендіатів OpenLab. | |
| Безпека | Дослідження | Безпека EL+CL та Гламстердам | Підвищує безпеку Етеріуму шляхом проактивного виявлення вразливостей у клієнтах рівня виконання та рівня консенсусу напередодні оновлення Гламстердам. Це дослідження посилює стійкість мережі. | |
| Вузли та клієнти | Застосунок | Лодстар 2026 | Розробляє та підтримує клієнт консенсусу Лодстар, впроваджуючи хардфорки та роблячи внесок у дослідження протоколу. Це підтримує користувацький досвід (UX) операторів та екосистемні інструменти для спільнот Етеріуму, що використовують TypeScript та Zig. | Посилання |
| Протокол Етеріум | Застосунок | Лайтхаус — з травня по жовтень 2026 року | Розробка клієнта Лайтхаус продовжується з ePBS, Gloas та мережевим обміном частковими повідомленнями для Головної мережі. Ця робота розширює синхронізацію дерев, фреймворк тестування Diamond та консенсус, верифікований за допомогою ZK. Також просуваються зусилля з формальної верифікації та посилення безпеки клієнта. | Посилання |
| Криптографія | Інструменти для розробників | Інструменти Poulpy PIR | Розробляє бібліотеку приватного пошуку інформації (Private Information Retrieval) виробничого рівня на базі Rust. Це забезпечує ефективні пакетовані запити для баз даних «ключ-значення» об'ємом до 32 ГБ, оптимізуючи зв'язок між сервером і клієнтом без необхідності зберігати стан. | Посилання |
| Протокол Етеріум | Інструменти для розробників | ETHeorem | Зіставляючи специфікації консенсусу Етеріуму з реалізаціями клієнтів, ETHeorem забезпечує систематичну оцінку безпеки для Лайтхаус, Призм, geth та Рет. Ця агентна система поєднує LLM з аналізом програм для повного охоплення стека. | |
| Протокол Етеріум | Застосунок | Ream — легкий клієнт консенсусу на Rust | Розробляє Ream, легкий клієнт консенсусу на базі Rust, для просування постквантового консенсусу зі швидкою фінальністю та 4-секундними слотами. Це оновлення підтримує розробку основного клієнта, посилення інфраструктури тестування та масштабування devnet-мереж до 10 000 валідаторів. | Посилання |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Група надійних стимулів (Robust Incentives Group) | Моделює економічні стимули та поведінку учасників для оптимізації теорії ігор протоколу, підвищуючи стабільність та ефективність мережі. | |
| Інфраструктура застосунків | Дослідження | Оптимізація LLM для Етеріуму (Inseeq) | Покращує моделі ШІ за допомогою сучасних інструментів розробки Етеріуму та даних ethskills. Це підвищує точність LLM і посилює привабливість Етеріуму для розробників, які шукають блокчейн для створення своїх проєктів. | Посилання |
| Криптографія | Дослідження | Технічний огляд перетворення Фіата-Шаміра з дуплексних губок (Duplex Sponges) | Проводить аудит аргументів безпеки перетворень Фіата-Шаміра, реалізованих за допомогою дуплексних губок. Ця робота прояснює ключові абстракції для підтримки майбутньої формалізації в Lean, посилюючи системи доведень з нульовим розголошенням. | |
| Доведення з нульовим розголошенням | Дослідження | Додаткове обладнання Ethproofs — Brevis | Brevis створює локальний (on-premise) стек доведення блоків рівня 1 (l1) на базі кількох графічних процесорів (multi-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) на локальні установки з кількома графічними процесорами. Це дозволить провести стрес-тестування операційної стійкості та зменшити залежність від хмарних технологій, створивши посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом для майбутніх доводжувачів. | |
| Доведення з нульовим розголошенням | Дослідження | Додаткове обладнання Ethproofs — SilentSig | Дозволяє ZisK перевести свій стек доведення блоків рівня 1 (l1) на локальні конфігурації з кількома графічними процесорами. Ця ініціатива створить посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом, щоб зменшити залежність екосистеми від централізованих хмарних провайдерів. | |
| Інше | Розвиток екосистеми | Програма підготовки викладачів навчальної програми з блокчейну для Мінданао | Дозволяє 8 філіппінським академічним установам розробити навчальні програми з блокчейну. Підтримує викладачів у тому, щоб вони стали тренерами, сприяючи місцевій освіті з Етеріуму за допомогою 6-денної програми. | |
| Інфраструктура застосунків | Інструменти для розробників | mevlog-rs — CLI/TUI для запитів транзакцій EVM на базі Revm | Індексує ончейн-дані в локальну базу даних SQLite, доступну через TUI та MCP. Цей інструмент забезпечує гнучкі локальні запити та обмін результатами через IPFS для розробників та агентів LLM. | Посилання |
| Протокол Етеріум | Дослідження | Твердження транзакцій (Transaction Assertions) | Дозволяє користувачам програмно перевіряти результати транзакцій перед підписанням за допомогою EIP-7906. Це включає позитивні та негативні умови для будь-якого смарт-контракту, підвищуючи безпеку та контроль користувачів. | Посилання |
| Рівень застосунків | Застосунок | Steward, суверенний гаманець Етеріуму з вбудованим ШІ-асистентом | Створює Steward, повністю локальний гаманець смарт-акаунтів Етеріуму для macOS. Кожен компонент, від легкого клієнта до ШІ-асистента, працює на пристрої, забезпечуючи наскрізну верифіковану безпеку та суверенність. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Криптографія | Розробляє нові криптографічні примітиви та протоколи безпеки, підвищуючи базову безпеку та приватність Етеріуму для всіх користувачів. | |
| Приватність | Дослідження | Проєкт відкритої анонімності (The Open Anonymity Project) | Забезпечує незв'язний доступ до закритих сервісів API, починаючи з логічного висновку ШІ. Цей модульний стек з відкритим вихідним кодом використовує сліпі підписи та сервери, сумісні з TEE, для анонімної перевірки кредитів. | |
| Доведення з нульовим розголошенням | Дослідження | Додаткове обладнання Ethproofs — Matter Labs | Вдосконалює стек доведення блоків рівня 1 (l1) від Matter Labs шляхом переходу на локальні конфігурації з кількома графічними процесорами. Ця ініціатива проводить стрес-тестування операційної стійкості та зменшує залежність від хмарних технологій, створюючи посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Криптографічні дослідження | Формалізує модель безпеки зашифрованих мемпулів (Encrypted Mempools), підвищуючи приватність транзакцій та стійкість мережі для користувачів Етеріуму. | |
| Безпека | Інструменти для розробників | Verity | Розробляє Verity, мову смарт-контрактів на базі Lean 4 та формально верифікований компілятор. Це дозволяє розробникам писати, формально специфікувати та доводити властивості контрактів, компілюючи їх у байт-код EVM з верифікованою семантикою. | Посилання |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Снаркіфікація протоколу (Protocol Snarkification) | Верифікує криптографічні протоколи та схеми zkVM, забезпечуючи математичну коректність інфраструктури масштабування Етеріуму за допомогою формальних методів. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Група надійних стимулів (Robust Incentives Group) | Оптимізує теорію ігор протоколу, застосовуючи дизайн механізмів та економічне моделювання для розуміння та покращення стимулів учасників. | |
| Протокол Етеріум | Розвиток екосистеми | ZK + дослідницька робота з тестування | Досліджує поведінку середовища виконання zkVM на різному обладнанні для оптимізації продуктивності доведення. Це дослідження має на меті виявити вузькі місця та забезпечити більш практичне доведення майже в реальному часі для застосунків Головної мережі Етеріуму. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Geth | Підтримує розробку основного протоколу Geth, обслуговування клієнта та впровадження нових пропозицій щодо покращення Етеріуму (EIP). | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Прототипування протоколу | Перетворює нові дослідження протоколу на робочий код. Це дозволяє емпірично тестувати теоретичні припущення та кількісно оцінювати компроміси в дизайні для майбутніх оновлень Етеріуму. | |
| Безпека | Застосунок | SafeLens | Забезпечує офлайн-верифікацію транзакцій з мультипідписом Gnosis Safe. SafeLens генерує пакети доказів для підписів, хешів та збагачених доведень, дозволяючи локальне відтворення транзакцій та надання зрозумілих для людини деталей за допомогою вбудованих інтерпретаторів. | Посилання |
| Доведення з нульовим розголошенням | Дослідження | Ініціатива локальних доводжувачів на базі кількох графічних процесорів Ethproofs — SilentSig | Дозволяє ZisK перевести доведення блоків рівня 1 (l1) на локальні установки з кількома графічними процесорами. Ця ініціатива проводить стрес-тестування операційної стійкості та зменшує залежність від хмарних технологій, створюючи посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом для екосистеми. | Посилання |
| Доведення з нульовим розголошенням | Дослідження | Ініціатива локальних доводжувачів на базі кількох графічних процесорів Ethproofs — Brevis | Розробляє посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом, що дозволяє доводжувачам блоків рівня 1 (l1) переходити від хмарних середовищ до стійких конфігурацій з кількома графічними процесорами, зменшуючи централізовані залежності. | Посилання |
| Вузли та клієнти | Застосунок | Gean, легкий клієнт консенсусу Етеріуму | Створює довгострокову стійкість Етеріуму за допомогою Gean, нового клієнта консенсусу на базі Go. Ця реалізація з відкритим вихідним кодом замінює вразливу до квантових атак криптографію та урізноманітнює екосистему клієнтів з Африки. | Посилання |
| Приватність | Інструменти для розробників | Приватні читання Quixote + інтеграція з Aave | Вдосконалює Quixote, індексатор подій EVM на Rust, за допомогою приватних читань на базі Tor та підтримки GraphQL. Демонструє його цінність шляхом інтеграції у фронтенд Aave, замінюючи TheGraph для покращеного доступу до даних. | Посилання |
| Безпека | Інструменти для розробників | Агенти безпеки протоколу Етеріум — SPECA та LeanAgent | Розробляє систему на базі LLM для автоматизації перевірки відповідності специфікаціям клієнтів Етеріуму та виявлення помилок. Це включає формальну верифікацію Gasper у Lean 4 та конвеєр для перенесення результатів SPECA у формальні специфікації Lean 4. | |
| Безпека | Інструменти для розробників | Аналізатор коду Cantina Apex AI для виявлення вразливостей безпеки | Покращує стан безпеки Етеріуму за допомогою 52 сканувань смарт-контрактів на базі ШІ для репозиторіїв клієнтів та протоколів протягом наступного року. | |
| Криптографія | Дослідження | leanVM в умовах обмежень Біткоїна | Оптимізує агрегацію постквантових підписів leanVM для рівня консенсусу Етеріуму. Ця робота підвищує швидкість, покращує ефективність та забезпечує сумісність з Біткоїном для встановлення загальногалузевого стандарту. | Посилання |
| Інше | Розвиток екосистеми | Програмування конвергенції ШІ та Етеріуму в Римі | Сприяючи перетину ШІ та Етеріуму, Urbe Hub у Римі проводить регулярні воркшопи, демонстрації та сесії для будівельників. Ця ініціатива культивує заходи з обміну досвідом, зміцнюючи обидві спільноти та співпрацюючи з командою EF dAI. | Посилання |
| Криптографія | Інструменти для розробників | Швидка арифметика полів для CompPoly | Розробляє ефективні, верифіковані реалізації простих та бінарних баштових полів у Lean4. Ця робота охоплює малі поля STARK, великі поля SNARK/кривих та бінарні баштові поля, правильність яких доведена за допомогою RingEquiv. | Посилання |
| Рівень застосунків | Дослідження | Дослідження та розробка «розумно необхідних» передових (Frontier) варіантів використання Етеріуму | Досліджує унікальні варіанти використання Етеріуму з реальним впливом. Це дослідження також вивчає нові організаційні структури поза традиційними крипто-установками. | |
| Доведення з нульовим розголошенням | Інструменти для розробників | Бібліотека поліномів CompPoly для Lean — частини дорожньої карти 2 | Оптимізує обчислення поліномів у CompPoly за допомогою методів Горнера, пакетування та NTT. Реалізує та верифікує алгоритм Гурусвамі-Судана для zkVM, укомплектований доведеннями Lean та бенчмарками. | Посилання |
| Безпека | Застосунок | Аналіз відповідності клієнтів Етеріуму на базі LLM | Підвищує безпеку клієнтів Етеріуму шляхом розгортання ШІ-агентів для сканування Geth, Незермайнд, Лайтхаус та Призм на відповідність специфікаціям EIP, виявляючи розбіжності та помилки в крайніх випадках. | |
| Інше | Дослідження | Ончейн-інструменти капіталу для цифрових суспільних благ | Розробляє ончейн-інструменти фінансування ESG для цифрових суспільних благ, використовуючи Етеріум для переходу фінансування суспільних благ від грантів до масштабованих ринків капіталу. Ця ініціатива розробляє механізми, подібні до облігацій, для великомасштабної інфраструктури. | Посилання |
| Криптографія | Інструменти для розробників | Двовимірні поліноми — CompPoly Фаза 2, Пункт 6 | Розширює CompPoly розширеними операціями з двовимірними поліномами, включаючи інфраструктуру Гурусвамі-Судана та оптимізацію продуктивності, таку як підстановка Кронекера, покращуючи розробку криптографічних примітивів. | |
| Криптографія | Дослідження | Проблема рекурсивного вилучення | Досліджує безпеку рекурсивних SNARK, вивчаючи межі екстракторів знань у глибокій рекурсії. Це дослідження проаналізує варіанти SNARK із суперполіноміальною складністю екстрактора для створення нових фреймворків доведень для реальних систем. | |
| Криптографія | Розвиток екосистеми | Ефективний односерверний PIR для індексаторів Етеріуму | Оцінює сучасні схеми приватного пошуку інформації (Private Information Retrieval) для доступу до даних Етеріуму. Ця робота визначить передову схему, укомплектовану тестами для багаторазового використання, щоб підвищити приватність користувачів і зменшити ризики MEV. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Poseidon | Розробляє ефективні схеми постквантових підписів для рівня виконання Етеріуму, використовуючи конструкції на базі Poseidon для підготовки мережі до постквантового переходу. | |
| Доведення з нульовим розголошенням | Дослідження | Ініціатива локальних доводжувачів на базі кількох графічних процесорів Ethproofs — Matter Labs | Децентралізує доведення блоків рівня 1 (l1) шляхом перенесення інфраструктури з хмари на локальні установки з кількома графічними процесорами. Ця ініціатива відкриє вихідний код посібника з локальних операцій (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 та зовнішніми джерелами фінансування. Це допомагає важливим проєктам суспільних благ забезпечити життєво необхідну підтримку від урядових, благодійних та екосистемних партнерів. | |
| Доведення з нульовим розголошенням | Дослідження | Ініціатива локальних доводжувачів на базі кількох графічних процесорів Ethproofs — Succinct Labs | Дозволяє децентралізованим доводжувачам переходити від хмарних до локальних установок з кількома графічними процесорами. Ця ініціатива створить посібник з локальних операцій (On-Prem Ops Playbook) з відкритим вихідним кодом, зміцнюючи стійкість екосистеми та зменшуючи залежність від централізованої інфраструктури. | |
| Безпека | Інструменти для розробників | Octane: Безпека протоколу на базі LLM для клієнтів Етеріуму | Підвищує безпеку смарт-контрактів за допомогою виявлення вразливостей на базі ШІ. Ця підписка надає 25 комплексних сканувань, інформаційну панель проєкту та VIP-підтримку для щонайбільше чотирьох клієнтських проєктів. | Посилання |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | zkEVM | Просуває дослідження ZK-EVM, розробляючи рішення для масштабування та інтегруючи ZK-доведення безпосередньо в рівень виконання Етеріуму. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Безпека протоколу | Покращує стан безпеки Етеріуму за допомогою проактивних перевірок коду, передових інструментів та надійного управління програмою винагород за виявлення помилок (bug bounty). | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Консенсус протоколу | Аналізує механізми консенсусу для посилення довгострокової децентралізації. Це дослідження допомагає подолати розрив між поточними гарантіями протоколу та майбутніми цілями мережі. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Криптографія | Підтримує дослідження передових криптографічних примітивів та протоколів безпеки, забезпечуючи подальше лідерство Етеріуму в безпечних технологіях, що зберігають приватність. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | Криптографія | Просуває криптографічну безпеку Етеріуму шляхом розробки та аналізу нових примітивів і протоколів. Це забезпечує надійну технологію, що зберігає приватність, для майбутнього. | |
| Протокол Етеріум | Розвиток екосистеми | День верифікованої zkEVM ArkLib на ZKProof 8 | Розширює зусилля зі стандартизації ZKP, об'єднуючи понад 1000 фахівців-практиків на Дні ArkLib під час ZKProof 8. Цей захід сприяє співпраці у сфері формальної верифікації та прикладних доведень з нульовим розголошенням. | Посилання |
| Безпека | Інструменти для розробників | Компілятор з Noir у LLZK | Розробляє компілятор з Noir у LLZK, об'єднуючи дві критично важливі екосистеми SNARK. Це підвищує інтероперабельність і розширює базу розробників для інструментів LLZK, посилюючи зусилля Етеріуму щодо безпеки SNARK. | Посилання |
| Рівень застосунків | Інструменти для розробників | Компонована оркестрація, пакетування UX Етеріуму та інтероперабельність | Забезпечує динамічне пакетування смарт-акаунтів та виконання на основі предикатів. Цей проєкт стандартизує та відкриває вихідний код виробничого стека оркестрації, роблячи компоновані багатоетапні мультичейн-транзакції суспільним благом для екосистеми Етеріуму. | Посилання |
| Доведення з нульовим розголошенням | Інструменти для розробників | Покращена інфраструктура доведення для RISC-V zkVM | Верифікує арифметизацію SP1 Hypercube zkVM за допомогою Lean 4, формально доводячи, що її системи обмежень правильно реалізують семантику RISC-V ISA для кожної інструкції. | |
| Протокол Етеріум | Розвиток екосистеми | Програма стажування 2026 | zkEVM | Просуває дослідження ZK-EVM, розробляючи рішення для масштабування та інтегруючи ZK-доведення безпосередньо в рівень виконання Етеріуму для підвищення ефективності. | |
| Приватність | Застосунок | Підтримка фронтенду гаманця Kohaku | Вдосконалює розширення для браузера Kohaku для створення надійного гаманця з пріоритетом приватності (privacy-first) у мережі Sepolia. Інтегрує Privacy Pools та Railgun, оптимізуючи форк Ambire та користувацькі потоки. | Посилання |
Загальна сума фінансування у 2 кварталі 2026 року: 5,502,930.20 USD