トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

39631c96524fa237e78099edc1dcec95f841153824b826c43dccf57d29e1d649 OP_CHECKSIG

2039631c96524fa237e78099edc1dcec95f841153824b826c43dccf57d29e1d649ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f559111cb1a14f82b0cc455e55a0d6e2356a9e3437f5cc2227d34a9544ddbd0a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f559111cb1a14f82b0cc455e55a0d6e2356a9e3437f5cc2227d34a9544ddbd0a
2. TapBranch(f559111c…44ddbd0a, 46c7eccf…1725e9fa) = 51c85f052b4a617e1dc1c684f6a7b59d6f72328551b40f5f5ad17d8aef7d3db3

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

51c85f052b4a617e1dc1c684f6a7b59d6f72328551b40f5f5ad17d8aef7d3db3

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

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

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

16de734a2da652393fbedae284c7cc6375a8d5ad7734cf729340226f23852c9eda0bb6452672e3a83e0c6219428aefe9ec6b9f3b4731e81506f665b76623f2cf