Compartir este artículo

La actualización Vasil de Cardano marca un hito importante en la evolución de la cadena de bloques

El científico jefe de IOG, Aggelos Kiayias, explica por qué Cardano ha repensado los contratos inteligentes y cómo prioriza la seguridad sobre la velocidad.

El observador promedio de Cripto , consciente de que Ethereum acaba de completar su tan esperada transición a un sistema de validación de prueba de participación, puede preguntarse cuál es la conclusión general de la Vasil actualización de bifurcación dura en la cadena de bloques Cardano que ocurrió a las 21:44 UTC del jueves 22 de septiembre. (T espera que finalice en cinco días, el 27 de septiembre).

El significado de VasilUn conjunto de cambios bastante técnicos, que mejoran la programabilidad del libro mayor y su potencial de rendimiento, tal vez requieran un poco de zoom para ver el panorama más amplio.

CONTINÚA MÁS ABAJO
No te pierdas otra historia.Suscríbete al boletín de The Protocol hoy. Ver Todos Los Boletines

Sigue leyendo: Lo que traerá consigo el esperado hard fork Vasil de Cardano

Cardano, a veces promocionado como un “Asesino de Ethereum ," está jugando un juego a largo plazo. Los críticos de este proceso (Dividido en “eras”Los autores que llevan el nombre de poetas románticos, científicos informáticos y pensadores de la Ilustración a menudo critican el protocolo por quedarse atrás de otros.contrato inteligente cadenas de bloques que ya albergan prósperos ecosistemas de Finanzas descentralizadas (DeFi) y han acumulado miles de millones de dólares en valor total bloqueado.

Pero los primeros logros de la principal plataforma de contratos inteligentes, Ethereum, son “brillantes pero no estructurados”, según Aggelos Kiayias, científico jefe de Input Output Global (IOG), el desarrollador de Cardano . Los contratos inteligentes en Cardano son “diferentes”, dice Kiayias, quien también es profesor de criptografía en la Universidad de Edimburgo.

Contratos inteligentes en Cardano

Esto se debe a que Cardano se basa en la programación funcional, una forma precisa y matemática de escribir código que utiliza datos inmutables para indicarle al programa exactamente qué hacer, en lugar de lograr resultados a través de objetos que alteran el estado de un programa.

“Creo que muchas personas tuvieron dificultades cuando se lanzaron los contratos inteligentes en Cardano porque esperaban que hubiera una forma sencilla de portar inmediatamente contratos complejos de Ethereum a Cardano”, dijo Kiayias en una entrevista con CoinDesk. “Pero requiere familiaridad con la programación funcional y tener que repensar, ¿Cuál sería la mejor manera de programar cosas en este nuevo entorno?"

Para Kiayias, la programación funcional no solo es un enfoque simple y natural, sino que cuando se trata de infraestructura crítica tiene todo el sentido. Esto se debe a que la intención de un programa de computadora se vuelve muy clara y fácil de verificar. Esta simplicidad también invita a la posible automatización de esa verificación. Y si bien se requiere cierta inversión de tiempo, Kiayias dijo que las complejidades del script Plutus basado en funciones de Cardano se pueden simplificar utilizando lenguajes específicos del dominio comoMarlowe.

Cardano no es la única cadena de bloques que valora la verificación formal de los contratos inteligentes; La cadena de bloques Tezos también fue diseñada con esto en mente.Sin embargo, hoy en día, es posible que tales preocupaciones hayan pasado de moda en medio del frenético auge de las DeFi.

Bitcoin en la sangre

Otra diferencia fundamental entre Cardano y la mayoría de las otras cadenas de contratos inteligentes de capa ONE es su elección de utilizar un diseño tomado de Bitcoin.

A diferencia de Ethereum, que utiliza un modelo basado en cuentas similar al de un banco, Cardano se basa en la "salida de transacciones no gastadas" (UTxO), una forma de calcular lo que se guarda en las billeteras de Bitcoin al llevar un registro del cambio que queda cuando se gastan fracciones de monedas. Pero Cardano extiende esta práctica para que no esté limitada por los límites de datos de la cadena de bloques de Bitcoin , un enfoque conocido como "salidas de transacciones no gastadas extendidas" (EUTXO).

Este diseño se adaptó naturalmente a un enfoque funcional determinista y tiene ventajas importantes, explicó Kiayias.

“O bien una transacción se ajusta al conjunto extendido de UTXO actual y gasta algunos UTXO e introduce otros, o bien no se ajusta”, dijo. “Por lo tanto, tengo esta seguridad determinista de cómo mi transacción va a interactuar con el estado de la cadena de bloques y no será modificada por ninguna otra transacción”.

Kiayias señaló que este no es el caso de un modelo basado en cuentas como Ethereum. “En este caso, no puedo predecir completamente cómo mi transacción va a interactuar con el estado de la cadena de bloques porque otras transacciones pueden estar 'intercaladas' antes de mi transacción, modificándola, y entonces mi transacción básicamente está interactuando con un estado que no existía cuando la emití. Esto realmente hace una gran diferencia para los contratos inteligentes”.

Seguridad a escala

Si vinculamos esto a los cambios que está implementando Vasil, será más fácil hacer referencia al modelo UTXO de Cardano, lo que mantendrá más carga fuera de la cadena, lo que es mejor para el escalamiento y también es preferible desde una perspectiva de seguridad.

“La actualización de Vasil permitirá hacer referencia a UTXO, y gracias a ello se ahorrará mucho espacio”, afirmó Kiayias. “Por lo tanto, si bien en teoría es una pequeña consideración contable, en la práctica supone una gran ventaja”.

Kiayias dijo que no es nada nuevo en el mundo de la Tecnología ver a la gente avanzar a toda velocidad, lo que podría decirse que ha... Convirtió a DeFi en una especie de patio de recreo para hackers.

“Si quiero mejorar la usabilidad o la velocidad, siempre puedo hacerlo mejor que tú sacrificando la seguridad”, dijo Kiayias, defendiendo el enfoque metódico de Cardano y el minucioso proceso de revisión académica por pares.

"Pero creo que siempre necesitamos una forma científica de evaluar la seguridad de los sistemas", añadió.

La Criptomonedas nativa de Cardano, ADA, ha subido alrededor de un 4% en las últimas 24 horas y cotiza a 46 centavos al momento de la publicación.

(CoinDesk)

Actualización: viernes, 23 de septiembre de 2022, 01:27 UTC:Editado para reflejar la actualización ocurrida a las 21:44 UTC en el primer párrafo.

Ian Allison