トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

592bb1d0243e0326253f4f1c5c02efd0878379febc0a0d7ff7ba6807f809b87f OP_CHECKSIG

20592bb1d0243e0326253f4f1c5c02efd0878379febc0a0d7ff7ba6807f809b87fac

コントロールブロック

c17f9bd4a7311ae70ccb26ca45989215f52f618a870e88312e387ac99c238ddf17 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7f9bd4a7311ae70ccb26ca45989215f52f618a870e88312e387ac99c238ddf17

リーフハッシュ（TapLeaf）

d62096bfbc81d7b611345410a585449cbb811b25818c2c6e37445fd5d9838a34

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d62096bfbc81d7b611345410a585449cbb811b25818c2c6e37445fd5d9838a34
2. TapBranch(d62096bf…d9838a34, 7f9bd4a7…238ddf17) = fc4674f28cd13f8f312220d88ca52a7054196dbd874de10370a8b54e2d736c7a

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

fc4674f28cd13f8f312220d88ca52a7054196dbd874de10370a8b54e2d736c7a

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

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

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

53bd6e50c5fd3b1a4757d0778ec22c16195a8692b80091385dec5f30c3531eb20f3e125e94ca8956de8e2767faa5dde356349426677c43346d35a81b9126e022