トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bb22578b4ce2fe57f026130a31dced45d4cd9a1c851bce58f7de7d866a048416 OP_CHECKSIG

20bb22578b4ce2fe57f026130a31dced45d4cd9a1c851bce58f7de7d866a048416ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

65d5c4b0753ff36a9322fefe456e0b2a5848814063a9bb695d6f57e28dae8a25

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 65d5c4b0753ff36a9322fefe456e0b2a5848814063a9bb695d6f57e28dae8a25
2. TapBranch(65d5c4b0…8dae8a25, 46c7eccf…1725e9fa) = c633682bcbb4f704771578daa8e0d17453aa10b9f9fee30c9b3d3f6d66b8a5a2

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

c633682bcbb4f704771578daa8e0d17453aa10b9f9fee30c9b3d3f6d66b8a5a2

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

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

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

c53900edb6ce5626985b9c63b7c020ee000c4627b3ea6f17ce770fa65f2a7aa0dbe2d0192e77471bbae21cb2a97aab111fe690e63a298a03157ea15c0e2a2831