Antecedentes

La naturaleza determinística de las transacciones en la blockchain de Cardano es un aspecto fundamental que garantiza previsibilidad y seguridad dentro de la red. En el contexto del modelo extendido de Salidas de Transacción No Gastadas de Cardano, conocido como eUTXO, una transacción determinística es aquella que se vuelve inválida si cambia el estado de entrada de los datos con los que interactúa. Esto significa que el resultado de la transacción está determinado de manera única por su estado de entrada, sin ninguna entrada adicional ni dependencia de factores externos como el hash del bloque o la marca de tiempo.

Esta validación determinística es crucial porque permite a los usuarios predecir el impacto y el resultado de una transacción antes de su ejecución real en la blockchain. También garantiza que no haya resultados inesperados o fallos en la validación de scripts, y que las comisiones asociadas con la transacción sean predecibles. Esta previsibilidad contrasta con blockchains basadas en cuentas como Ethereum, donde las transacciones son indeterminísticas y pueden verse influenciadas por otra actividad de la red, lo que afecta el costo del gas y la previsibilidad de las transacciones.

El modelo de procesamiento determinístico de transacciones en Cardano, aunque ofrece previsibilidad y seguridad, también presenta varios desafíos. Estos problemas provienen principalmente de las limitaciones inherentes del modelo eUTXO para manejar la concurrencia y de las complejidades que introduce en la gestión de transacciones y contratos.