トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d95254040aeab60b00781a948c295e0f9bbf271bb223e3221c0e75355354e895 OP_CHECKSIG

20d95254040aeab60b00781a948c295e0f9bbf271bb223e3221c0e75355354e895ac

コントロールブロック

c10acaf44d581f5b9d211311974d9f4cdcdb4729681db58922d67021010a17a077 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0acaf44d581f5b9d211311974d9f4cdcdb4729681db58922d67021010a17a077

リーフハッシュ（TapLeaf）

32e93b85cf1edfafc403598fac309e41a60494b21ec9899a2de6b31a39132e7e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 32e93b85cf1edfafc403598fac309e41a60494b21ec9899a2de6b31a39132e7e
2. TapBranch(32e93b85…39132e7e, 0acaf44d…0a17a077) = 70ba7ff93dc73bd48016a83a9551899bbb2cc221e95a8a6e38f1dbc50f12d1ad

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

70ba7ff93dc73bd48016a83a9551899bbb2cc221e95a8a6e38f1dbc50f12d1ad

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

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

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

5540730e546828f1f1e75f2402bfa9aafc0366f6ebfcd42daf21d730e97327c8b7e17c3e7b9c7d5f4c8619139baca95fffdcaf418b7e6a89fa41dacd01682a0a