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