Віталік Бутерін запропонував нову рамку для перебудови транзакцій Ethereum

CoinMarketCap повідомляє: Віталік Бутерін представив довгострокове бачення еволюції моделі транзакцій Ethereum — із розділенням транзакції на "дії" (actions) та "залежності" (dependencies). "Дії" відповідають за зміну стану ончейна, тоді як "залежності" мають підтверджувати, що до виконання вже виконані вимоги щодо підпису, доказу стану та загальної валідності. За такої побудови частину перевірок можна завершувати ще до включення транзакцій у блоки, що відкриває потенціал для більшого паралельного опрацювання: валідація та виконання фактично розводяться по різних етапах. Нинішній процес у Ethereum зазвичай поєднує авторизацію, оплату комісій і виконання контракту в одному конвеєрі. Нодам доводиться одночасно перевіряти коректність підпису, спроможність відправника сплатити комісію та те, чи завершиться виконання транзакції успішно. Бутерін вважає, що частина таких перевірок не залежить від фінальних змін стану і теоретично може виконуватися окремо. До категорії "залежностей" він відносить, зокрема, цифрові підписи, zero-knowledge докази або певні докази валідності, які не спираються на зміни ончейн-стану. Якщо транзакції чітко декларують, до яких станів звертатимуться, мемпул зможе простіше визначати, які умови залежать від попередніх транзакцій, а які перевірки можна зробити наперед. У результаті більш передбачувані транзакції можуть отримати вищу ефективність перевірки. У цьому ж напрямі з'явився чернетковий проєкт EIP8141. Він пропонує новий тип транзакції — Frame Transaction — що розбиває транзакцію на кілька "кадрів" викликів для окремого опрацювання перевірки авторизації, оплати комісії та виконання користувацької операції. У чернетковому дизайні валідність транзакції та правила оплати комісії більше не прив'язані повністю до стандартних підписів "зовнішнього шару": код акаунта може визначати власні методи авторизації та правила платежів. Перевірочний кадр підтверджує виконання умов, а кадр надсилання відповідає за фактичну зміну стану. Така структура також розглядається як крок до узгодження базового формату транзакцій між різними мережами на EVM. EIP8141 залишається на стадії core draft: пропозицію ще не включено до жодного оновлення Ethereum mainnet, і графік розгортання не визначено. Під час обговорення розробники підняли низку технічних питань, зокрема ризики denial-of-service, правила заміни транзакцій, сумісність із гаманцями та збирачами блоків, а також обмеження на кількість непідтверджених транзакцій від одного відправника в публічному мемпулі. Обговорення цих тем триває. Довша перспектива Бутеріна виходить за межі EIP8141. Для "чистих залежностей", які не потребують доступу до ончейн-стану, він описує модель, де попередню перевірку можна виконувати на рівні мемпула, а не повторювати її кожним валідатором. За такого підходу мережа здатна стискати набір уже виконаних перевірок у рекурсивний доказ STARK, який потім перевіряється узагальнено. Мета — зменшити надлишкові обчислення та зняти частину верифікаційного навантаження. Бутерін також зазначив, що подібна схема потенційно може допомогти Ethereum адаптуватися до постквантових криптографічних схем у майбутньому, адже квантово-стійкі підписи зазвичай більші та дорожчі для перевірки. Якщо акаунти зможуть кастомізувати методи авторизації й поєднувати це з рекурсивною агрегацією доказів, супутні витрати на перевірку можуть знизитися. Водночас цей блок ідей перебуває на дослідницькій стадії та не входить до поточної специфікації EIP8141. Для повної реалізації залишаються виклики, пов'язані з генерацією доказів, координацією мемпула, доступністю даних і захистом від накопичення помилок під час агрегації.