Vitalik оновив дорожню карту Ethereum: зростає пріоритет приватності, квантової безпеки та оптимізації

Автор: Vitalik Buterin

Переклад: спільнота Denglian

Я оновив дорожню карту на 2023 рік, відобразивши позиції попередніх пунктів на поточній Strawmap.

Загалом, є значна перекриваність, проте:

• Деякі пункти були переглянуті по порядку (наприклад, квантова безпека стала більш пріоритетною)
• Деякі пункти були знижені в пріоритеті (наприклад, VDF; багато покращень EVM)
• Деякі пункти замінено кращими конструкціями (наприклад, Verkle → об'єднаний BT → PBT; закінчення стану → нові типи стану)

Нові напрямки поза дорожньою картою 2023

Однак, найбільш вражаючим є те, що у Strawmap з'явився ряд абсолютно нових пунктів, які не були присутні у попередній схемі — адже їх не було в дорожній карті 2023 року. Ці пункти відображають зміну пріоритетів.

Зокрема:

• Пріоритетна увага до сильної приватності. Це включає: keyed nonces та recent roots, декілька аспектів FOCIL, lean privacy pool і wormholes
• Агресивне масштабування в постквантовому контексті. Це включає: leanSPHINCS підписи та агрегування, zkzk frames
• Стандартизація та спрощення для допомоги формальній верифікації (повна формальна верифікація всіх компонентів можлива лише за допомогою сучасного AI)
• Blob і газові ф'ючерси (ця ідея не існувала у 2023 році)
• Нативні rollups (у 2023 році SNARK ще не був достатньо зрілим для розгляду цієї можливості)
• Більш відкритий дизайн-простір для "майбутнього EVM". zkzk frames вже означають, що протокол дозволить користувачам працювати з певною non-EVM ISA (Instruction Set Architecture—архітектура набору інструкцій)—провідними кандидатами наразі є leanISA та RISC-V. Ці ISA простіші, сучасніші й ефективніші за EVM. Як тільки вони з'являться, чому б не відкрити їх для всіх розробників? (А тоді, чому б не зробити EVM лише IR поверх ISA, а не складною фіксованою основою протоколу?) Проте більш глибокі дослідження на цю тему для Strawmap поки що передчасні.
• Нові типи стану — це не лише альтернатива закінченню стану, а й фундаментально інша парадигма масштабування Ethereum.

Загальні теми в масштабуванні

Існує спільна тема в масштабуванні, яка проявляється і в типах стану, і в zkzk frames (обидві — нові ідеї): ми не намагаємось до максимуму масштабувати всю діяльність у Ethereum, а прагнемо створити спеціалізовані механізми з суворими характеристиками, більш сприятливими для масштабування, підтримуючи навантаження користувачів і додатків як сьогодні (наприклад, трансфер токенів, обміни), так і завтра (наприклад, протоколи приватності).

Інша важлива тема — визнання STARK і AI-ускореної FV як пріоритету, на які ми готові поставити технологічне майбутнє Ethereum. Рекурсивний STARK присутній на багатьох рівнях протоколу, і одна особлива примітивна функція ("агрегувати до об'єднаної залежної верифікації") планується використовувати тричі: у EL, CL і DL. Це можливо лише з формальною верифікацією, а сама формальна верифікація здійсненна тільки за допомогою сучасних AI-інструментів.

Багато кроків до зрілості

Загалом, ми зробили чимало кроків до зрілості. І за цим стоять десятки Ethereum-дослідників і розробників, які доклали великих зусиль до впровадження всіх цих функцій.

Ethereum буде квантово безпечним. Ethereum поставить приватність користувачів на перше місце. Ethereum буде безпечним. Ethereum буде стійким до цензури. Ethereum матиме високу продуктивність та масштабованість, відповідаючи зазначеним вимогам. І Ethereum буде Lean.