Persistent Data Sticker Contract with Native Introspection Opcodes : btc

Persistent Data Sticker Contract with Native Introspection Opcodes : btc


I think I have nailed down a contract primitive that could be used to construct a covenant with genesis provable by a fixed-size proof. I imagined it to work by entangling 2 contracts and requiring them to always be spent together. This is the 1st contract, still working on the other one.

Looking for feedback from any Script wizard out there, does this achieve what I think it achieves?

Persistent Data Sticker Contract

Local transaction introspection will make it possible to design a contract owned by another contract. Here we present one such contract that:

  1. Hardcodes some data inside its redeem script.

  2. Requires no signature.

  3. Requires self-replication.

  4. Requires that another contract from the same parent TX is spent from.

With only 1., 2., and 3. the contract would be an anyone-can-spend persistent data entity. With 4., another contract becomes the owner by transitive relation.

Redeem script:
<sticker> OP_DROP // This is my data
<1> OP_OUTPUTBYTECODE <1> OP_UTXOBYTECODE OP_EQUAL // I couldn’t have changed my data from when it was first set
<1> OP_OUTPOINTTXHASH <2> OP_OUTPOINTTXHASH OP_EQUAL // My owner got spent, therefore I can be spent

Signature script:

For the sticker to be spendable its owner must be spent in the same TX. The sticker will be replicated as the 1st output, and the 2nd output will become the new owner.

The sticker proves only that it couldn’t have changed its data from when it was first set, but it can’t prove when the data was set or which owner originally set it. It can’t prove that it’s not a new instance created in the parent TX. To prove genesis would require tracing the whole chain back to genesis.


CC0 1.0 Universal (CC0 1.0) Public Domain Dedication

Source link

Leave a Comment

Your email address will not be published. Required fields are marked *