トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

81e38894a8ff7236a9dfd4312684314286a3c7c3e5e2a5d3d4a4fcefbae939dc OP_CHECKSIG

2081e38894a8ff7236a9dfd4312684314286a3c7c3e5e2a5d3d4a4fcefbae939dcac

コントロールブロック

c1346a409cad620d0e6d219bb6c8db77d4c1ffec49e28453e2181fe62d802a5060 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

346a409cad620d0e6d219bb6c8db77d4c1ffec49e28453e2181fe62d802a5060

リーフハッシュ（TapLeaf）

68eb9f078fe3f535c67030cf5fb9315524f906f47f741f6acd8fc974b5b51e64

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 68eb9f078fe3f535c67030cf5fb9315524f906f47f741f6acd8fc974b5b51e64
2. TapBranch(68eb9f07…b5b51e64, 346a409c…802a5060) = d43376245ee2da85e5e4173f282b42f1e2a4031064861c7682eb70ecee9babc8

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

d43376245ee2da85e5e4173f282b42f1e2a4031064861c7682eb70ecee9babc8

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

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

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

f7b06d1ab3d7a5512f1a5f19a5f20b3401143170674793590b404f2baa3078625c01b756ec464774bba6da34f0cd6316de90d7b8477e168fdc782426e9045e5e