トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

891776f5fbde14c1a69b04e8dbee5d122e829f25624ce4922d3cce34210970fa OP_CHECKSIG

20891776f5fbde14c1a69b04e8dbee5d122e829f25624ce4922d3cce34210970faac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e25b4e692ae5e4a1ebde40d88018b8b116c8148856011623a882b2e289669fd9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e25b4e692ae5e4a1ebde40d88018b8b116c8148856011623a882b2e289669fd9
2. TapBranch(e25b4e69…89669fd9, 46c7eccf…1725e9fa) = 431e10dfaa4806c06fc94176b2878176df48d7a7f1305edb03ea42885e1ffde3

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

431e10dfaa4806c06fc94176b2878176df48d7a7f1305edb03ea42885e1ffde3

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

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

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

a6b96f25328abd29a5620cc0a94ef8f434aaa43628cab97c1376a41c222c9063d58788ce452d9ad52d4baecc1f29f6db436c5127265bf93cb542778a893fd7bb