トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f4d946d16fcad04393ca15845a0a8c1e318f10897b8ca80ad5fff7080abd1235 OP_CHECKSIG

20f4d946d16fcad04393ca15845a0a8c1e318f10897b8ca80ad5fff7080abd1235ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bb3f2bcd8afa3980653db133a4e62c315a7c9e4ba66651f88b330224ebcd4a7e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bb3f2bcd8afa3980653db133a4e62c315a7c9e4ba66651f88b330224ebcd4a7e
2. TapBranch(bb3f2bcd…ebcd4a7e, 46c7eccf…1725e9fa) = 76c3d1908f3421671d7d7c882cd614055fde4fac5a1e0e41b9d82889911b0699

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

76c3d1908f3421671d7d7c882cd614055fde4fac5a1e0e41b9d82889911b0699

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

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

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

a7940a6db367017bb4b2e0262721b041f92d33dd42e48144bccb57a0ba8f2ccd09acd286b5ba63462f105a6db292b8ae554dbd4ec30019b05595293f080d7cd6