トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e4d2d8bc8df04b02cc2af0f89eb3bd6cd994a200ba3c97fea6e719cf3269da29 OP_CHECKSIG

20e4d2d8bc8df04b02cc2af0f89eb3bd6cd994a200ba3c97fea6e719cf3269da29ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53b7974827e3a0e35bf197fcb264398f948bae4693b6aea6180c98fa5cb607a2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53b7974827e3a0e35bf197fcb264398f948bae4693b6aea6180c98fa5cb607a2
2. TapBranch(53b79748…5cb607a2, 46c7eccf…1725e9fa) = 323db7d257067699c1f44267814b2119903e95cc35a094aa63b7a7ffb24acba0

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

323db7d257067699c1f44267814b2119903e95cc35a094aa63b7a7ffb24acba0

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

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

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

b98b10ded5ffcc0a773717ea88ed46ab2082579036cba9a955ea9c634c70cd21f33ac36a5b0d7e5822ba90122d174f3618782ef7e8923b3de849cfbbdc9ec61d