トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

76beb740f8ff12a392d5c0042dc1b89232ff1aba9bbd657fdf3d5723970d3ec6 OP_CHECKSIG

2076beb740f8ff12a392d5c0042dc1b89232ff1aba9bbd657fdf3d5723970d3ec6ac

コントロールブロック

c1c597b38add05caf8d4074152303a87de7e14f4c06c866c3e0fc70947af4c37d9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

c597b38add05caf8d4074152303a87de7e14f4c06c866c3e0fc70947af4c37d9

リーフハッシュ（TapLeaf）

2da8980e8bc59f634217572f91c12cf64b52dc8e9447a80970b7bfddce2f59b1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2da8980e8bc59f634217572f91c12cf64b52dc8e9447a80970b7bfddce2f59b1
2. TapBranch(2da8980e…ce2f59b1, c597b38a…af4c37d9) = 2155eeb22f060449953c9a5b1d001e74989b62da77abf2d26bda897ade7dde52

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

2155eeb22f060449953c9a5b1d001e74989b62da77abf2d26bda897ade7dde52

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

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

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

4d0bdb3550672569ddfba4ca9d4d1a896952f44fc9cd7fd9ce10893c53b069b756f10a96e2f3d41ad76c618947076fcbb2910c08280c447cef72f46cd9deadab