トランザクション

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

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

295b5573cb9d3300ff96dfc6ec1361298a5a51517cebf8bb2fa4910cd94ea227b687b58d7a5c7b8ba137bcf3be2668b517478706f27e3f39f390aa4a510f7368