トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1c09b646f2a3b2de57317b69a9d63a5fb67090db34203ad26cbb3191c11bfd78 OP_CHECKSIG

201c09b646f2a3b2de57317b69a9d63a5fb67090db34203ad26cbb3191c11bfd78ac

コントロールブロック

c132edd053dcb51c02fa3b75a89f2acfb45f24ce1d38eaa6ddeb5f3553b4e838d4 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

32edd053dcb51c02fa3b75a89f2acfb45f24ce1d38eaa6ddeb5f3553b4e838d4

リーフハッシュ（TapLeaf）

f446c1a6d0a616d2493266ff22a8ba572a8d0d7ae7146a6220566dfc5e746af3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f446c1a6d0a616d2493266ff22a8ba572a8d0d7ae7146a6220566dfc5e746af3
2. TapBranch(f446c1a6…5e746af3, 32edd053…b4e838d4) = 171a395231dea7fb47e782283f41c95a330b3dd0f8d267d5fc6813aaa3c20e14

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

171a395231dea7fb47e782283f41c95a330b3dd0f8d267d5fc6813aaa3c20e14

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

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

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

505a04bfafbe048ff569fe1c35fd67c8766c83d0648406c91203b1321fe0a277951ec6e61350f0c0c35e642370990b3c297072fe234080f8093e578b6a03cfd8