交易

第 0 个输入的 P2MR script-path 花费

节点这样验证这笔花费：对公开的叶子求哈希，沿控制块里的 Merkle 路径算到根，要求根等于输出的 32 字节见证程序。本页按同样的步骤重新算一遍。

叶版本

0xc0

叶脚本

063da3ebe2236cc5a2a4619e757c5337ef345fb8b211ad5e8ea2aab0b5932d3b OP_CHECKSIG

20063da3ebe2236cc5a2a4619e757c5337ef345fb8b211ad5e8ea2aab0b5932d3bac

控制块

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

控制字节最低位

1

深度（路径长度 m）

1

Merkle 路径

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

叶哈希（TapLeaf）

f26f72409b6c7c73ba12c6a661b2f0dc133c5f6d998bd0c0ba1e4c48c9521cbd

重新算出的根

1. TapLeaf(0xc0, 叶脚本) = f26f72409b6c7c73ba12c6a661b2f0dc133c5f6d998bd0c0ba1e4c48c9521cbd
2. TapBranch(f26f7240…c9521cbd, 46c7eccf…1725e9fa) = bee9a279405e907eff6579cafa04ae3978f07a9b8e325029a3e9a99f7fad32f8

输出的见证程序

bee9a279405e907eff6579cafa04ae3978f07a9b8e325029a3e9a99f7fad32f8

✓ 一致：公开的叶子确实由这个输出承诺。

叶脚本已执行（叶版本 0xc0，深度 1 及以上）。

交给脚本的栈元素

0a0a1ea55c74f4a307a379963d70a3e640e428f6b355a680d7bf6f3c1ebd53b638cf94b0bc71e7dba86ccc58ea2222cb147260b51db35cca2191d91bfe6fc3e9