Бутерін запропонував рекурсивні STARK для мемпулу Ethereum

EIP-8288, підготовлений Віталіком Бутеріним і Томасом Коратже та опублікований 3 червня 2026 року, вводить у мережу модель рекурсивної агрегації STARK-доказів у мемпулі Ethereum. Пропозиція додає до EIP-8141 новий тип фрейма, який дозволяє вузлам збирати криптографічні підписи й STARK-докази поза блокчейном і підтверджувати їх одним рекурсивним доказом без збереження всіх вихідних даних у блоці.

У документі описано концепцію dependency frames — частин транзакції з твердженнями про залежності між діями. Коли транзакція потрапляє в мемпул, вузли агрегують такі залежності, видаляють прострочені твердження і приблизно кожні 500 мілісекунд генерують рекурсивний STARK, що підтверджує зібрані залежності. Після цього вузли пересилають новий конверт з агрегованим доказом мережею.

За підрахунками авторів, вихідний трафік для кожного вузла становитиме один STARK розміром близько 100–300 КБ за цикл плюс одноразова пересилка самих транзакцій. Формування блоку в такій системі відбувається як робота ще одного вузла мемпулу: конструктор блоку формує власний STARK для тих залежностей, які планує включити, і додає цей доказ до блоку. На ланцюгу залишатиметься один STARK 100–300 КБ і по 96 байтів на кожне підтверджене твердження.

EIP-8288 містить розрахунки щодо витрат обчислень і газу. У документі вказано, що хешовані постквантові підписи нині займають близько 2–3 КБ і вимагають приблизно 150 000–200 000 газу на перевірку. Оптимізована приватна транзакція може коштувати близько 300 000 газу, а деякі постквантові приватні рішення потребують до 10 млн газу. Згідно з оцінками авторів, рекурсивний STARK у мемпулі може знизити ці витрати до рівня кількох десятків тисяч газу, оскільки дані підписів чи приватних доказів не зберігатимуться ончейн.

Пропозиція також передбачає можливість використання нових криптографічних схем без змін EVM. У документі згадують алгоритми Falcon, ML-DSA та схеми на основі ґраток, кодів і ізогеній, які можуть бути згорнуті в STARK на стороні клієнта, щоб зменшити ончейн-витрати.

EIP-8288 розширює можливості приватності через приватну абстракцію акаунта. Така абстракція дозволяє приховувати логіку облікового запису й виконувати зміну власника множини ончейн-об’єктів однією транзакцією без розкриття, які саме записи були змінені. На рівні виконання основна логіка транзакції перевірятиме наявність фрейма з відповідним твердженням замість прямої перевірки криптографічного доказу.

Для реалізації рекурсивних STARK пропонується визначитися з інструкційною архітектурою (ISA). У документі названо RISC‑V як головного кандидата, але остаточний вибір вимагає обговорення. EIP-8288 передбачає сумісність із FOCIL і використовує інструменти Lean Ethereum для підписів і STARK.

Про динаміку впровадження в соціальних мережах повідомив сам Бутерін. У повідомленні він зазначив: «Сподіваюся, Ethereum більше ніколи не потребуватиме політичної боротьби за те, щоб “підтримати мій улюблений криптографічний алгоритм”», і висловив намір включити EIP-8288 у I-star — форк, запланований після Hegota.