トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

782753a55a48ccab780062c3c0211967098196bf73df879258fa648a080f30e4 OP_CHECKSIG

20782753a55a48ccab780062c3c0211967098196bf73df879258fa648a080f30e4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ad0cb9c06e49362afb7125c5a2c879707a870ed0fd3aa6c1725f34143cfafae9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ad0cb9c06e49362afb7125c5a2c879707a870ed0fd3aa6c1725f34143cfafae9
2. TapBranch(ad0cb9c0…3cfafae9, 46c7eccf…1725e9fa) = 57a575fe2001ce398a1b82928f580224ca0e820a5088cc34f6fda9f742a9d8bb

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

57a575fe2001ce398a1b82928f580224ca0e820a5088cc34f6fda9f742a9d8bb

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

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

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

649f6587b563196ef1da6ec12dcb10399db294ac44218af8a6422545767bf5d12d0b3fa6f4371eedaea722aae1d76f949a7dc033bd7a3fec0a621e7df6b04ee3