馃嚜馃嚫 Cardano presenta el modelo EUTXO para contratos inteligentes

:es: Traducci贸n al espa帽ol de Cardano presents EUTXO model for smart contracts

Publicado en Crypto News Flash por Jake Simmons, el 29 de Enero de 2020.


  • IOHK ha publicado un art铆culo sobre el nuevo modelo de UTXO Extendido (EUTXO) de Cardano.
  • El modelo EUTXO sentar谩 las bases para los contratos inteligentes de Cardano en la fase Goguen.

IOHK, la empresa responsable del desarrollo de Cardano (ADA), public贸 recientemente una formalizaci贸n de c贸mo se implementar谩n los contratos inteligentes en la pr贸xima fase de desarrollo (Goguen) de Cardano. Cardano est谩 actualmente en la fase 2, Shelley. Shelley proporciona la funcionalidad del staking, el cual tiene la intenci贸n de sentar las bases para la descentralizaci贸n de la red.

La fase 3, Goguen, a帽adir谩 la capacidad de desarrollar contratos inteligentes y aplicaciones descentralizadas (DApps) basadas en Cardano. La publicaci贸n del nuevo documento es una formalizaci贸n del modelo que utiliza el lenguaje de contratos inteligentes de Cardano, Plutus, que est谩 disponible en una plataforma de prueba desde diciembre de 2018.

Cardano utiliza una combinaci贸n de los modelos de ledger de Bitcoin y Ethereum

Las dos principales criptomonedas, Bitcoin y Ethereum, utilizan dos modelos de ledger diferentes, conocidos como el modelo UTXO (Bitcoin) y el modelo de cuentas (Ethereum). Tal como IOHK describe en su paper, ambos modelos ofrecen ventajas espec铆ficas, por lo que Cardano implementar谩 una mezcla de ambos modelos.

En principio, el modelo de cuentas de Ethereum es m谩s adecuado para permitir contratos inteligentes. Por otro lado, el UTXO de Bitcoin es un modelo sem谩ntico que permanece simple en un entorno complejo y distribuido, y requiere menos recursos. Por esta raz贸n, IOHK ha dise帽ado el modelo UTXO Extendido (EUTXO), que es una extensi贸n del modelo UTXO de Bitcoin.

Con Bitcoin, cada transacci贸n se basa en el concepto de salida y entrada, es decir, la representaci贸n de ciertas cantidades de BTC. Para una transacci贸n, se selecciona Bitcoin en forma de varias entradas y se forma una salida. Por lo tanto, la salida en Bitcoin no es un 煤nico byte de datos. En su lugar, el algoritmo recupera m煤ltiples fracciones de Bitcoin para satisfacer un requisito de salida. Por ejemplo, la transacci贸n (salida) de un BTC puede ser en forma de 3 entradas (0.3 BTC, 0.3 BTC y 0.4 BTC). Los cambios se env铆an a la base de datos UTXO.

Los investigadores de Cardano explicaron que aunque este modelo 鈥渇unciona bien con la naturaleza concurrente y distribuida de la blockchain鈥, tiene severas limitaciones en cuanto a la programabilidad, lo que lo hace poco pr谩ctico para la mayor铆a de los contratos inteligentes. Por el contrario, el libro de cuentas de Ethereum permite c谩lculos complejos, pero debe introducir un 鈥渆stado com煤n鈥, una especie de memoria colectiva de todas las transacciones y contratos. El documento establece:

Sin embargo, el modelo UTXO en general, y Bitcoin, en particular, ha sido criticado por la limitada expresividad de la programabilidad lograda por el concepto de validador. En particular, el ledger basado en cuentas de Ethereum y la noci贸n asociada de cuentas de contrato ha sido dise帽ada con el deseo de superar esas limitaciones.

Lamentablemente, lo hace introduciendo una noci贸n de estado mutable compartido, lo que complica significativamente la sem谩ntica del c贸digo de contratos. En particular, los autores de contratos necesitan comprender las sutilezas de esta sem谩ntica, o se arriesgan a introducir problemas de seguridad.

Por eso el modelo EUTXO de Cardano es superador

El modelo EUTXO de Cardano permite la ejecuci贸n de un contrato inteligente en varias transacciones. La salida de cada transacci贸n tendr谩 un campo de datos que puede contener cualquier informaci贸n asociada a un contrato inteligente en particular:

El primer cambio es que permitimos que las salidas de las transacciones incluyan un valor de datos junto con el validador, que se pasa como un argumento adicional durante la validaci贸n. Esto permite que un contrato lleve alg煤n estado (los datos) sin cambiar su 鈥渃贸digo鈥 (el validador). Usaremos esto para llevar el estado de nuestras m谩quinas de estados.

Adem谩s, el sistema asegura que una determinada cadena de salidas utilice el mismo c贸digo de contrato - un concepto llamado continuidad del contrato:

El segundo cambio es que el validador recibe alguna informaci贸n sobre la transacci贸n que est谩 siendo validada. Esta informaci贸n se transmite como un argumento adicional de tipo TxInfo. La informaci贸n adicional permite al validador hacer cumplir condiciones mucho m谩s estrictas que las posibles con un modelo UTXO b谩sico -en particular, puede inspeccionar las salidas de la transacci贸n en curso, lo que es esencial para garantizar la continuidad del contrato.

Un tercer cambio es que IOHK 鈥減ermitir谩 cierto acceso al tiempo鈥 al 鈥渁帽adir un intervalo de validez a las transacciones鈥.

Si bien Shelley y Goguen se est谩n desarrollando actualmente en paralelo, para ambas fases todav铆a no est谩 claro cu谩ndo tendr谩 lugar la migraci贸n a la red principal. Recientemente, Charles Hoskinson declar贸 que Shelley deber铆a completarse en el primer trimestre de 2020. De acuerdo con la hoja de ruta de Cardano, Goguen tambi茅n deber铆a ser lanzado en 2020. Sin embargo, las fechas de lanzamiento son todav铆a inciertas debido a los retrasos que Cardano ha experimentado en el pasado.

White paper The Extended UTXO Model.

1 Like