トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cb4cdf97ccf2651e80829bf0dde535d8c6a8cd0f28c0b5ff7158ac8ea194c204 OP_CHECKSIG

20cb4cdf97ccf2651e80829bf0dde535d8c6a8cd0f28c0b5ff7158ac8ea194c204ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6a567840b955a85207ffa671fcb66c2203797ca4cbfc4a5d03f6cc206d37b66b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6a567840b955a85207ffa671fcb66c2203797ca4cbfc4a5d03f6cc206d37b66b
2. TapBranch(6a567840…6d37b66b, 46c7eccf…1725e9fa) = 8e2f5614247a11b01b4c2421d7b1be10646c272adb31a97c395b44bfd1886dee

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

8e2f5614247a11b01b4c2421d7b1be10646c272adb31a97c395b44bfd1886dee

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

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

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

a8c91b113651788432248a6467f0e2c7a6addf320fa2f7369bcdf12a6c6626c36847c2692c44dc180277d878cb33e7f286e4083bbda40e634d541991ff1398c6