El cofundador de Ethereum, Vitalik Buterin, ha descrito lo que él considera una posible evolución importante de las transacciones de Ethereum.
Afirma que el trabajo reciente sobre abstracción de cuentas, diseño de estado y agregación de pruebas criptográficas está contribuyendo a una separación más clara entre lo que hacen las transacciones y lo que debe probarse antes de que puedan hacerlo.
Buterin dijo que la investigación reciente en torno a EIP-8141, modelos de estado alternativos, nonces con clave y mempools recursivos basados en STARK ha producido un modelo conceptual más explícito de las transacciones.
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 en gran medida conceptual. Sin embargo, Buterin argumenta que separar explícitamente los dos podría permitir a los desarrolladores de Ethereum optimizarlos de maneras fundamentalmente diferentes.
Por qué es importante
La validación y la ejecución están tradicionalmente entrelazadas. Los nodos reciben transacciones, validan la información requerida y eventualmente las ejecutan.
Buterin argumenta que las dependencias tienen propiedades que las hacen particularmente adecuadas para la optimización.
Muchas dependencias pueden verificarse en paralelo. Algunas pueden ser examinadas por el mempool antes de que la transacción llegue a un bloque. Otras no requieren acceso al estado de Ethereum en absoluto.
Esas llamadas dependencias "puras" podrían potencialmente verificarse una vez por el mempool y luego nunca más ser ejecutadas por cada validador.
Según Buterin, grandes colecciones de tales verificaciones podrían eventualmente ser reemplazadas por un solo STARK que demuestre que todas se realizaron correctamente.
"Las dependencias pueden procesarse en paralelo", escribió.
