Сооснователь Ethereum Виталик Бутерин заявил о потенциально крупной эволюции форматов транзакций сети. По его мнению, последние исследования в области абстракции аккаунтов, дизайна состояния и агрегации криптографических доказательств формируют более чёткое разделение между тем, что транзакция делает, и тем, что должно быть доказано перед её выполнением.
Бутерин отметил, что работа над EIP-8141, альтернативными моделями состояния, keyed nonces и рекурсивными STARK-мемпулами позволила выработать более явную концептуальную модель транзакций. Ключевым стало различие между «действиями» и «зависимостями». «Действие — это эффект, который оказывает транзакция», — пояснил он.
По словам Бутерина, такое разделение может казаться в основном концептуальным, однако оно позволит разработчикам оптимизировать эти компоненты принципиально разными способами. В традиционной модели валидация и исполнение переплетены: узлы получают транзакции, проверяют необходимые данные и затем исполняют их. Зависимости же обладают свойствами, которые делают их особенно подходящими для оптимизации.
Многие зависимости можно проверять параллельно. Часть из них может анализироваться мемпулом ещё до попадания транзакции в блок, а некоторые вообще не требуют доступа к состоянию Ethereum. Такие «чистые» зависимости потенциально можно проверять один раз на уровне мемпула, чтобы каждый валидатор не выполнял их повторно. В перспективе большие наборы таких проверок могут быть заменены единым STARK-доказательством, подтверждающим их корректность.
