Asegura que los trabajos recientes sobre abstracción de cuentas, diseño de estado y agregación de pruebas criptográficas están contribuyendo a una separación más clara entre lo que hacen las transacciones y lo que debe ser probado antes de que puedan realizarse.
Buterin comentó que investigaciones recientes sobre EIP-8141, modelos de estado alternativos, nonces con clave y mempools recursivos basados en STARK han generado un modelo conceptual de transacciones más explícito.
La clave es distinguir entre dos componentes: "acciones" y "dependencias".
"Una acción es un efecto que tiene una transacción", explicó Buterin.
La distinción puede sonar principalmente conceptual. Sin embargo, Buterin sostiene que separar explícitamente ambos componentes podría permitir a los desarrolladores de Ethereum optimizarlos de maneras fundamentalmente diferentes.
Por qué es importante
La validación y la ejecución tradicionalmente están entrelazadas. Los nodos reciben transacciones, validan la información requerida y eventualmente las ejecutan.
Buterin argumenta que las dependencias tienen propiedades que las hacen especialmente aptas para ser optimizadas.
Muchas dependencias pueden verificarse en paralelo. Algunas pueden ser examinadas por el mempool antes de que la transacción llegue a un bloque. Otras ni siquiera requieren acceso al estado de Ethereum.
Esas llamadas dependencias "puras" podrían ser verificadas por el mempool una sola vez y después no ser ejecutadas nuevamente por cada validador.
Según Buterin, grandes conjuntos de estas verificaciones podrían eventualmente ser reemplazados por un único STARK que demuestre que todas se realizaron correctamente.
"Las dependencias pueden procesarse en paralelo", escribió.
