トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2db41c6106e3e725832464e648d0737609a21f689ddfe7613a69052a6049672f OP_CHECKSIG

202db41c6106e3e725832464e648d0737609a21f689ddfe7613a69052a6049672fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

75198ef22c02e2c1a22465693fb3d719a6cb44ae0af658961d7ef6bd40e77024

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 75198ef22c02e2c1a22465693fb3d719a6cb44ae0af658961d7ef6bd40e77024
2. TapBranch(75198ef2…40e77024, 46c7eccf…1725e9fa) = 22e9c89c51cf1439cc79d14b24741c1d94058ee87d778d6466939951da373238

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

22e9c89c51cf1439cc79d14b24741c1d94058ee87d778d6466939951da373238

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

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

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

4ee3c118f19e5b9172b35be4cec0c45958920fbcdf5924cabd58b7673139be82950753e99e913a87afc6ec6ff9e77155f3349d56a9cfc0880b06afbef85b26a0