トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0cc791fbf1144489eeb16a71018b3c16ed47a96170ba05a26c73875a15fd12f6 OP_CHECKSIG

200cc791fbf1144489eeb16a71018b3c16ed47a96170ba05a26c73875a15fd12f6ac

コントロールブロック

c13d9502c1e21ad3f0a1b17225464cf35d9df1eb71f34762c98a8cfd37ea7ffc98 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

3d9502c1e21ad3f0a1b17225464cf35d9df1eb71f34762c98a8cfd37ea7ffc98

リーフハッシュ（TapLeaf）

5a2ff78995e7505568e3e86ac7649cc1e59b07a34305504efef7f9c345bc5424

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5a2ff78995e7505568e3e86ac7649cc1e59b07a34305504efef7f9c345bc5424
2. TapBranch(5a2ff789…45bc5424, 3d9502c1…ea7ffc98) = 32fd35ec979abc64d7e422066726c27453e52dcc4b761e95a9a114eb41e11fb9

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

32fd35ec979abc64d7e422066726c27453e52dcc4b761e95a9a114eb41e11fb9

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

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

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

e868d5a0e523b4dd188e5af7246ea261946b478f52e67296e45dc5c34d11a6048959d5d6366631c985fde970ebf94d529dbe7410099bcfc9aefd4a662378e18a