トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9b25195c2ba540287b060660c5b8b1d0a9cceab3977989b0b0004ceab1bb0e48 OP_CHECKSIG

209b25195c2ba540287b060660c5b8b1d0a9cceab3977989b0b0004ceab1bb0e48ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ae21e067f032f9c6dc7c8bc0279503b4d16a778b0dad4ef0a081d270d6ac0395

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ae21e067f032f9c6dc7c8bc0279503b4d16a778b0dad4ef0a081d270d6ac0395
2. TapBranch(ae21e067…d6ac0395, 46c7eccf…1725e9fa) = 594817c7304b0cbc136f6f1b8ef6b15aa5d681b488bf40a681806b16eaee4c23

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

594817c7304b0cbc136f6f1b8ef6b15aa5d681b488bf40a681806b16eaee4c23

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

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

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

850830794ad83193890d24b928078c9fa16f291cfe11fcc5018e370db6b8ea3db62d8500d9c133aa4f6a91a98d8ba62ff908c5d4d0f4eedbc38648795e11e07a