Виталик Бутерин предложил новую архитектуру обработки транзакций в Ethereum

По данным CoinMarketCap, Виталик Бутерин представил долгосрочную концепцию изменения модели транзакций Ethereum: он предлагает разделять внутри транзакции "действия" (actions) и "зависимости" (dependencies). Действия должны отвечать за изменение состояния сети, тогда как зависимости — подтверждать, что до исполнения уже выполнены требования по подписи, доказательствам состояния и общей валидности. Такой подход, по замыслу, позволит переносить часть проверок на более ранний этап — ещё до включения транзакций в блоки — и повысить потенциал параллельной обработки, поскольку верификация и исполнение будут разведены. Сейчас типичный конвейер обработки транзакций в Ethereum объединяет авторизацию, оплату комиссии и выполнение контракта. Узлы одновременно проверяют корректность подписи, наличие средств на комиссию и успешность исполнения. Бутерин считает, что часть этих проверок не зависит от финальных изменений состояния и теоретически может выполняться отдельно. К "зависимостям" он относит, в частности, цифровые подписи, доказательства с нулевым разглашением и некоторые проверки валидности, не опирающиеся на изменения on-chain состояния. Если транзакции будут явно декларировать, к каким состояниям они обращаются, мемпул сможет проще определять, какие условия зависят от предыдущих транзакций, а какие проверки можно завершить заранее. В результате более предсказуемые транзакции могут верифицироваться эффективнее. Эта логика отражена в черновом предложении EIP8141. В нём описан новый тип транзакций — Frame Transaction, где одна транзакция разделяется на несколько "кадров вызова" (call frames) для раздельной обработки проверки авторизации, оплаты комиссии и исполнения пользовательской операции. В проекте также предусмотрено, что валидность транзакции и оплата комиссии больше не обязаны целиком опираться на стандартные подписи внешнего уровня: код аккаунта может задавать собственные методы авторизации и правила оплаты. "Кадр проверки" подтверждает выполнение условий, а "кадр отправки" отвечает за фактическое изменение состояния. Такой формат рассматривают и как шаг к унификации базового формата транзакций между разными сетями на EVM. При этом EIP8141 остаётся core draft: он не включён ни в одно обновление основной сети Ethereum, сроки внедрения не определены. В обсуждении разработчиков поднимались вопросы о рисках атак типа denial-of-service, правилах замены транзакций, совместимости с кошельками и билдерами блоков, а также о лимитах на число ожидающих транзакций от одного отправителя в публичном мемпуле. Эти темы остаются предметом дальнейшей проработки. Долгосрочное видение Бутерина выходит за рамки EIP8141. Он также предлагает для "чистых зависимостей", не требующих доступа к on-chain состоянию, выполнять предварительную проверку на уровне мемпула, чтобы валидаторы не повторяли одну и ту же работу. В такой модели сеть могла бы упаковывать множество завершённых проверок в рекурсивное доказательство STARK, которое затем проверяется агрегированно. Цель — сократить дублирующиеся вычисления и снизить часть нагрузки на верификацию. Бутерин отметил, что подобный подход потенциально поможет Ethereum адаптироваться к постквантовой криптографии: квантово-устойчивые подписи обычно крупнее и дороже в проверке. Если аккаунты смогут настраивать методы авторизации, а проверки будут агрегироваться рекурсивными доказательствами, затраты на верификацию могут снизиться. Впрочем, эта часть находится на исследовательской стадии и не входит в текущую спецификацию EIP8141. Для реализации потребуются решения по генерации доказательств, координации мемпула, доступности данных и защите от накопления ошибок при агрегации.