トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bdfba5f4f5ab682be2a2adaca2de42227457532a7d3e2d42aa5cf3bb87bbabff OP_CHECKSIG

20bdfba5f4f5ab682be2a2adaca2de42227457532a7d3e2d42aa5cf3bb87bbabffac

コントロールブロック

c1fa2481fd14cef1c62cb396e232588695407604a920b1d6fc5a92c24293f6b99c (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

fa2481fd14cef1c62cb396e232588695407604a920b1d6fc5a92c24293f6b99c

リーフハッシュ（TapLeaf）

12480bb496e47fd35ca61286047f66b2d661ef5fa8720c8047a59d783c8545a1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 12480bb496e47fd35ca61286047f66b2d661ef5fa8720c8047a59d783c8545a1
2. TapBranch(12480bb4…3c8545a1, fa2481fd…93f6b99c) = 5b363e80c6f905079c23f1617817b4028c04d1f10427cb27d24da302f4c07918

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

5b363e80c6f905079c23f1617817b4028c04d1f10427cb27d24da302f4c07918

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

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

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

8313ce54976f721a105c68e3f08c1171d39d34e4b8a407b01b727f58cac1bbbd16983ab59f8e630341b526258b7e7b1d080d6cf6d84ab36b34b9e8378f3940ff