トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5ac6947d4e11c65f56235d7df46093fe7d27b8c7be123b43b2e79c75c756fdec OP_CHECKSIG

205ac6947d4e11c65f56235d7df46093fe7d27b8c7be123b43b2e79c75c756fdecac

コントロールブロック

c1c63dce22ef4262cfb3f589893f8ee004cbb39974c21b33261797691613e0ca51 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

c63dce22ef4262cfb3f589893f8ee004cbb39974c21b33261797691613e0ca51

リーフハッシュ（TapLeaf）

94ee11e19204680b064064607fe520d6a72252974bb9d9019f387d1be6ea770c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 94ee11e19204680b064064607fe520d6a72252974bb9d9019f387d1be6ea770c
2. TapBranch(94ee11e1…e6ea770c, c63dce22…13e0ca51) = 09043d0754b49e13c31efe49cc543df3bf2ae8decfcadb198c5a03e16d1018a8

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

09043d0754b49e13c31efe49cc543df3bf2ae8decfcadb198c5a03e16d1018a8

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

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

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

ea714ef6c66e6026852cbf033cd398d72b8671e8f4dd66a98de6780d0327c616d8caeb91ed38d68c0de303f9c0b512aa0e2b1fc2abe4f7e7c698c23a9625e444