Виталик Бутерин предложил более долгосрочную модель обработки транзакций Ethereum, основная идея которой заключается в разделении «действий» и «зависимостей» в транзакциях. Первые отвечают за изменение состояния в цепочке, а вторые используются для подтверждения того, что до выполнения транзакции были выполнены условия подписи, доказательства состояния и корректности. Согласно этой концепции, часть проверок может быть выполнена до включения в блок, а пространство для параллельной обработки также увеличится.
Проверка и исполнение торговли будут обрабатываться отдельно
Сейчас процесс обработки транзакций Ethereum обычно объединяет авторизацию, оплату комиссий и выполнение смарт-контракта в одну цепочку обработки. Узел должен одновременно проверять, действителен ли подписанный запрос, может ли отправитель оплатить комиссию и успешно ли выполнится транзакция.
Бутерин считает, что часть проверок не зависит от конечных изменений состояния и теоретически может обрабатываться отдельно. Например, цифровые подписи, доказательства с нулевым разглашением или некоторые доказательства корректности, не зависящие от изменений состояния в цепочке, могут быть отнесены к категории «зависимых».
Если транзакция четко указывает, какие состояния она будет访问, мемпул легче определяет, какие условия будут затронуты предыдущими транзакциями, а какие проверки можно выполнить заранее. Это означает, что более предсказуемые транзакции могут иметь более высокую эффективность проверки.
EIP-8141 все еще находится на стадии черновика
Соответствующей этой концепции является черновой проект предложения EIP-8141. Этот проект вводит новый тип транзакции, называемый Frame Transaction. Он разделяет одну транзакцию на несколько кадров вызова для отдельной обработки авторизации, оплаты комиссий и выполнения пользовательских операций.
Согласно проекту, действительность транзакций и оплата комиссий больше не зависят полностью от стандартной подписи внешнего уровня. Код аккаунта может самостоятельно определять способы авторизации и правила оплаты. Фрейм проверки отвечает за подтверждение выполнения условий, а фрейм отправки — за фактическое изменение состояния.
Эта структура также считается способствующей более унифицированному формату транзакций между различными EVM-сетями. Однако EIP-8141 пока остается основным черновиком и не включен в обновления основной сети Ethereum, а также не имеет четкого графика внедрения.
В ходе обсуждения разработчиков также были подняты несколько технических вопросов, включая риски отказа в обслуживании, правила замены транзакций, адаптацию кошельков и блок-билдеров, а также ограничения на количество ожидающих транзакций от одного отправителя в общем пуле. Эти вопросы требуют дальнейшей доработки.
Recursive STARK or reducing redundant verification
Бутерин предложил не только EIP-8141 в качестве долгосрочного направления. Он также предполагает, что для «чистых зависимостей», которым не требуется доступ к состоянию цепочки, проверка может быть выполнена на уровне пула памяти, а не повторяться каждым валидатором.
В этой модели сеть может сжать несколько завершенных проверок в рекурсивное STARK-доказательство, которое затем проверяется единым проверяющим. Цель этого — сократить повторяющиеся вычисления и уменьшить часть нагрузки на проверку.
Он также отметил, что такой подход в будущем может помочь Ethereum адаптироваться к постквантовым криптографическим схемам. Причина в том, что квантоустойчивые подписи обычно имеют больший размер и более высокую стоимость проверки. Если аккаунты смогут настраивать способы авторизации в сочетании с рекурсивным агрегированием доказательств, стоимость проверки может снизиться.
Однако эта часть контента пока остается на уровне исследований и не входит в текущие спецификации EIP-8141. Для реального внедрения необходимо решить вопросы генерации доказательств, взаимодействия с мемпулом, доступности данных и защиты от агрегации ошибок.