将序数与比特币智能合约集成：第 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: booleanconstructor(issuer: PubKey, inscriptLen: bigint) {super(...arguments)this.issuer = issuerthis.inscriptLen = inscriptLenthis.owner = issuerthis.isMint = true}@method()public transfer(recipient: PubKey, ownerSig: Sig, issuerSig: Sig) {assert(this.checkSig(ownerSig, this.owner), 'owner signature check failed')// issuer co-signassert(this.checkSig(issuerSig, this.issuer), 'issuer signature check failed')// save a local copyconst isMint = this.isMintthis.owner = recipientthis.isMint = falselet 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')}
}