トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

25b5ec4ace8589021438899fd111aba34e6a8522f07de1eacc9bb8f55d7ab1dc OP_CHECKSIG

2025b5ec4ace8589021438899fd111aba34e6a8522f07de1eacc9bb8f55d7ab1dcac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d22ed3aa3d762c95af901d02b820b62687a50f7a90eb947cc70e287ec7044c0a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d22ed3aa3d762c95af901d02b820b62687a50f7a90eb947cc70e287ec7044c0a
2. TapBranch(d22ed3aa…c7044c0a, 46c7eccf…1725e9fa) = 40b5acf5935e44ccc4a1b50e48a62e8168ec2750f2574de8bc66c8891eb64c8d

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

40b5acf5935e44ccc4a1b50e48a62e8168ec2750f2574de8bc66c8891eb64c8d

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

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

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

a795ca26cc8f544cc459badc55f88c41ea89d3e2d965d1bee7896b9c5f70cd954a7be928bd3ff17cf9d308d45b142f1bd1de33a190a31b6ebcf4ad93f3affb86