トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b4ecf9eba5820512b84df02c9087897033f61ef28aa47abe441e53b2db7b2cc4 OP_CHECKSIG

20b4ecf9eba5820512b84df02c9087897033f61ef28aa47abe441e53b2db7b2cc4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ab2c5bc8999976605009c62289c5e536b68faa88862d3b5699f92d5702e4b1e1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ab2c5bc8999976605009c62289c5e536b68faa88862d3b5699f92d5702e4b1e1
2. TapBranch(ab2c5bc8…02e4b1e1, 46c7eccf…1725e9fa) = 4c8b305d5f626e87994d35b95cdd76e9811785b20739027be2b351c4a25ec5a6

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

4c8b305d5f626e87994d35b95cdd76e9811785b20739027be2b351c4a25ec5a6

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

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

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

c27ea20b58bac7bb8c08af2cc753d6c267bd86eb8ab90cbaf76e11aedda739aaeb01f7773cf54500c09d1bfd0be65433da4669b90d2190168db0ba2ea5889d7e