トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6de9a0ebb2da4f48f9607503948f4fa5e25cbc4d438c1fc268a4e2c9de552a27 OP_CHECKSIG

206de9a0ebb2da4f48f9607503948f4fa5e25cbc4d438c1fc268a4e2c9de552a27ac

コントロールブロック

c17c1c6679cba862ab00599f255d73383a2d9e2858304d1a96e6c0959d69565725 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7c1c6679cba862ab00599f255d73383a2d9e2858304d1a96e6c0959d69565725

リーフハッシュ（TapLeaf）

2a85c8f96552684854ca9410b88e6d02be5877f9daffe0f58188d24e10146d1b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2a85c8f96552684854ca9410b88e6d02be5877f9daffe0f58188d24e10146d1b
2. TapBranch(2a85c8f9…10146d1b, 7c1c6679…69565725) = 3bdbf4e4c198b4a7f009ea72a62ec7bfe8f4451b2f2549cfdf7f128783836a70

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

3bdbf4e4c198b4a7f009ea72a62ec7bfe8f4451b2f2549cfdf7f128783836a70

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

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

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

5cbe38bac7ad32cbc594fc650b73860aa4b0e39fdfbca00999bc19ef84fae0757ee7451caeea52a94f00a395efe3b0f490bb07aa872a28356a85d670ca681fb1