トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

581cf366cbe2703dd92005edd41570a62f5bb1b3f861baa18d32f231dc4a4daa OP_CHECKSIG

20581cf366cbe2703dd92005edd41570a62f5bb1b3f861baa18d32f231dc4a4daaac

コントロールブロック

c131d3c411cacd1b3d196a91fdab64a739f76839d9613075fbb9b210e7a2ec0b30 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

31d3c411cacd1b3d196a91fdab64a739f76839d9613075fbb9b210e7a2ec0b30

リーフハッシュ（TapLeaf）

5f57479b9681deaf95c1c3073fd92dc56a87d2a6273f018c4a52afd939804486

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f57479b9681deaf95c1c3073fd92dc56a87d2a6273f018c4a52afd939804486
2. TapBranch(5f57479b…39804486, 31d3c411…a2ec0b30) = 88f52f13605d1bfdcef12f87589582ce5b625fe5ce3a37cef6daa3be81d6b6ca

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

88f52f13605d1bfdcef12f87589582ce5b625fe5ce3a37cef6daa3be81d6b6ca

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

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

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

9f5c8627d98e977505947e50e246b0e30be5496c3edbcd88bebdddab3c4110e7bd03d6f77f604766f9ef032a30c92c003cb02bf6a4a7afb0d1dc750ff7ddb0ea