トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2994573936edb73a1b18c7e72980bd7f18de55acd340682674452a8a7bc2abd2 OP_CHECKSIG

202994573936edb73a1b18c7e72980bd7f18de55acd340682674452a8a7bc2abd2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6b48e44b5083c8dccfa09b4db76ab69cf09a8c21a2762e102b2410f6014becb3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6b48e44b5083c8dccfa09b4db76ab69cf09a8c21a2762e102b2410f6014becb3
2. TapBranch(6b48e44b…014becb3, 46c7eccf…1725e9fa) = 195d457cf7fa45b196c01e41b5b4293cf8dfdc54fb5fda944a77886d8ef5b31a

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

195d457cf7fa45b196c01e41b5b4293cf8dfdc54fb5fda944a77886d8ef5b31a

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

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

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

0edd0bbc8a28026d332a85992601291006851b325ea8e4c10b7dd6ce91b1b841e3d9fa20f8a14eee9b069a3940096e9c422588162987aabfb30b9ec2eb8316d0