Transacción determinística

El determinismo, en el contexto de la tecnología blockchain, se refiere a la ejecución predecible de transacciones y contratos inteligentes, garantizando que sus resultados puedan preverse con precisión antes de ser comprometidos en el ledger de la blockchain. Este principio es fundamental para mantener la consistencia y la fiabilidad dentro de los sistemas blockchain.

En arquitecturas blockchain como el modelo de Salidas de Transacción No Gastadas Extendidas, conocido como E-UTxO y utilizado por Cardano, el determinismo se logra mediante la gestión localizada del estado. Cada transacción en el modelo E-UTxO contiene información sobre entradas y salidas, junto con un conjunto de reglas para validar dichas transacciones. Dado que estas reglas son autocontenidas y no dependen de información de estado externa, el resultado de la transacción puede predecirse con certeza antes de que sea agregada a la blockchain.

El proceso de verificación de transacciones de Cardano sigue un enfoque de dos fases:

Verificación de entradas y salidas:

La primera fase implica verificar la disponibilidad y validez de las entradas y salidas, lo cual es crucial para garantizar que los componentes de la transacción sean correctos y estén listos para su uso.

Evaluación de la corrección de los scripts:

La segunda fase evalúa la corrección de los scripts involucrados en la transacción. Este paso es vital para mantener la integridad de la transacción, confirmando que los scripts se ejecuten correctamente de acuerdo con las reglas de la blockchain.

En contraste, los sistemas no determinísticos como el modelo basado en cuentas de Ethereum, aunque ofrecen mayor flexibilidad para programar contratos inteligentes, enfrentan desafíos en términos de previsibilidad. En dichos sistemas, el estado global de la blockchain puede influir en el resultado de las transacciones. El estado al momento de iniciar la transacción puede diferir del estado al momento de su ejecución debido a otras transacciones concurrentes, lo que puede conducir a resultados impredecibles.