トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a7cb4852680120367cf1f1b250dde90c25a865c451e2f395e51f6e9475ec0c16 OP_CHECKSIG

20a7cb4852680120367cf1f1b250dde90c25a865c451e2f395e51f6e9475ec0c16ac

コントロールブロック

c190fcd2e1dac5e75c1f8b9369b9155d8f36835434869b91c8c91eaf24fe770f98 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

90fcd2e1dac5e75c1f8b9369b9155d8f36835434869b91c8c91eaf24fe770f98

リーフハッシュ（TapLeaf）

108d9030d155956eea4410c7e55955cfb721c9ad191517d261957118f0009d60

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 108d9030d155956eea4410c7e55955cfb721c9ad191517d261957118f0009d60
2. TapBranch(108d9030…f0009d60, 90fcd2e1…fe770f98) = 85b2fe3ac9e7de58dab24593aa04bff8561627cbd6248e7501b5fe136723d046

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

85b2fe3ac9e7de58dab24593aa04bff8561627cbd6248e7501b5fe136723d046

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

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

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

88f1d4ee8d287c1cd4e493acfb70bf00e26a4a8989f8e71e5fca21ada467b5ed07ecfc1a52c3592fa1da5d646014241145c2d2323587828d6073627baca66c92