Blockstack et Algorand se sont associés pour créer Clarity, un langage sécurisé spécialement conçu pour réaliser le plein potentiel des contrats intelligents (smart contracts)
Le Dr Muneeb Ali, co-fondateur et PDG du réseau informatique décentralisé Blockstack, a déclaré que les smart contracts devraient avoir un nouveau nom, car leurs applications vont bien au-delà des simples contrats.
Blockstack va collaborer avec Algorand, le protocole de blockchain de proof-of-stake, pour adopter un langage de contrats intelligents appelé « Clarity ».
Dans une interview avec le Coin Telegraph, Ali a déclaré que les smart contracts auront des applications dans une série de secteurs au-delà de la finance :
« On ne devrait même pas les appeler des smart contracts car c’est un nom plutôt limitatif. Ce sont des programmes vérifiables qui ne pouvaient pas exister à l’ère du cloud computing », a-t-il déclaré.
Commentant cette collaboration, le Dr Ali a déclaré que « notre industrie a besoin d’une alternative prévisible, sûre et à code source ouvert aux approches actuelles comme Solidity ». Il a ajouté qu’il était nécessaire de soutenir des langages sécurisés adaptés aux smart contracts car « la valeur enfermée dans les smart contracts pourrait à terme se chiffrer en milliards ».
Clarity est conçu pour les développeurs travaillant sur des transactions à haut risque et vise donc à atteindre une plus grande prévisibilité et fiabilité que les solutions actuelles. Il s’agit d’un langage « décidable », ce qui signifie que les développeurs peuvent savoir à l’avance et avec une certitude mathématique comment le programme sera exécuté avec la redevance gazière précise. Cela résout un obstacle majeur au développement pour faciliter l’adoption à grande échelle.
« La capacité d’écrire un code vérifiable est comme une superpuissance pour les développeurs. Cela peut remodeler la façon dont les logiciels sont distribués et vérifiés sur l’internet, la façon dont les développeurs sont payés pour leur contribution au code, la façon dont le contrôle d’accès aux services internet est mis en œuvre, etc. Il a ajouté que les smart contracts sont conçus pour surmonter les inconvénients des humains ou d’autres intermédiaires et sont “très différents des programmes informatiques et des sites web typiques ». Ainsi, « ils doivent être des programmes vérifiables pour des opérations à enjeux élevés. Les langues d’usage général peuvent être dangereuses ici », a-t-il ajouté.
Parlant de la collaboration, le fondateur d’Algorand, le Dr Silvio Micali, a déclaré que « l’émergence d’un langage de programmation de nouvelle génération tel que Clarity a le potentiel de débloquer des solutions basées sur des blockchains pour les grandes entreprises et les gouvernements, qui exigent un niveau de confiance et de sécurité plus élevé ».