トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8a17be2f89dbc9a99a1fe3d1e6d086666311fc746b3b287d80bc31a28314fa41 OP_CHECKSIG

208a17be2f89dbc9a99a1fe3d1e6d086666311fc746b3b287d80bc31a28314fa41ac

コントロールブロック

c13c5e800034c88cabf5e7c2525ab413bb30f11446bc4b355f27e07deff0aa7144 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

3c5e800034c88cabf5e7c2525ab413bb30f11446bc4b355f27e07deff0aa7144

リーフハッシュ（TapLeaf）

724383f860b7b8d2e7eb9119dafe8afbf36372cbbfb68eb3a592b581745ab6b5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 724383f860b7b8d2e7eb9119dafe8afbf36372cbbfb68eb3a592b581745ab6b5
2. TapBranch(724383f8…745ab6b5, 3c5e8000…f0aa7144) = 60a1588d8cd6ce17dcafd82c2b616a159669b0b24bc44b99fb8000cdf262d24a

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

60a1588d8cd6ce17dcafd82c2b616a159669b0b24bc44b99fb8000cdf262d24a

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

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

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

fd1266fa6ccf1c8b06b8ee713f6226efaf8ff02545c2c3d373bcd951b165d3da22f3cf5d691a4d1b8c599fc62c15bc1d074f11719f210dbbcbe24e66c3b6e18e