UTXO Compiler

中文

English

中文

English

Appearance

内置对象参考 ​

UTXO_Compiler 合约语言提供两个内置对象：BVM 和 self。文档涵盖对象的名称、作用、属性、方法及使用示例，旨在为开发人员提供清晰、准确的函数使用指南。

1. self 对象 ​

  • 对象名（Object Name）：self
  • 描述（Short Description）：表示当前合约实例的内置对象。self.X 在编译期会被直接替换为字节码中的常量，因此不受所有权约束，可以在公有/私有函数中被反复读取。
  • 使用示例（Example）：
    python
    # 使用 self 对象访问合约成员变量
Contract P2PKH:
    def verify(sig: hex, pubKey: hex):
        pubKey_copy = pubKey.Clone()
        pubKeyHash = Hash160(pubKey_copy)
        EqualVerify(pubKeyHash, self.pubKeyHash)   # 校验本实例存储的公钥哈希
        result = CheckSig(sig, pubKey)

2. BVM 对象 ​

  • 对象名（Object Name）：BVM（Bytecode Virtual Machine，字节码虚拟机）
  • 描述（Short Description）：表示字节码虚拟机的内置对象，提供虚拟机元数据（如版本、输入输出计数）的访问能力。
  • 预定义成员映射表：
    成员名对应数值用途
    "version"1虚拟机版本号
    "locktime"2锁定时间
    "inputCount"3输入数据数量
    "outputCount"4输出数据数量
    "inputsHash"5输入数据的哈希值
    "unlockingInput"6解锁输入数据
    "outputsHash"7输出数据的哈希值
  • 使用示例（Example）：
    python
    # 处理交易数据并验证
tx_data = Cat(pretx.VLIO, tx_data)  # 拼接交易数据
txid = Hash256(tx_data)  # 计算交易ID

# 访问BVM对象的元数据
meta_data = BVM.unlockingInput  # 获取解锁输入元数据
{meta_data_txid, meta_data_remain} = Split(meta_data, 32)  # 从元数据中提取交易ID

EqualVerify(txid, meta_data_txid)  # 验证交易ID一致性

初级开发者易踩坑 ​

  • 把 self 当成运行时变量：self.X 会在编译期写进字节码，不是链上可变存储。
  • 在本地调试时忘记交易上下文：读取 BVM.* 的合约需要通过 settxfile 提供模拟数据。
  • 只校验单个输出字段：涉及当前交易输出时，通常要用 BVM.outputsHash 做整体承诺。

快速回顾 ​

  • self 表示当前合约实例，常用来读取部署时写入的实例数据。
  • self.X 会在编译期替换进字节码，可以重复读取。
  • BVM 提供当前脚本执行时的交易上下文数据。
  • BVM.outputsHash 常用于验证当前交易输出是否符合合约要求。
  • 调试包含 BVM.* 的合约时，需要给调试器加载模拟交易数据。

下一步 ​

🇬🇧 English version