トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ded1fb5c5a24eb404595589e639baed265b39ba8b7a5335c56625729298e2ed3 OP_CHECKSIG

20ded1fb5c5a24eb404595589e639baed265b39ba8b7a5335c56625729298e2ed3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

52965a82e7871de951d593701f63ef83d6135c2baa0f57a7870af15829c11541

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 52965a82e7871de951d593701f63ef83d6135c2baa0f57a7870af15829c11541
2. TapBranch(52965a82…29c11541, 46c7eccf…1725e9fa) = 968f631e6ec59f8ced459acfb7fa8797d9339d321d975800ee90b35bbed41b6b

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

968f631e6ec59f8ced459acfb7fa8797d9339d321d975800ee90b35bbed41b6b

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

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

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

b1e8281cfcb61374953e5910f7a851c404e302135e4fb2b44179491f9b5389223986f68c4c79059f227d64efa1634ff18061d771129292abc90d32054af97674