トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ce5528e33fcf2d0797206ca027d826eaa93f8fe6f506b731958cd1b6318d3ccb OP_CHECKSIG

20ce5528e33fcf2d0797206ca027d826eaa93f8fe6f506b731958cd1b6318d3ccbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

652722f0fc613dc1b4c20249261595f471b17a400dfd4bacda241f6cf9f16807

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 652722f0fc613dc1b4c20249261595f471b17a400dfd4bacda241f6cf9f16807
2. TapBranch(652722f0…f9f16807, 46c7eccf…1725e9fa) = 7878eb5b44a5ac1a3a37aae2da1f0845f9133dd1a72abf5fe0d03e2be5d67b1c

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

7878eb5b44a5ac1a3a37aae2da1f0845f9133dd1a72abf5fe0d03e2be5d67b1c

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

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

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

7cae339d1251129b38c2e8ca25b320a77dfb1aff3459d71df1534b92881468823ded3ac0633e11440fedc7f88330ae2dba2121399e4c0da1f2f732535ecba2cb