トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4e1abf45061f8add495c1cc966d6cbaaa9b0f1d1ea7838e93d4a152cb124856b OP_CHECKSIG

204e1abf45061f8add495c1cc966d6cbaaa9b0f1d1ea7838e93d4a152cb124856bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ea308855dcb9b987d68ab2c130a352fd0416d5729319240a93b8c81c5e3188f5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ea308855dcb9b987d68ab2c130a352fd0416d5729319240a93b8c81c5e3188f5
2. TapBranch(ea308855…5e3188f5, 46c7eccf…1725e9fa) = d1182d9c6d0635f7ee6d5a8566354d59be04f47f3bf64e57bc640f1e435bd688

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

d1182d9c6d0635f7ee6d5a8566354d59be04f47f3bf64e57bc640f1e435bd688

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

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

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

e9702e03f93376e98703e44d27d032c040d03529205f0cf9848d7285095facbd0c1da17c48d9196dd5cec6108cc9edbad4c1a73c63172ccb11c0c472abd5934c