トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

79a43c63a83c45cdb651876f39f5b9a6d8dc73e85a7de6dae4ba70530695fd92 OP_CHECKSIG

2079a43c63a83c45cdb651876f39f5b9a6d8dc73e85a7de6dae4ba70530695fd92ac

コントロールブロック

c1848208380d7871c4e8183771057b27082873c3378fd000d722b8e0f49697b0b9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

848208380d7871c4e8183771057b27082873c3378fd000d722b8e0f49697b0b9

リーフハッシュ（TapLeaf）

f2b49dfcb6da06e123194a853c46c3d6c6a619f1cbecb87d3fd77b9342bf5d65

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f2b49dfcb6da06e123194a853c46c3d6c6a619f1cbecb87d3fd77b9342bf5d65
2. TapBranch(f2b49dfc…42bf5d65, 84820838…9697b0b9) = df9337235a6b6ccf107435bd1e45e6fc7600ac4bd6523e3638de3457d9c94a7c

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

df9337235a6b6ccf107435bd1e45e6fc7600ac4bd6523e3638de3457d9c94a7c

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

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

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

ee33af97638f0d5e80584f763a740f5f4fb8e8406a5b2ed9b61cf3c43e78cc5e56209a67a74387a77799e479d8434849b675636fb40982ecbfc4ddce2adfe9fe