トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d0fe71404f309d6187ea7c69ae6ce6076ad28ca752bca5af51c4d264bb19fd56 OP_CHECKSIG

20d0fe71404f309d6187ea7c69ae6ce6076ad28ca752bca5af51c4d264bb19fd56ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

42a16496865d8ed796a1d6a14cccef7581152c6c1bfd07764220eed9b5f87cfe

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42a16496865d8ed796a1d6a14cccef7581152c6c1bfd07764220eed9b5f87cfe
2. TapBranch(42a16496…b5f87cfe, 46c7eccf…1725e9fa) = 5e31713da3a12c61fceebcff12f22ff373d3eb1abc08bbe03e0790cb1ce373c2

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

5e31713da3a12c61fceebcff12f22ff373d3eb1abc08bbe03e0790cb1ce373c2

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

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

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

df2b9e163b95fcd0d71ca08656e459ffc66e23e7e586d5cdab3b2a27a9e74e744fa6629cb41b8bc1af93f851759f0fd7547d8f6a3ebfce8ff290852afb2769ce