トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

58a1cae2f99389bdc88b6e1eab7f043c09c3e2368ca40043e86ce0e689a1b2ae OP_CHECKSIG

2058a1cae2f99389bdc88b6e1eab7f043c09c3e2368ca40043e86ce0e689a1b2aeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5010140b4f29ded471e986b00978231556f07730f452ae371dceb2c83b3ac1fe

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5010140b4f29ded471e986b00978231556f07730f452ae371dceb2c83b3ac1fe
2. TapBranch(5010140b…3b3ac1fe, 46c7eccf…1725e9fa) = 250078eeca1ebc6486c2fce870240a48f8cce91606877313fac6b9eac9b4d767

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

250078eeca1ebc6486c2fce870240a48f8cce91606877313fac6b9eac9b4d767

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

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

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

19232689439042d2cfee44f2ecc518d9c2d819ebabc8caf5085b3d73c9ccde64c215e2a6b4b784c265ec365994ee95a3260083721928712f1861af4119c41615