トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

866e3fc9eebfd7c33ab4267a4e5952293af82baad73f98fda815cd79956295ea OP_CHECKSIG

20866e3fc9eebfd7c33ab4267a4e5952293af82baad73f98fda815cd79956295eaac

コントロールブロック

c11987737d53bbbe0b17b329d7fb47621dcbff4027eeb442431bfe60418297f3ff (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1987737d53bbbe0b17b329d7fb47621dcbff4027eeb442431bfe60418297f3ff

リーフハッシュ（TapLeaf）

55aad4fd32876435bb740327712284ea34495d94a47738768a470b36805b0056

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 55aad4fd32876435bb740327712284ea34495d94a47738768a470b36805b0056
2. TapBranch(55aad4fd…805b0056, 1987737d…8297f3ff) = fc5a58db5829ed65fb7547dab92e4a63d0cc84841d7d0273c08f8e285abadae4

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

fc5a58db5829ed65fb7547dab92e4a63d0cc84841d7d0273c08f8e285abadae4

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

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

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

858e7781c83917f5c3d3e36e7e00788654144115e639cf82a7b0343a69d616e418b71afc448a08204769ab7ef930e6d8990510fa8275b8667078efda24e13e65