トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

243ff3894b5e1dfa958f06208954268e477756af1a44709e05a2da7d47c4fadf OP_CHECKSIG

20243ff3894b5e1dfa958f06208954268e477756af1a44709e05a2da7d47c4fadfac

コントロールブロック

c1d2b69e1733bce7b762d938058c2bdd883cbe80ddc02eed510b082e30bc48376a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

d2b69e1733bce7b762d938058c2bdd883cbe80ddc02eed510b082e30bc48376a

リーフハッシュ（TapLeaf）

1f2d1fc56f481301d65118e4960c4dab875cfbdce14e61e83c43553f85033327

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1f2d1fc56f481301d65118e4960c4dab875cfbdce14e61e83c43553f85033327
2. TapBranch(1f2d1fc5…85033327, d2b69e17…bc48376a) = edeb92ba372bc6778ccb34edbcc2743eaf0fccba81c18bd8869e6f3a7ecf5df3

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

edeb92ba372bc6778ccb34edbcc2743eaf0fccba81c18bd8869e6f3a7ecf5df3

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

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

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

0e466ac45a97b168451fe474a6bba31867c7266379b2f26a374be2c6ccdffcd1dd778534669b6a12c9f40fdfdceb3ddf688f85f17c97d6e0bf3b78bed0e755d9