トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ecdf38f7b498070a967dc38bf1810cb828b36192789c7075cc89f149a3ab290 OP_CHECKSIG

209ecdf38f7b498070a967dc38bf1810cb828b36192789c7075cc89f149a3ab290ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7cba10a6394557c7815753f02bbc4e5054f8a05d124cbdf505469dcc61f8c103

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7cba10a6394557c7815753f02bbc4e5054f8a05d124cbdf505469dcc61f8c103
2. TapBranch(7cba10a6…61f8c103, 46c7eccf…1725e9fa) = 908679f970f2c9e3c0e87cdddcfb49248ee3fbeb6633a037bb98363d0946e5a4

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

908679f970f2c9e3c0e87cdddcfb49248ee3fbeb6633a037bb98363d0946e5a4

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

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

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

3505ed237ec9465fac11a51331dfb8e151d952456b46450bac20f59f8a6b634a345a56693172941fb2c9f503fc1f073cc8fcf1c1ce3cac0dd073606ba8e5ff0e