トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8b1d54beb67084f016701e198dc8c35acdcf896b4bb791aee90b18ba81f18095 OP_CHECKSIG

208b1d54beb67084f016701e198dc8c35acdcf896b4bb791aee90b18ba81f18095ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7216175524592dd8c2ace3206ee1cde29498961ba8fc5ce63982396bf72e3102

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7216175524592dd8c2ace3206ee1cde29498961ba8fc5ce63982396bf72e3102
2. TapBranch(72161755…f72e3102, 46c7eccf…1725e9fa) = d630d87448af13cda728c77c6591002d46ce46e79514a753efafe75758b775bf

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

d630d87448af13cda728c77c6591002d46ce46e79514a753efafe75758b775bf

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

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

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

b48fac84b195c53c4fb1dec82193ad442245a58d4e6cdcbd9432b8ad450fd736ad7d653c23f1f70dcdab26f0edd879ea0b8f0abc1f9f44e8ace30ff292dbba04