トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0402e16b7678882abf8bcdef11a21c6e5eea26a2864b9484cdd7f8598d9b903e OP_CHECKSIG

200402e16b7678882abf8bcdef11a21c6e5eea26a2864b9484cdd7f8598d9b903eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7d67843a1c0b8249fc6153c95e4679f5b1fbbb8de6e133d8133dbcca4821ba4f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7d67843a1c0b8249fc6153c95e4679f5b1fbbb8de6e133d8133dbcca4821ba4f
2. TapBranch(7d67843a…4821ba4f, 46c7eccf…1725e9fa) = 25502412354591273012270f4c560da96a243d0a7d76a12df1deebdaa22cc6a6

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

25502412354591273012270f4c560da96a243d0a7d76a12df1deebdaa22cc6a6

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

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

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

d0f3f47f4fc6f9757dba5716c3f6356de5dea5f8419c62ab10223d9d24dbe807c4534ebb29dd9663736458459085e4ee012931a610f3dd08ac62b658d7edfc0b