L’opcode OP_CHECKCONTRACTVERIFY permet à un script d’inspecter les données d’état, d’effectuer des calculs et d’imposer leur réengagement dans une sortie précise, afin d’appliquer les transitions d’état directement sur la blockchain. Ses modes default, deduct et ignore offerent différentes contraintes sur les montants, tandis que des entrées et sorties dédiées permettent de payer les frais de transaction de manière flexible. L’association de OP_CHECKCONTRACTVERIFY avec OP_CAT rend possible la construction et la vérification de preuves de Merkle, en combines avec l’arbre de script Taproot, un arbre d’état distinct qui engage les étapes intermédiaires d’un calcul. Cette architecture pourrait soutenir des systèmes de preuves de fraude optimistes, où seul le calcul contesté est vérifié sur la blockchain, sans nécessiter les signatures à usage unique de Lamport ni les graphes de transactions présignées utilisés par BitVM. Combiné à OP_CAT, l’opcode permet aussi de créer des coffres-forts aux fonctionnalités équivalentes à OP_VAULT, que James O’Beirne considère comme étant remplacés par cette conception plus générale et robuste.
Source: Lire l’article original
