Tauchgang in Op_cat: Eine neue Ära von Bitcoin -Skripting

Dies ist der fünfte Artikel in einer Serie Deep eintauchen in einzelne Vorschläge, die einen Zeitpunkt der Reife erreicht haben, das einen eingehenden Zusammenbruch verdient.

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.

Dies ist der fünfte Artikel in einer Serie Deep eintauchen in einzelne Vorschläge, die einen Zeitpunkt der Reife erreicht haben, das einen eingehenden Zusammenbruch verdient.

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, die von Ethan Heilman und Armin Sabouri in BIP 347 zur Reaktivierung in Tapscript vorgebracht wurde, ist kein Bund. Es war ein Opcode, der ursprünglich in der ersten Veröffentlichung von Bitcoin zum Manipulieren von Datenelementen auf dem Stapel enthalten war. Es wurde 2010 mit der Veröffentlichung von Bitcoin 0.3.10 zusammen mit einer Reihe anderer Opcodes deaktiviert, da die Bedenken hinsichtlich der Ablehnung von Dienstangaben, die Knoten zum Absturz bringen könnten,. Eine globale maximale Grenze von 520 Bytes für jeden einzelnen Element auf dem Stapel bei der Ausführung eines Skripts wurde ebenfalls hinzugefügt.

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.

Sie sollten bereits ein grundlegendes Verständnis dafür haben, wie die Skriptbewertung auf dem Stapel funktioniert, und die grundlegenden Teile einer Bitcoin-Transaktion, sodass es nicht wirklich viel vor der Erregung erklärt, die für OP_CAT notwendig ist.

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.

OP_CAT ist zwar an und für sich möglicherweise kein Bund, aber es kann aufgrund einer Eigenart der Funktionsweise von Schnorr -Signaturen Bündnisse emulieren. Dies ist ein hübsches Tiefenthema, das hier von Andrew Poelstra von Blockstream vollständig erklärt wurde. Ich bleibe nur auf eine hochstufige Ansicht. Jede elliptische Kurve hat einen Generatorpunkt, der im Wesentlichen „0“ ist und in der mathematischen Elliptikkurve für die Schlüsselgenerierung und -unterschrift verwendet wird. Mit Schnorr können Sie den Generatorpunkt als Schlüssel unterschreiben und ein paar Bytes geben oder nehmen, die Sie wiederholt unterschreiben müssen, um richtig zu werden. Die resultierende Signatur ist tatsächlich der gleiche Hash der von Ihnen unterschriebenen Transaktion.

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.

Legen Sie die Mechanik, wie dies mathematisch funktioniert, vorerst und denken Sie später daran, dass diese „seltsamen“ Signaturen es Ihnen ermöglichen, die aktuellen Transaktionen TXID auf den Stapel zu bringen.

How OP_CAT Works

Wie OP_CAT funktioniert

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 nimmt die beiden Top -Datenelemente auf dem Stapel und verkettet sie zusammen. Wenn also die beiden obersten Elemente auf dem Stapel "1" und "2" sind, entfernt OP_CAT beide und legt dann "12" auf den Stapel. Das war's.

What Is OP_CAT Useful For

Was ist op_cat nützlich für

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.

Okay, also was ist die große Sache? Warum flippt jeder über OP_CAT aus, obwohl es so einfach ist, wie es funktioniert, wie es funktioniert, hat nicht einmal einen vollständigen Absatz zum Schreiben genommen?

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.

Zwei Gründe, obwohl ich angesichts der Art von OP_CAT keine Garantien geben kann, sind dies die einzigen beiden Gründe. OP_CAT ermöglicht die Konstruktion und Überprüfung von Merkle -Bäumen direkt am Stapel, was die Tür zu einem interessanten Verhalten und einer interessanten Funktionalität öffnet. Es ermöglicht auch die Emulation von Bündnissen, die aufgrund der oben genannten „seltsamen“ Schnorr -Signaturen eine vollständige körnige Selbstbeobachtung ermöglichen.

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.

Die Merkle -Proof -Überprüfung ist eine Schlüsselkomponente von Taproot, aber die Art und Weise, wie die Merkle -Baum -Überprüfung implementiert wird, erfolgt nur im Zusammenhang mit der Überprüfung, dass ein Tapscript -Ausgabenpfad im Root Schnorr öffentlichen Schlüssel im Ausgabeskript der ausgegebenen Münze festgelegt ist. Taproot unterstützt keine generische Merkle -Proof -Überprüfung.

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 erlaubt dies auf eine ganz generische Weise. Wenn Sie einfach den Leaf-Hash (ES) und dann den Innenhash-Knoten in der richtigen Reihenfolge und nacheinander aufrufen, können Sie einen Merkle-Root-Hash rekonstruieren und sich mit einem vordefinierten Hash im Skript vergleichen lassen. Sie können dies tun, um einseitige Entzugspfade für gemeinsam genutzte UTXOs wie in CATVM bereitzustellen. Sie können Transaktionen von anderen Transaktionen abhängen, die in einem Block mit gültigen Arbeiten aufgenommen wurden.

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.

Jetzt für die Emulation der Bund, die eine vollständige Selbstbeobachtung ermöglicht. Sie versuchen sicherzustellen, dass eine Transaktion bestimmte Merkmale haben muss, um gültig zu sein. Denken Sie jetzt daran, dass die „seltsame“ Signatur den Hash der Transaktion auf dem Stapel erhält. Eine Transaktionssignatur wird nicht tatsächlich über die RAW -Transaktion durchgeführt, sondern über ihren Hash. Dies ermöglicht es uns, etwas Interessantes zu tun.

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

Sie können sehr komplizierte und verworrene Skripte mit OP_CAT konstruieren, um die einzelnen rohen Teile der Transaktion als Teil des Zeugen zu nehmen, und sie langsam auf den