馃嚜馃嚫 EUTXO: El modelo UTXO Extendido

:es: Traducci贸n al espa帽ol de The Extended UTXO Model

Escrito Manuel M.T. Chakravarty, James Chapman, Kenneth MacKenzie, OrestisMelkonian, Michael Peyton Jones, and Philip Wadler, y publicado en la Biblioteca P煤blica de Investigaci贸n de IOHK.

S铆ntesis

Bitcoin y Ethereum, que poseen las dos criptodivisas m谩s valiosas y populares en la actualidad, utilizan dos modelos de ledger bastante diferentes, conocidos como el modelo UTXO y el modelo basado en cuentas, respectivamente. Al mismo tiempo, estas dos blockchain p煤blicas difieren fuertemente en la expresividad de los contratos inteligentes que soportan. Esto no es una coincidencia. Ethereum eligi贸 el modelo de cuentas expl铆citamente para facilitar contratos inteligentes m谩s expresivos. Por otro lado, Bitcoin eligi贸 UTXO tambi茅n por buenas razones, incluyendo que su modelo sem谩ntico se mantiene simple en un complejo entorno inform谩tico concurrente y distribuido. Esto plantea la cuesti贸n de si es posible tener contratos inteligentes expresivos, manteniendo la simplicidad sem谩ntica del modelo UTXO.

En este documento, respondemos a esta pregunta afirmativamente. Presentamos UTXO Extendido (EUTXO), una extensi贸n del modelo UTXO de Bitcoin que soporta una forma sustancialmente m谩s expresiva de scripts de validaci贸n, incluyendo scripts que implementan m谩quinas de estado general, y aplican las invariantes a trav茅s de toda la cadena de transacciones.

Para demostrar la potencia de este modelo, tambi茅n introducimos una forma de m谩quina de estado adecuada para la ejecuci贸n en un ledger, basada en las m谩quinas Mealy y llamada Constraint Emitting Machines (CEM). Formalizamos las CEM, mostramos c贸mo compilarlas en EUTXO, y mostramos una d茅bil bisimulaci贸n entre los dos sistemas. Todo nuestro trabajo se formaliza utilizando el asistente de pruebas Agda.

Descarga el white paper en ingl茅s.

1 Like