Complejidad en la gestión de transacciones y contratos

El modelo eUTxO, en comparación con modelos basados en cuentas como el de Ethereum, introduce un mayor nivel de complejidad en la gestión de transacciones y contratos. Esta complejidad plantea desafíos para los desarrolladores, particularmente al desarrollar y coordinar aplicaciones que requieren una gestión sofisticada del estado. Este compromiso afecta la experiencia del usuario y la eficacia general de la blockchain.

El protocolo Leviathan aborda estos problemas mediante la introducción de Transacciones Garantizadas, que son determinísticas y mantienen derechos exclusivos sobre sus entradas, lo que permite una cadena de cambios de estado sin las restricciones de la capacidad de rendimiento del ledger de liquidación.

Al operar con Transacciones Garantizadas, el protocolo garantiza finalidad instantánea, asumiendo la vivacidad del ledger. Estas transacciones facilitan una cadena de cambios de estado, eludiendo las limitaciones de rendimiento del ledger de liquidación. Por ejemplo, las salidas de la transacción N sirven como entradas para la transacción N+1, sin necesidad de confirmación en el ledger para la transacción N. Este proceso se conoce como la Extensión de Cadena de Leviathan.

Para que una transacción califique como Garantizada, el protocolo debe disociar al usuario de la acción, separando efectivamente al usuario de la naturaleza determinística de la transacción. Esta separación se logra mediante una capa de abstracción de cuentas, que permite realizar transacciones en nombre del usuario, evidenciadas por su consentimiento, ya sea mediante un mensaje firmado o una intención. Se establece una red compartida de secuenciadores que, mediante un consenso definido en contratos inteligentes, crea la Cadena de Transacciones.