トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c68675f7df6f7e4ad9228793fda4f6edd33b0ce70c45f0832947da0c1ec6dff3 OP_CHECKSIG

20c68675f7df6f7e4ad9228793fda4f6edd33b0ce70c45f0832947da0c1ec6dff3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6735d1aef89ffca845dde6e4aa78df21a76768f8fa6a50274ee9d5e2b716e5be

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6735d1aef89ffca845dde6e4aa78df21a76768f8fa6a50274ee9d5e2b716e5be
2. TapBranch(6735d1ae…b716e5be, 46c7eccf…1725e9fa) = 9f4900ba4c042b74795ad64661de78672560fc10a0e996cfd1e24fe0d9523008

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

9f4900ba4c042b74795ad64661de78672560fc10a0e996cfd1e24fe0d9523008

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

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

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

9d821f9cd170db63f76b20d47fda430f2171d10df8c8f7f511f663c03e92d37ebc98fdc4af9ae82739560d0bcab8f1ecefa716c736266598267d4b79f3437cf2