トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cde77257395b31362c5a86a87a18b84e24cda700a195d8e6e1a56bb30350450d OP_CHECKSIG

20cde77257395b31362c5a86a87a18b84e24cda700a195d8e6e1a56bb30350450dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3f226ec5fa0c0ee91c448b9a870ed074999b29c8b35320c6dda31734d1679c9b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3f226ec5fa0c0ee91c448b9a870ed074999b29c8b35320c6dda31734d1679c9b
2. TapBranch(3f226ec5…d1679c9b, 46c7eccf…1725e9fa) = 96e52fe97d94fc766e6506a69b7e1daaa5b048fd7930a9d79897762fa8e21460

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

96e52fe97d94fc766e6506a69b7e1daaa5b048fd7930a9d79897762fa8e21460

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

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

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

0c89aa4caffb9e33e89aad4f694c2caf834f4026f5b273595beaa37dca3cd650112244b8fe51f71987bc1bceb376e36ade8e1df6a73dde12c6c59903e2c0839d