トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e60527db812529286ab69676b277ad1337d430722b913ae7011d86c0e56e43c1 OP_CHECKSIG

20e60527db812529286ab69676b277ad1337d430722b913ae7011d86c0e56e43c1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

20b210d926397046945e736dc8fd89d3f295d5d172530ad54a94bcc1be5991ef

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 20b210d926397046945e736dc8fd89d3f295d5d172530ad54a94bcc1be5991ef
2. TapBranch(20b210d9…be5991ef, 46c7eccf…1725e9fa) = 9783bfd25f8106405eac67af51be0a6bb05c71215be006342ef5fc19876a9fa0

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

9783bfd25f8106405eac67af51be0a6bb05c71215be006342ef5fc19876a9fa0

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

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

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

b081b72268c7eeabcc4b5b072bf941280323e5718c9ca6d45f42256799336a26d0fa504f5f89403853cf8a310bfd56f9eb60ab6227d3c05e32a56dc694051e5a