トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

292b597313db182b65ee2489774a9097e2947445f8a8f8efcb6bbbf9703c87d7 OP_CHECKSIG

20292b597313db182b65ee2489774a9097e2947445f8a8f8efcb6bbbf9703c87d7ac

コントロールブロック

c17e34a049ed9cc3d63dc789c6ffdceaef62ffa613a5cb92c70ce9cf21261c257c (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7e34a049ed9cc3d63dc789c6ffdceaef62ffa613a5cb92c70ce9cf21261c257c

リーフハッシュ（TapLeaf）

84c8ddea2ef3fc5a550cf0b0c2fe1950f94b771f7010ff64daeb52027aee65fa

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 84c8ddea2ef3fc5a550cf0b0c2fe1950f94b771f7010ff64daeb52027aee65fa
2. TapBranch(84c8ddea…7aee65fa, 7e34a049…261c257c) = 6bc810ff4b77a39dc023a27de480412671f3fa2fe27074dd8a56ea20bbf69d6f

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

6bc810ff4b77a39dc023a27de480412671f3fa2fe27074dd8a56ea20bbf69d6f

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

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

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

5be38d5aed16dfc7c8f748c77e157bbbd2a145912567fb45fe56346f63e5ca3552832ec1dd64ff895d8e8c72925e7fb5f85b9f5110aabcf99be266bcd115e536