トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

aeb6f4d03a0654c040aa07ad1a07db360fbdc92bf03108c2735af9ddc658e1de OP_CHECKSIG

20aeb6f4d03a0654c040aa07ad1a07db360fbdc92bf03108c2735af9ddc658e1deac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e674c0ede13415d1d24722b2a5eb7063af59a56637b1d84bf83e105e10d4b8ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e674c0ede13415d1d24722b2a5eb7063af59a56637b1d84bf83e105e10d4b8ba
2. TapBranch(e674c0ed…10d4b8ba, 46c7eccf…1725e9fa) = 4e8caede1e65ab99b715562d86b3a5d86db3d980174560174ea7ed2822bb9086

出力のウィットネスプログラム

4e8caede1e65ab99b715562d86b3a5d86db3d980174560174ea7ed2822bb9086

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

1f5a904e179d20cab77c4d3074b8df1317d2c5f34c899f6ec2304564d14e2fad10b879edcd48508d2f73158067dbe95f6007b076286ed19402c90f6f7b694bc5