Cardano: Hoskinson anuncia un DSL para smart contracts y se centra en DeFi

  • Charles Hoskinson ha revelado que Cardano desarrollará un DSL (Domain Specific Language) para especificaciones de smart contracts para permitir contratos certificados.
  • El CEO de IOHK también ha revelado el aumento de los esfuerzos en DeFi para Cardano, con anuncios concretos a seguir a finales de mes como muy pronto.

En un nuevo AMA sorpresa, el CEO de IOHK Charles Hoskinson reveló nuevos planes para el ecosistema de Cardano y habló sobre el progreso de los últimos días. Como explicó el inventor de Cardano, Cardano está en camino de convertirse en una red totalmente descentralizada. Con la era actual, los grupos de interés ya están tomando el 24% de la producción de bloques, mientras que el 76% es validado por los nodos federados de la IOHK.

Además, la IOHK desplegará el gobierno entre pares para Cardano en septiembre. Esto mejorará aún más el rendimiento y descentralizará aún más la red, como dijo Hoskinson:

Eso mejorará considerablemente el rendimiento en ciertos aspectos. …y también es una red totalmente descentralizada cuando ya no se utilizan los relés de los operadores de la piscina de estacas o de nosotros.

Además, las carteras de delegación y los gremios de delegación ya están en discusión durante la era de Shelley. Sin embargo, según Hoskinson, la máxima prioridad es actualmente la delegación «de uno a muchos», con la aplicación «tan pronto como sea posible». Paralelamente, los equipos de Goguen están trabajando en un despliegue en tres fases, que consiste en los activos nativos, las fundaciones Plutus y, en la fase final, el marco de aplicación de Plutus. En cuanto a las dos últimas fases del despliegue, Hoskinson explicó:

Los fundamentos de Plutus son algo así como la JVM vs. Java, son los fundamentos de la base, el núcleo de un lenguaje, por lo que se puede escribir un ensamblaje y las representaciones de nivel superior del mismo. Podrás escribir smart contracts, pero esto no será muy fácil de usar. Pero tienes que tener la JVM para tener Java. […] Así que tiene sentido desplegar eso primero y luego poner encima la hermosa experiencia de desarrollo.

Hoskinson también anunció que IOHK desarrollará un DSL (Lenguaje de Dominio Específico) para la especificación de smart contracts. Esto permitirá a los desarrolladores tener la opción de certificar el smart contract, ya que podrán coincidir con el diseño y la implementación y así podrán probar que la implementación es correcta en comparación con el diseño. Según Hoskinson, esto ya se ha hecho varias veces, por ejemplo a través de tokens certificadas ERC20. Sin embargo, en la actualidad hay algunos desafíos:

Generalmente es muy difícil porque las herramientas no son tan buenas, requieren mucha experiencia en el dominio y son muy pesadas. Así que hay mucha discusión sobre cómo construir una especificación ligera DSL que pueda ir de la mano con su contrato y luego se pueden verificar las propiedades sobre ella. Para la comprobación del modelo y la comprobación rápida […] para verificar que su contrato es correcto.

Como Hoskinson también explicó, esto tendrá lugar independientemente de Marlowe, el lenguaje para smart contracts ya desarrollado por la IOHK.

El enfoque de Cardano en las finanzas descentralizadas

Hoskinson también admitió que recientemente ha invertido mucho tiempo en el tema de las finanzas descentralizadas (DeFi). Además de la planificación, el CEO de la IOHK se refirió a la asociación con Emurgo, que tiene como objetivo desarrollar una moneda estable para el ecosistema de Cardano. Esto se probará primero en la blockchain Ergo y luego se migrará al ecosistema de Cardano. Hoskinson también añadió:

Esto será un estabilizador algorítmico. Creemos que será significativamente mejor que MakerDAO. Esa es solo una de las muchas cosas de DeFi que están pasando ahora mismo. Pero no anunciaremos nada de eso hasta un poco más tarde. […]

La realidad es que la ventaja de ser el primero en moverse es en realidad una desventaja en el DeFi. Esos efectos de red a menudo se cubren con errores y cicatrices y explosión. Usted realmente quiere ser el imitador, en la categoría de segundo motor para el DeFi y […] va a haber un éxodo masivo porque esas arquitecturas y diseños de primer motor son demasiado inflexibles y Cardano es mucho más adecuado como plataforma.

About Author

Jake Simmons has been a crypto enthusiast since 2016, and since hearing about Bitcoin and blockchain technology, he's been involved with the subject every day. Beyond cryptocurrencies, Jake studied computer science and worked for 2 years for a startup in the blockchain sector. At CNF he is responsible for technical issues. His goal is to make the world aware of cryptocurrencies in a simple and understandable way.

Los comentarios están cerrados.