トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

17deae97725350ad2dc984201b1b1c96a724668573577c2d33ec0d8bde40d2ca OP_CHECKSIG

2017deae97725350ad2dc984201b1b1c96a724668573577c2d33ec0d8bde40d2caac

コントロールブロック

c1ef08854b3183a75eb883d15da4f2935c358076d4d4bebc37fde8422125683c3d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ef08854b3183a75eb883d15da4f2935c358076d4d4bebc37fde8422125683c3d

リーフハッシュ（TapLeaf）

d881c83b1661220451a1f38e9d6e3aed6e2132381b5705e4c83410ab87200ae2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d881c83b1661220451a1f38e9d6e3aed6e2132381b5705e4c83410ab87200ae2
2. TapBranch(d881c83b…87200ae2, ef08854b…25683c3d) = c24287b504047e973dd5c90f6ff4b87500828c5c8dbf4f20bb2f75776a07d190

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

c24287b504047e973dd5c90f6ff4b87500828c5c8dbf4f20bb2f75776a07d190

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

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

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

2b90ee57b245fbcf8cb8130b2a118ea686c009580d931ccf525e72e8edce48aff39164232aa198bb58f3bf3d4a359b7436f857c9b03dfcd08ec4a72142eb383a