トランザクション

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

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

96c4f7347af9822cb64946fb0f4b6e7dd174b7bb3b4966b502d2097ba6f80799e8c990aada73f757e40ff3f098eeddc0eaa432820a8179b60d215549afbea4e0