交易

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

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

叶版本

0xc0

叶脚本

5f93f8a8c7d9c9fced1f3f8528ed73043b5db5cec94f100f58d6ec1163c51b2a OP_CHECKSIG

205f93f8a8c7d9c9fced1f3f8528ed73043b5db5cec94f100f58d6ec1163c51b2aac

控制块

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

控制字节最低位

1

深度（路径长度 m）

1

Merkle 路径

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

叶哈希（TapLeaf）

b80f5e29bde51b7e7bccd7777acc77c29ae7873a8631ee2f485f9961196b8731

重新算出的根

1. TapLeaf(0xc0, 叶脚本) = b80f5e29bde51b7e7bccd7777acc77c29ae7873a8631ee2f485f9961196b8731
2. TapBranch(b80f5e29…196b8731, 46c7eccf…1725e9fa) = 349e0086487e87947486567f7c723e951695df074b42ed4817583e1a3ddedcab

输出的见证程序

349e0086487e87947486567f7c723e951695df074b42ed4817583e1a3ddedcab

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

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

交给脚本的栈元素

81df6b32dbf35b50a427aa0955553de5ae1bf7066d6c35cd4cff8d8a0e5901c2da6f6968a1886f004145fcb2c0cfeec28062f1a0c9aeaad909a9150e0be5d99d