トランザクション

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

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

468eee111e05896538e3cf2d7da30c5d5a6fd569d8f3b0d8a4e2c9d82fe93b5207aeaae8abe441440b3aa1a8ff45e4e90586628c33577559aa40ef4315c1fa3b