将序数与比特币智能合约集成：第 1 部分

最近，比特币序数在区块链领域引起了广泛关注。据称，与以太坊 ERC-721 等其他代币标准相比，Ordinals 的一个主要缺点是缺乏对智能合约的支持。

我们展示了如何向 Ordinals 添加智能合约功能，从而扩大其用例范围。与普遍看法相反，序数不仅与智能合约兼容，而且实际上非常适合智能合约。

作为展示，我们开发了一个支持许可序数的智能合约。与常规/无需许可的序数相比，每次转让都需要由发行人批准和共同签署。

基本思想

比特币采用UTXO（Unspent Transaction Output）模型。每个UTXO由两个字段组成：

value：此输出中的聪数量
script：锁定输出的比特币脚本。

如果使用 1Sat Ordinals 将 UTXO 记录为不可替代代币 (NFT)，则该value 为 1，并且 script 控制如何铸造或转移代币。由于聪和脚本位于两个正交字段中，因此序数代币可以锁定到任何脚本中。这意味着代币可以由任何智能合约控制。

铸造(Mint)

正如我们之前介绍的，序数被刻在操作码 OP_FALSE OP_IF 和 OP_ENDIF 之间的“信封”中。

文本铭文“Hello, world!”

OP_FALSE 确保铭文脚本永远不会进入 OP_IF 分支并且永远不会被执行。整个铭文脚本可以被视为一个 NOP，并与其他脚本结合在一起，而不改变后者的执行。

对于 sCrypt，它被添加到从 sCrypt 智能合约编译的锁定脚本之前。它不会改变合约的行为，因此可以安全地与任何合约结合。

<Inscription Script> <Locking Script>

转移(Transfer)

代币铸造后，其转移由智能合约决定，就像原生比特币一样。每次转账都可以将代币/聪转移到新的智能合约中。注意，确保转移时没有前面的铭文，只有在第一次铭文时才会有。

<Locking Script>

许可序数

如今，大多数序数都使用 Pay To Pubkey Hash (P2PKH) 作为锁定脚本。当 Alice 想要将序数转移给 Bob 时，她不需要任何第三方的许可。

在某些情况下，每次转让都必须得到发行人的批准，例如为了遵守法律。当铸造这样的序数时，我们可以使用以下智能合约。

export class PermissionedOrdinal extends SmartContract {
    @prop()
    readonly issuer: PubKey

    // length of inscription script
    @prop()
    readonly inscriptLen: bigint

    @prop(true)
    owner: PubKey

    // is being minted
    @prop(true)
    isMint: boolean

    constructor(issuer: PubKey, inscriptLen: bigint) {
        super(...arguments)
        this.issuer = issuer
        this.inscriptLen = inscriptLen
        this.owner = issuer
        this.isMint = true
    }

    @method()
    public transfer(recipient: PubKey, ownerSig: Sig, issuerSig: Sig) {
        assert(this.checkSig(ownerSig, this.owner), 'owner signature check failed')
        // issuer co-sign
        assert(this.checkSig(issuerSig, this.issuer), 'issuer signature check failed')
        
        // save a local copy
        const isMint = this.isMint

        this.owner = recipient
        this.isMint = false
        let stateScript = this.getStateScript()
        if (isMint) {
            // Cut leading inscription script.
            stateScript = slice(stateScript, this.inscriptLen)
        }

        // Propagate contract to next output and ensure the value stays 1 sat.
        let outputs = Utils.buildOutput(stateScript, 1n)
        outputs += this.buildChangeOutput()
        assert(this.ctx.hashOutputs == hash256(outputs), 'hashOutputs mismatch')
    }
}