Однією з головних переваг Етеріуму є те, що активна спільнота дослідників та інженерів постійно його вдосконалює. Багато ентузіастів і кваліфікованих фахівців у всьому світі хотіли б долучитися до вирішення актуальних проблем Етеріуму, але не завжди легко дізнатися, що це за проблеми. На цій сторінці окреслено ключові активні напрямки досліджень як орієнтовний путівник по передових технологіях Етеріуму.
Як працюють дослідження Етеріуму
Дослідження Етеріуму є відкритими та прозорими, втілюючи принципи децентралізованої науки (DeSci) (opens in a new tab). Культура полягає в тому, щоб робити дослідницькі інструменти та результати максимально відкритими та інтерактивними, наприклад, за допомогою виконуваних блокнотів. Дослідження Етеріуму розвиваються швидко: нові результати публікуються та відкрито обговорюються на форумах, таких як ethresear.ch (opens in a new tab), а не доходять до спільноти через традиційні публікації після кількох етапів рецензування.
Загальні ресурси для досліджень
Незалежно від конкретної теми, безліч інформації про дослідження Етеріуму можна знайти на ethresear.ch (opens in a new tab) та на каналі Eth R&D у Discord (opens in a new tab). Це основні місця, де дослідники Етеріуму обговорюють найновіші ідеї та можливості для розробки.
Цей звіт, опублікований у травні 2022 року компанією DelphiDigital (opens in a new tab), надає хороший огляд дорожньої карти Етеріуму.
Джерела фінансування
Ви можете долучитися до досліджень Етеріуму та отримувати за це гроші! Наприклад, Фундація Ethereum нещодавно провела раунд фінансування академічних грантів (opens in a new tab). Інформацію про активні та майбутні можливості фінансування можна знайти на сторінці грантів Етеріуму.
Дослідження протоколу
Дослідження протоколу стосуються базового рівня Етеріуму — набору правил, що визначають, як вузли підключаються, спілкуються, обмінюються та зберігають дані Етеріуму, а також досягають консенсусу щодо стану блокчейну. Дослідження протоколу поділяються на дві основні категорії: консенсус та виконання.
Консенсус
Дослідження консенсусу стосуються механізму доказу частки (PoS) Етеріуму. Деякі приклади тем досліджень консенсусу:
- виявлення та усунення вразливостей;
- кількісна оцінка криптоекономічної безпеки;
- підвищення безпеки або продуктивності реалізацій клієнтів;
- та розробка легких клієнтів.
Окрім перспективних досліджень, вивчаються деякі фундаментальні зміни в дизайні протоколу, такі як однослотова фіналізація, щоб забезпечити значні покращення Етеріуму. Крім того, ефективність, безпека та моніторинг однорангової мережі між клієнтами консенсусу також є важливими темами для досліджень.
Матеріали для ознайомлення
- Вступ до доказу частки (PoS)
- Документ про Каспер FFG (opens in a new tab)
- Пояснення Каспер FFG (opens in a new tab)
- Документ про Gasper (opens in a new tab)
Останні дослідження
- Консенсус на Ethresear.ch (opens in a new tab)
- Дилема доступності/фінальності (opens in a new tab)
- Однослотова фіналізація (opens in a new tab)
- Розділення пропоузера та білдера (PBS) (opens in a new tab)
Виконання
Рівень виконання відповідає за виконання транзакцій, запуск віртуальної машини Етеріуму (EVM) та генерування корисного навантаження виконання для передачі на рівень консенсусу. Існує багато активних напрямків досліджень, зокрема:
- розбудова підтримки легких клієнтів;
- дослідження лімітів газу;
- та впровадження нових структур даних (наприклад, дерева Веркла).
Матеріали для ознайомлення
Останні дослідження
- Оптимізація баз даних (opens in a new tab)
- Експірація стану (opens in a new tab)
- Шляхи до експірації стану (opens in a new tab)
- Пропозиція щодо дерев Веркла та експірації стану (opens in a new tab)
- Управління історією (opens in a new tab)
- Дерева Веркла (opens in a new tab)
- Вибірка доступності даних (DAS) (opens in a new tab)
Розробка клієнтів
Клієнти Етеріуму — це реалізації протоколу Етеріуму. Розробка клієнтів втілює результати досліджень протоколу в реальність, інтегруючи їх у ці клієнти. Розробка клієнтів включає оновлення специфікацій клієнтів, а також створення конкретних реалізацій.
Вузол Етеріуму повинен запускати дві частини програмного забезпечення:
- клієнт консенсусу для відстеження вершини блокчейну, поширення блоків та обробки логіки консенсусу
- клієнт виконання для підтримки віртуальної машини Етеріуму та виконання транзакцій і смарт-контрактів
Перегляньте сторінку вузлів і клієнтів для отримання додаткової інформації про вузли та клієнти, а також для списку всіх поточних реалізацій клієнтів. Ви також можете знайти історію всіх оновлень Етеріуму на сторінці історії.
Клієнти виконання
Клієнти консенсусу
- Специфікація клієнта консенсусу (opens in a new tab)
- Специфікація API сигнального ланцюга (opens in a new tab)
Масштабування та продуктивність
Масштабування Етеріуму є великим напрямком уваги для дослідників Етеріуму. Поточні підходи включають перенесення транзакцій на ролапи та їх максимальне здешевлення за допомогою блобів даних. Вступна інформація про масштабування Етеріуму доступна на нашій сторінці масштабування.
Рівень 2 (l2)
Зараз існує кілька протоколів рівня 2 (l2), які масштабують Етеріум, використовуючи різні методи для пакетування транзакцій та їх захисту на рівні 1 (l1) Етеріуму. Це тема, що дуже швидко розвивається і має великий потенціал для досліджень та розробок.
Матеріали для ознайомлення
Останні дослідження
- Справедливе впорядкування для секвенсорів Arbitrum (opens in a new tab)
- Рівень 2 (l2) на Ethresear.ch (opens in a new tab)
- Дорожня карта, орієнтована на ролапи (opens in a new tab)
- L2BEAT (opens in a new tab)
Мости
Однією з конкретних сфер рівня 2 (l2), яка потребує більше досліджень і розробок, є безпечні та продуктивні мости. Це включає мости між різними мережами рівня 2 (l2) та мости між рівнем 1 (l1) і рівнем 2 (l2). Це особливо важливий напрямок досліджень, оскільки мости часто стають мішенню для хакерів.
Матеріали для ознайомлення
- Вступ до блокчейн-мостів
- Віталік про мости (opens in a new tab)
- Стаття про блокчейн-мости (opens in a new tab)
- Заблокована вартість у мостах (opens in a new tab)
Останні дослідження
Шардинг
Шардинг блокчейну Етеріуму вже давно є частиною дорожньої карти розробки. Однак зараз на перший план виходять нові рішення для масштабування, такі як «данкшардинг».
Попередник повного данкшардингу, відомий як прото-данкшардинг, був запущений з оновленням мережі Cancun-Deneb («Денкун»).
Матеріали для ознайомлення
- Нотатки про прото-данкшардинг (opens in a new tab)
- Відео Bankless про данкшардинг (opens in a new tab)
- Збірник досліджень шардингу Етеріуму (opens in a new tab)
- Данкшардинг (Polynya) (opens in a new tab)
Останні дослідження
- EIP-4844: Прото-данкшардинг (opens in a new tab)
- Віталік про шардинг та вибірку доступності даних (DAS) (opens in a new tab)
Апаратне забезпечення
Запуск вузлів на скромному апаратному забезпеченні є фундаментальним для збереження децентралізованого характеру Етеріуму. Тому активні дослідження щодо мінімізації вимог до апаратного забезпечення для запуску вузлів є важливим напрямком досліджень.
Матеріали для ознайомлення
Останні дослідження
Безпека
Безпека — це широка тема, яка може включати запобігання спаму/шахрайству, безпеку гаманців, апаратну безпеку, криптоекономічну безпеку, пошук помилок і тестування застосунків та клієнтського програмного забезпечення, а також управління ключами. Внесок у знання в цих сферах допоможе стимулювати масове впровадження.
Криптографія та ZKP
Доведення з нульовим розголошенням (ZKP) та криптографія є критично важливими для забезпечення приватності та безпеки в Етеріумі та його застосунках. Нульове розголошення — це відносно молода сфера, що швидко розвивається і має багато відкритих можливостей для досліджень і розробок. Деякі можливості включають розробку більш ефективних реалізацій алгоритму хешування Keccak (opens in a new tab), пошук кращих поліноміальних зобов'язань, ніж існують зараз, або зниження вартості генерації відкритого ключа ECDSA та схем перевірки підпису.
Матеріали для ознайомлення
- Блог 0xparc (opens in a new tab)
- zkp.science (opens in a new tab)
- Подкаст Zero Knowledge (opens in a new tab)
Останні дослідження
- Останні досягнення в криптографії на еліптичних кривих (opens in a new tab)
- ZK на Ethresear.ch (opens in a new tab)
Гаманці
Гаманці Етеріуму можуть бути розширеннями для браузера, десктопними та мобільними застосунками або смарт-контрактами в Етеріумі. Активно досліджуються гаманці із соціальним відновленням, які зменшують деякі ризики, пов'язані з управлінням ключами окремими користувачами. З розробкою гаманців пов'язані дослідження альтернативних форм абстракції облікового запису, що є важливим напрямком нових досліджень.
Матеріали для ознайомлення
- Вступ до гаманців
- Вступ до безпеки гаманців
- Безпека на Ethresear.ch (opens in a new tab)
- EIP-2938: Абстракція облікового запису (opens in a new tab)
- EIP-4337: Абстракція облікового запису (opens in a new tab)
Останні дослідження
- Гаманці на основі смарт-контрактів, орієнтовані на валідацію (opens in a new tab)
- Майбутнє облікових записів (opens in a new tab)
- EIP-3074: Опкоди AUTH та AUTHCALL (opens in a new tab)
- Публікація коду за адресою EOA (opens in a new tab)
Спільнота, освіта та популяризація
Онбординг нових користувачів в Етеріум вимагає нових освітніх ресурсів і підходів до популяризації. Це може включати публікації в блогах і статті, книги, подкасти, меми, навчальні ресурси, події та все інше, що створює спільноти, вітає новачків і навчає людей про Етеріум.
UX/UI
Щоб залучити більше людей до Етеріуму, екосистема повинна покращити UX/UI. Це вимагатиме від дизайнерів та експертів з продуктів переглянути дизайн гаманців і застосунків.
Матеріали для ознайомлення
Останні дослідження
- Discord-канал Web3 Design (opens in a new tab)
- Принципи дизайну Web3 (opens in a new tab)
- Обговорення UX на Ethereum Magicians (opens in a new tab)
Економіка
Економічні дослідження в Етеріумі загалом дотримуються двох підходів: перевірка безпеки механізмів, що спираються на економічні стимули («мікроекономіка»), та аналіз потоків вартості між протоколами, застосунками та користувачами («макроекономіка»). Існують складні криптоекономічні фактори, пов'язані з нативним активом Етеріуму (етером) і токенами, створеними на його основі (наприклад, NFT і токени ERC-20).
Матеріали для ознайомлення
Останні дослідження
- Емпіричний аналіз EIP-1559 (opens in a new tab)
- Рівновага циркулюючої пропозиції (opens in a new tab)
- Кількісна оцінка MEV: Наскільки темний ліс? (opens in a new tab)
Блоковий простір та ринки комісій
Ринки блокового простору регулюють включення транзакцій кінцевих користувачів, як безпосередньо в Етеріумі (рівень 1 (l1)), так і в з'єднаних мережах, наприклад, ролапах (рівень 2 (l2)). В Етеріумі транзакції подаються на ринок комісій, розгорнутий у протоколі як EIP-1559, що захищає ланцюг від спаму та встановлює ціну за перевантаження. На обох рівнях транзакції можуть створювати екстерналії, відомі як максимально видобувна цінність (MEV), які спонукають до створення нових ринкових структур для захоплення або управління цими екстерналіями.
Матеріали для ознайомлення
- Дизайн механізму комісій за транзакції для блокчейну Етеріуму: Економічний аналіз EIP-1559 (Тім Рафгарден, 2020) (opens in a new tab)
- Симуляції EIP-1559 (Robust Incentives Group) (opens in a new tab)
- Економіка ролапів з перших принципів (opens in a new tab)
- Flash Boys 2.0: Фронтраннінг, перевпорядкування транзакцій та нестабільність консенсусу на децентралізованих біржах (opens in a new tab)
Останні дослідження
- Відеопрезентація багатовимірного EIP-1559 (opens in a new tab)
- Кросдоменний MEV (opens in a new tab)
- Аукціони MEV (opens in a new tab)
Стимули доказу частки (PoS)
Валідатори використовують нативний актив Етеріуму (етер) як заставу проти нечесної поведінки. Криптоекономіка цього процесу визначає безпеку мережі. Досвідчені валідатори можуть використовувати нюанси рівня стимулів для здійснення явних атак.
Матеріали для ознайомлення
- Майстер-клас з економіки Етеріуму та економічна модель (opens in a new tab)
- Симуляції стимулів PoS (Robust Incentives Group) (opens in a new tab)
Останні дослідження
- Підвищення стійкості транзакцій до цензури в умовах розділення пропоузера та білдера (PBS) (opens in a new tab)
- Три атаки на PoS Етеріуму (opens in a new tab)
Ліквідний стейкінг та деривативи
Ліквідний стейкінг дозволяє користувачам, які мають менше 32 ETH, отримувати дохід від стейкінгу, обмінюючи етер на токен, що представляє застейканий етер, який можна використовувати в децентралізованих фінансах (DeFi). Однак стимули та ринкова динаміка, пов'язані з ліквідним стейкінгом, все ще вивчаються, як і його вплив на безпеку Етеріуму (наприклад, ризики централізації).
Матеріали для ознайомлення
- Ліквідний стейкінг на Ethresear.ch (opens in a new tab)
- Lido: Шлях до бездовірчого стейкінгу Етеріуму (opens in a new tab)
- Rocket Pool: Вступ до протоколу стейкінгу (opens in a new tab)
Останні дослідження
- Обробка виведення коштів з Lido (opens in a new tab)
- Облікові дані для виведення (opens in a new tab)
- Ризики деривативів ліквідного стейкінгу (opens in a new tab)
Тестування
Формальна верифікація
Формальна верифікація — це написання коду для перевірки того, що специфікації консенсусу Етеріуму є правильними та не містять помилок. Існує виконувана версія специфікації, написана на Python, яка потребує підтримки та розробки. Подальші дослідження можуть допомогти покращити реалізацію специфікації на Python і додати інструменти, які зможуть більш надійно перевіряти правильність і виявляти проблеми.
Матеріали для ознайомлення
- Вступ до формальної верифікації (opens in a new tab)
- Формальна верифікація (Intel) (opens in a new tab)
Останні дослідження
- Формальна верифікація депозитного контракту (opens in a new tab)
- Формальна верифікація специфікації сигнального ланцюга (opens in a new tab)
Наука про дані та аналітика
Існує потреба в більшій кількості інструментів для аналізу даних та інформаційних панелей, які надають детальну інформацію про активність в Етеріумі та стан мережі.
Матеріали для ознайомлення
- Dune Analytics (opens in a new tab)
- Інформаційна панель різноманітності клієнтів (opens in a new tab)
Останні дослідження
Застосунки та інструменти
Рівень застосунків підтримує різноманітну екосистему програм, які здійснюють розрахунки за транзакціями на базовому рівні Етеріуму. Команди розробників постійно знаходять нові способи використання Етеріуму для створення компонованих, бездозвільних і стійких до цензури версій важливих застосунків Веб2 або створення абсолютно нових концепцій, орієнтованих на Web3. Водночас розробляються нові інструменти, які роблять створення децентралізованих застосунків (dapp) в Етеріумі менш складним.
DeFi
Децентралізовані фінанси (DeFi) — це один з основних класів застосунків, створених на базі Етеріуму. DeFi має на меті створити компоновані «грошові лего», які дозволяють користувачам зберігати, переказувати, позичати, брати в борг та інвестувати криптоактиви за допомогою смарт-контрактів. DeFi — це простір, що швидко розвивається і постійно оновлюється. Дослідження безпечних, ефективних і доступних протоколів потрібні постійно.
Матеріали для ознайомлення
Останні дослідження
- Децентралізовані фінанси, централізована власність? (opens in a new tab)
- Optimism: Шлях до транзакцій дешевше долара (opens in a new tab)
DAO
Важливим варіантом використання Етеріуму є можливість організовуватися децентралізовано за допомогою DAO. Існує багато активних досліджень щодо того, як DAO в Етеріумі можуть бути розроблені та використані для реалізації вдосконалених форм управління, як інструмент координації з мінімізованою довірою, що значно розширює можливості людей за межі традиційних корпорацій та організацій.
Матеріали для ознайомлення
Останні дослідження
Інструменти для розробників
Інструменти для розробників Етеріуму швидко вдосконалюються. У цій загальній сфері проводиться багато активних досліджень і розробок.
Матеріали для ознайомлення
- Інструменти за мовами програмування
- Фреймворки для розробників
- Список інструментів для розробників консенсусу (opens in a new tab)
- Стандарти токенів
- CryptoDevHub: Інструменти EVM (opens in a new tab)
Останні дослідження
Оракули
Оракули імпортують позамережеві дані в блокчейн у бездозвільний та децентралізований спосіб. Отримання цих даних ончейн дозволяє децентралізованим застосункам (dapp) реагувати на явища реального світу, такі як коливання цін на реальні активи, події в позамережевих застосунках або навіть зміни погоди.
Матеріали для ознайомлення
Останні дослідження
Безпека застосунків
Зломи в Етеріумі зазвичай використовують вразливості в окремих застосунках, а не в самому протоколі. Хакери та розробники застосунків перебувають у стані гонки озброєнь, розробляючи нові атаки та засоби захисту. Це означає, що завжди потрібні важливі дослідження та розробки, щоб убезпечити застосунки від зломів.
Матеріали для ознайомлення
- Звіт про експлойт Wormhole (opens in a new tab)
- Список звітів про зломи контрактів Етеріуму (opens in a new tab)
- Rekt News (opens in a new tab)
Останні дослідження
Технологічний стек
Децентралізація всього технологічного стека Етеріуму є важливим напрямком досліджень. Наразі децентралізовані застосунки (dapp) в Етеріумі зазвичай мають певні точки централізації, оскільки вони покладаються на централізовані інструменти або інфраструктуру.
Матеріали для ознайомлення
- Стек Етеріуму
- Coinbase: Вступ до стека Web3 (opens in a new tab)
- Вступ до смарт-контрактів
- Вступ до децентралізованого сховища