トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8b206b947692173ec91abd55adf4ef55f2bfd863f2a04a4085bd92949a55ea0b OP_CHECKSIG

208b206b947692173ec91abd55adf4ef55f2bfd863f2a04a4085bd92949a55ea0bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

82dfe0b353e458a80bf68d3083e2a5b71355f2cb8e814bb45451ef7df3944514

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 82dfe0b353e458a80bf68d3083e2a5b71355f2cb8e814bb45451ef7df3944514
2. TapBranch(82dfe0b3…f3944514, 46c7eccf…1725e9fa) = 5d76f8b99339ad60a531f9a5f3222607cd2b406162b9638769b0accaca393d5e

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

5d76f8b99339ad60a531f9a5f3222607cd2b406162b9638769b0accaca393d5e

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

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

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

b4d6f3be69f2155d502310c1e171abe02e70bdddabd88b4fb7913211a9a07ea4d20b036d7983ed5fb31f1b9dfd94c86e0b69086c65e08e01b0db7416a043d255