トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6cff75ce2db70bce0d1f02aecc691f7f1db89675fe37359873a809fe7843122f OP_CHECKSIG

206cff75ce2db70bce0d1f02aecc691f7f1db89675fe37359873a809fe7843122fac

コントロールブロック

c16c2f301629bf3bdaa1c34b64ac550a4672f953bf370e5221078807b94c36e9be (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

6c2f301629bf3bdaa1c34b64ac550a4672f953bf370e5221078807b94c36e9be

リーフハッシュ（TapLeaf）

b401e19008c4742b19b66fd258b0bfcc2ea383579cc1c9700ce0ccd92a090b30

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b401e19008c4742b19b66fd258b0bfcc2ea383579cc1c9700ce0ccd92a090b30
2. TapBranch(b401e190…2a090b30, 6c2f3016…4c36e9be) = cc827645dfa8b521022aafd3a3330ee45e6d95264f8fbbf7780a311cbc26a7ba

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

cc827645dfa8b521022aafd3a3330ee45e6d95264f8fbbf7780a311cbc26a7ba

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

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

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

5cb3b98989d5fd40c1b51a2e1c498c249f6098f56cfec7fc4732909aabb78635cc3e2f0053baffa8e5cfe4703aa8f85b66887b651697102c437d77ac442bf6de