SIMPLICITY
Langage de programmation bas niveau conçu par Russell O’Connor chez Blockstream pour exprimer des contrats sur des blockchains qui reposent sur le modèle d’UTXO. Présenté dans un livre blanc en 2017, Simplicity se distingue des langages comme Solidity (Ethereum) par le fait qu’il n’est pas Turing-complet : il peut exprimer toute fonction finie, mais interdit les boucles non bornées et l’état global. Cette restriction permet de garantir que chaque exécution se termine, et que le coût en ressources d’un programme est connu avant son exécution. Le langage a été déployé sur Liquid en juillet 2025, où il offre aux émetteurs d’actifs la possibilité de créer des contrats vérifiables. Contrairement à Miniscript, qui se limite aux signatures, timelocks et préimages de hachage au sein de Script, Simplicity peut exprimer des fonctions arbitraires, mais nécessite un environnement de consensus distinct de celui de Bitcoin.