Simplicity Smart Contrat Language Set pour activer sur le réseau liquide

Selon une déclaration du Réseau liquide équipe, Simplicité a atteint la phase verrouillée et devrait s’activer à la hauteur du bloc 3 477 600, attendue le 30 juillet.

Le jalon suit la signalisation complète de tous les opérateurs fonctionnels sur une fenêtre de 10 080 blocs, le seuil consensuel requis pour l’activation.

La simplicité introduit un langage basé sur un combinateur formellement vérifiable, dactylographié conçu pour offrir une plus grande expressivité et sécurité que le script Bitcoin.

Il est délibérément tuant incomplet, ne permettant que des fonctions finitaires, ce qui le rend prête à l’analyse statique et aux limites formelles de ressources avant l’exécution.

La langue est spécifiée dans COQ et implémentée à la fois dans C et Haskell pour le déploiement à travers l’écosystème liquide.

« Les développeurs pourront commencer à utiliser la simplicité dès le premier jour », a déclaré l’équipe dans son annonce.

« @blksesearch Ajoutera une nouvelle documentation des développeurs, des tutoriels et des matériaux d’intégration pour aider les développeurs de Bitcoin à démarrer avec la simplicité dès le premier jour. »

L’activation de la simplicité a été facilitée par la libération précédente de Éléments 23.3.0qui a permis la signalisation des fonctionnaires de Liquid.

Cette version a également introduit de multiples améliorations techniques, notamment des paramètres d’activation TestNet, des améliorations de synchronisation du portefeuille, des mises à jour de compatibilité Dynafed et des améliorations de la robustesse grâce aux tests de fuzz.

Le déploiement de la simplicité représente une évolution significative pour le réseau liquide, un bitcoin Sidechain axé sur l’émission d’actifs confidentielle et programmable.

Une fois en direct, la simplicité devrait améliorer la programmabilité et la sécurité des actifs natifs du bitcoin, offrant de nouvelles opportunités de cas d’utilisation institutionnelle et de scripts financiers avancés.

Les progrès de l’activation en direct et d’autres ressources des développeurs peuvent être suivis à Simplicity-Lang.org.