Dans cet article, nous explorons la cinquième partie de la série technique sur les covenants Bitcoin, mettant en avant le cadre de contrat intelligent MATT (Merkleize All The Things). Ce cadre permet la création de contrats avec état et la génération de preuves d’erreur évolutives. Un contrat avec état transporte des informations à travers plusieurs transactions tout en mettant à jour ces données au fur et à mesure de l’évolution du contrat. Contrairement aux scripts standards de Bitcoin qui évaluent chaque transaction de manière indépendante, MATT offre une solution à ce manque en facilitant la vérification d’états lors des dépenses.
Compréhension de MATT et de son rôle avec OP_CHECKCONTRACTVERIFY
MATT propose une méthode pour engager des données qui peuvent être calculées au moment de la dépense et réintégrées dans la sortie suivante, permettant à chaque dépense de dériver un nouvel état de manière dynamique. L’implémentation de MATT à travers l’opcode OP_CHECKCONTRACTVERIFY (OP_CCV) rend les UTXO à état viables dans le cadre de Taproot. OP_CCV permet de vérifier qu’une clé d’entrée ou de sortie Taproot a été modifiée pour engager un état spécifique, ce qui assure que la transition d’état est valide et contrôlée sur la chaîne.
Les implications de OP_CCV pour les preuves de fraude et la fonctionnalité des vaults
En combinant OP_CCV avec l’opcode OP_CAT, le cadre MATT devient encore plus puissant, permettant la vérification des preuves Merkle directement sur la chaîne. Cette configuration propose deux arbres Merkle associés à une sortie Taproot : l’arbre de script classique et un arbre d’état. Cela ouvre la voie à des systèmes de preuve de fraude où seuls les éléments contestés doivent être révélés et vérifiés sur la chaîne. De plus, l’association de OP_CCV avec OP_CAT permet de définir des vaults fonctionnels équivalents à ceux proposés par OP_VAULT, offrant une conception plus robuste pour la gestion des états.