Віталік Бутерін запропонував нову довгострокову модель обробки транзакцій Ethereum, основна ідея якої полягає у розділенні «дій» і «залежностей» у транзакціях. Перші відповідають за зміну стану ланцюга, а другі використовуються для підтвердження того, що до виконання транзакція вже задовольняє умови підпису, доказу стану та валідності. Згідно з цією концепцією, частину роботи з перевірки можна виконати до включення транзакції в блок, що також збільшує простір для паралельної обробки.
Перевірка та виконання угод будуть оброблятися окремо
Поточний процес обробки транзакцій Ethereum зазвичай об’єднує авторизацію, оплату комісій та виконання контракту в одній ланцюжці обробки. Вузол повинен одночасно перевірити, чи є підпис дійсним, чи може відправник оплатити комісію, та чи буде виконання транзакції успішним.
Бутерін вважає, що деякі з цих перевірок не залежать від кінцевих змін стану і теоретично можуть оброблятися окремо. Наприклад, цифрові підписи, нульові знання або деякі докази справедливості, що не залежать від змін стану ланцюга, можна віднести до категорії «залежних».
Якщо транзакція чітко вказує, які стани вона збирається відвідати, мемпул легше визначає, які умови впливають на попередні транзакції, а які перевірки можна виконати заздалегідь. Це означає, що більш передбачувані транзакції можуть мати вищу ефективність перевірки.
EIP-8141 все ще на етапі проекту
З цією ідеєю пов’язаний проект пропозиції EIP-8141. Ця пропозиція вводить новий тип транзакції, який називається Frame Transaction. Вона розбиває одну транзакцію на кілька кадрів викликів для окремої обробки авторизації, сплати комісій та виконання дій користувача.
Згідно з проектом, дійсність транзакцій та оплата комісій більше не залежать повністю від стандартного підпису зовнішнього рівня. Код облікового запису може самостійно визначати способи авторизації та правила оплати. Фрейм перевірки відповідає за підтвердження виконання умов, а фрейм відправлення — за реальне змінення стану.
Ця структура також вважається сприятливою для впровадження більш однорідного формату транзакцій між різними EVM-мережами. Однак EIP-8141 наразі залишається основним проектом і ще не включений до оновлень основної мережі Ethereum, а також не має чіткого графіку впровадження.
У ході обговорення розробників також були підняті кілька технічних питань, включаючи ризики відмови в обслуговуванні, правила заміни транзакцій, адаптація гаманців і будівників блоків, а також обмеження загального пулі транзакцій на кількість очікуючих транзакцій від одного відправника. Ці питання ще потребують подальшої збіжності.
Рекурсивні STARK або зменшення повторних перевірок
Довгостроковий напрямок, запропонований Бутеріном, не обмежується EIP-8141. Він також уявляє, що для «чистих залежностей», які не потребують доступу до ланцюгового стану, перевірка може бути виконана на рівні мемпулу, а не повторюватися кожним валідатором.
У цій моделі мережа може стиснути кілька завершених перевірок у рекурсивний STARK-доказ, який потім перевіряється одним перевіряючим. Мета цього — зменшити повторні обчислення та зменшити частину навантаження на перевірку.
Він також зазначив, що цей підхід у майбутньому може допомогти Ефірею адаптуватися до післяквантових криптографічних схем. Причина полягає в тому, що кванто-стійкі підписи зазвичай більші за розміром і вимагають більших витрат на перевірку. Якщо облікові записи зможуть налаштовувати способи авторизації разом із рекурсивним агрегуванням доказів, витрати на перевірку можуть знизитися.
Проте ця частина контенту наразі залишається на дослідному етапі і не входить до поточних норм EIP-8141. Для реального впровадження необхідно вирішити питання генерації доказів, взаємодії з мемпулом, доступності даних та захисту від агрегації помилок.