Dive profonde dans OP_CAT: une nouvelle ère de scripts Bitcoin

Il s'agit du cinquième article d'une série de plongeon profonde dans les propositions individuelles d'alliance qui ont atteint un point de maturité méritant une ventilation approfondie.

This is the fifth article in a series deep diving into individual covenant proposals that have reached a point of maturity meriting an in-depth breakdown.

Il s'agit du cinquième article d'une série de plongeon profonde dans les propositions individuelles d'alliance qui ont atteint un point de maturité méritant une ventilation approfondie.

OP_CAT, put forward for reactivation in tapscript by Ethan Heilman and Armin Sabouri in BIP 347, is not a covenant. It was an opcode that was originally included in the first release of Bitcoin for manipulating data elements on the stack. It was deactivated in 2010 with the release of Bitcoin 0.3.10 along with a number of other opcodes due to concerns of denial of service attacks that could crash nodes. A global maximum limit of 520 bytes for any individual item on the stack while executing a script was also added.

OP_CAT, avancé pour la réactivation dans Tapscript par Ethan Heilman et Armin Sabouri dans BIP 347, n'est pas une alliance. C'était un OPCode qui a été initialement inclus dans la première version de Bitcoin pour manipuler les éléments de données sur la pile. Il a été désactivé en 2010 avec la libération de Bitcoin 0.3.10 ainsi qu'un certain nombre d'autres opcodes en raison des préoccupations des attaques de déni de service qui pourraient écraser les nœuds. Une limite maximale globale de 520 octets pour tout élément individuel sur la pile lors de l'exécution d'un script a également été ajoutée.

You should already have a basic understanding of how script evaluation on the stack works, and the basic pieces of a bitcoin transaction, so there isn’t really much pre-requisite explaining necessary for OP_CAT.

Vous devriez déjà avoir une compréhension de base du fonctionnement de l'évaluation du script sur la pile et des éléments de base d'une transaction Bitcoin, donc il n'y a pas vraiment beaucoup d'explications de requis nécessaire pour OP_CAT.

While OP_CAT may not be a covenant in and of itself, it can emulate covenants due to a quirk in how Schnorr signatures work. This is a pretty in depth topic, fully explained here by Andrew Poelstra from Blockstream, so I’ll just stick with a high level view. Every elliptic curve has a generator point, which is essentially “0”, that is used in the elliptic curve math for key generation and signing. With Schnorr, you can sign using the generator point as a key, and give or take a few bytes that you have to sign repeatedly to get right, the resulting signature is actually the same hash of the transaction you signed.

Bien que OP_CAT ne soit pas une alliance en soi, il peut imiter les clauses d'alliances dues à une bizarrerie dans le fonctionnement des signatures Schnorr. Ceci est un sujet joli en profondeur, entièrement expliqué ici par Andrew Poelstra de Blockstream, donc je vais simplement m'en tenir à une vue de haut niveau. Chaque courbe elliptique a un point de générateur, qui est essentiellement «0», qui est utilisé dans la courbe elliptique mathématiques pour la génération de clés et la signature. Avec Schnorr, vous pouvez signer en utilisant le point de générateur comme clé, et donner ou prendre quelques octets que vous devez signer à plusieurs reprises pour bien faire, la signature résultante est en fait le même hachage de la transaction que vous avez signée.

Set aside the mechanics of how that works mathematically for now, and just remember for later that these “weird” signatures allow you to get the current transactions TXID on the stack.

Mettez de côté la mécanique de la façon dont cela fonctionne mathématiquement pour l'instant, et n'oubliez pas plus tard que ces signatures «étranges» vous permettent d'obtenir les transactions actuelles TXID sur la pile.

How OP_CAT Works

Comment fonctionne OP_CAT

OP_CAT takes the top two data items on the stack and concatenates them together. So if the top two items on the stack are “1” and “2”, OP_CAT removes both of them and then puts “12” on top of the stack. That’s it.

OP_CAT prend les deux premiers éléments de données sur la pile et les concaténe ensemble. Donc, si les deux premiers éléments de la pile sont «1» et «2», OP_CAT les supprime, puis met «12» sur la pile. C'est ça.

What Is OP_CAT Useful For

Qu'est-ce que OP_CAT utile pour

Okay, so what’s the big deal? Why is everyone freaking out about OP_CAT even though it’s so simple the explanation of how it works didn’t even take a full paragraph to write.

D'accord, alors quel est le problème? Pourquoi tout le monde panique sur OP_CAT, même s'il est si simple que l'explication de la façon dont cela fonctionne n'a même pas pris un paragraphe complet à écrire.

Two reasons, although given the nature of OP_CAT I can give no guarantees these are the only two reasons. OP_CAT allows the construction and verification of merkle trees directly on the stack, which opens the door to some interesting behavior and functionality. It also allows emulation of covenants enabling full granular introspection due to the “weird” Schnorr signatures mentioned above.

Deux raisons, bien que compte tenu de la nature de l'OP_CAT, je ne peux donner aucune garantie, ce sont les deux seules raisons. OP_CAT permet la construction et la vérification des arbres Merkle directement sur la pile, ce qui ouvre la porte à un comportement et à une fonctionnalité intéressants. Il permet également l'émulation d'alliances permettant une introspection granulaire complète en raison des signatures de Schnorr «étranges» mentionnées ci-dessus.

Merkle proof verification is a key component of Taproot, but the way it is implemented merkle tree verification only occurs in the context of verifying that a tapscript spending path is committed to in the root Schnorr public key in the output script of the coin being spent. Taproot does not support generic merkle proof verification.

La vérification de la preuve de Merkle est un composant clé de la racine de tapoot, mais la façon dont il est implémenté la vérification de l'arborescence de Merkle ne se produit que dans le contexte de la vérification qu'un chemin de dépenses de tapiscript est engagé dans la clé publique Schnorr racine dans le script de sortie de la pièce dépensée. La tapoot ne prend pas en charge la vérification générique de la preuve de Merkle.

OP_CAT allows this in a totally generic manner. Simply providing the leaf hash(es) and then interior hash nodes in the right order and calling OP_CAT successively will allow you to reconstruct a merkle root hash, and compare against a pre-defined hash in the script. You could do this to provide unilateral withdrawal paths for shared UTXOs like in CatVM, you could make transactions dependent on other transactions having been included in a block with valid work, you can make a transaction dependent on pretty much any condition that can be verified with a merkle proof.

OP_CAT le permet de manière totalement générique. Le simple fait de fournir les hachages de feuilles (ES), puis les nœuds de hachage intérieur dans le bon ordre et appeler OP_CAT successivement vous permettra de reconstruire un hachage racine Merkle, et de vous comparer à un hachage prédéfini dans le script. Vous pouvez le faire pour fournir des chemins de retrait unilatéraux pour les utxos partagés comme dans CATVM, vous pouvez effectuer des transactions en fonction d'autres transactions ayant été incluses dans un bloc avec un travail valide, vous pouvez effectuer une transaction dépendante de presque toutes les conditions pouvant être vérifiées avec une épreuve Merkle.

Now, for the covenant emulation that enables full introspection. What you are trying to do is ensure that a transaction has to have certain characteristics to be valid. Remember now that the “weird” signature gets the hash of the transaction on the stack. A transaction signature isn’t actually done over the raw transaction, it’s done over its hash. This allows us to do something interesting.

Maintenant, pour l'émulation d'alliance qui permet une introspection complète. Ce que vous essayez de faire, c'est garantir qu'une transaction doit avoir certaines caractéristiques pour être valides. N'oubliez pas maintenant que la signature «bizarre» obtient le hachage de la transaction sur la pile. Une signature de transaction n'est pas réellement effectuée sur la transaction brute, elle est effectuée sur son hachage. Cela nous permet de faire quelque chose d'intéressant.

You can construct very complicated and convoluted scripts using OP_CAT to take the individual raw pieces of the transaction as part of the witness, and slowly put them together on the

Vous pouvez construire des scripts très compliqués et alambiqués utilisant OP_CAT pour prendre les pièces brutes individuelles de la transaction dans le cadre du témoin, et les assembler lentement sur le