ADVERTISEMENT

Cardano: Hoskinson annonce un DSL pour smart contracts et se concentre sur DeFi

  • Charles Hoskinson a révélé que Cardano développera un DSL (Domain Specific Language) pour les spécifications des smart contracts afin de permettre des contrats certifiés.
  • Le PDG d’IOHK a également révélé les efforts accrus de DeFi pour Cardano, avec des annonces concrètes à suivre au plus tôt à la fin du mois.

Dans une nouvelle AMA surprise, Charles Hoskinson, PDG d’IOHK, a dévoilé de nouveaux plans pour l’écosystème Cardano et a parlé des progrès de ces derniers jours. Comme l’a expliqué l’inventeur de Cardano, Cardano est en passe de devenir un réseau totalement décentralisé. Avec l’ère actuelle, les pools de participation prennent déjà 24 % de la production de blocs, tandis que 76 % sont validés par les nœuds fédérés d’IOHK.

En outre, IOHK mettra en place une gouvernance de pair à pair pour Cardano en septembre. Cela permettra d’améliorer encore les performances et de décentraliser davantage le réseau, comme l’a déclaré M. Hoskinson:

Cela permettra d’améliorer considérablement les performances à certains égards. […] et aussi c’est un réseau totalement décentralisé quand vous n’utilisez plus les relais des opérateurs de pool de piquets ou de nous.

En outre, les portefeuilles de délégation et les guildes de piquetage sont déjà en discussion à l’époque de Shelley. Cependant, la priorité absolue, selon Hoskinson, est actuellement la délégation « one-to-many », avec une mise en œuvre « dès que possible ». En parallèle, les équipes de Goguen travaillent sur un déploiement en 3 phases, comprenant les actifs natifs, les fondations Plutus et, dans la phase finale, le cadre d’application Plutus. Concernant les deux dernières phases du déploiement, M. Hoskinson a expliqué:

Les fondations Plutus sont un peu comme la JVM contre Java, ce sont les fondations de base, le noyau d’un langage, donc vous pouvez écrire un assemblage et les représentations de niveau supérieur de celui-ci. Vous pourrez écrire des smart contracts, mais ce ne sera pas très convivial. Mais vous devez avoir la JVM pour avoir Java. […] Il est donc logique de la déployer d’abord et ensuite de mettre en place une belle expérience de développement.

Hoskinson a également annoncé qu’IOHK développera un DSL (Domain Specific Language) pour la spécification des smart contracts. Cela permettra aux développeurs d’avoir l’option d’un smart contract certifié car ils pourront faire correspondre la conception et l’implémentation et ainsi prouver que l’implémentation est correcte par rapport à la conception. Selon M. Hoskinson, cela a déjà été fait plusieurs fois, par exemple par le biais de jetons ERC20 certifiés. Cependant, il y a actuellement quelques défis à relever:

C’est généralement très difficile parce que les outils ne sont pas très bons, ils nécessitent beaucoup d’expertise dans le domaine et ils sont très lourds. Il y a donc beaucoup de discussions sur la façon dont nous construisons une DSL légère qui peut être associée à votre contrat et vous pouvez ensuite vérifier les propriétés de celle-ci. Pour la vérification du modèle et la vérification rapide […] pour vérifier que votre contrat est correct.

Comme l’a également expliqué Hoskinson, cela se fera indépendamment de Marlowe, le langage pour les smart contracts déjà développé par IOHK.

L’accent mis par Cardano sur la finance décentralisée

Hoskinson a également admis qu’il a récemment investi beaucoup de temps dans le thème de la finance décentralisée (DeFi). En plus de la planification, le PDG d’IOHK a évoqué le partenariat avec Emurgo, qui vise à développer un jeton stable pour l’écosystème Cardano. Celui-ci sera d’abord testé sur la blockchain Ergo, puis migré vers l’écosystème Cardano. M. Hoskinson a également ajouté:

Il s’agira d’un stabilisateur algorithmique. Nous pensons qu’il sera nettement meilleur que MakerDAO. Ce n’est qu’une des nombreuses choses qui se passent actuellement avec DeFi. Mais nous n’annoncerons rien de tout cela avant un peu plus tard. […]

La réalité est que l’avantage du premier arrivé est en fait un inconvénient dans DeFi. Ces effets de réseau sont souvent couverts d’erreurs, de cicatrices et d’explosions. Vous voulez en fait être l’imitateur, dans la catégorie du second mover pour DeFi et […] il va y avoir un exode massif parce que les architectures et les conceptions du premier mover sont trop rigides et Cardano est bien mieux adapté comme plateforme.

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.

Les commentaires sont fermés.