トランザクション

入力 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 以上）。

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

9554c7f3e6460f29edf23a2dc96e0ec0b141c16517ae095a76b5cd7e0360c9d7bd0d0948a212c47d39916cba5797d0722868fef4c7ed2d3f0e34f82bb859cb30