トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

67f94a9aadef8de786009c6d8d244beb479f4ca271f8a05f670c90b740e9926f OP_CHECKSIG

2067f94a9aadef8de786009c6d8d244beb479f4ca271f8a05f670c90b740e9926fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

55b87ae709b7b63004d407c82a70a46c8e607c23ec9f10352ec2aa7e675c8e1c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 55b87ae709b7b63004d407c82a70a46c8e607c23ec9f10352ec2aa7e675c8e1c
2. TapBranch(55b87ae7…675c8e1c, 46c7eccf…1725e9fa) = 90f9de27fdecd1b8a073534b2a2d5f769a4802056d1b5b7f7e49ea998a95c87b

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

90f9de27fdecd1b8a073534b2a2d5f769a4802056d1b5b7f7e49ea998a95c87b

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

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

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

4d509c5c6537bf1166ee2d2526f5a971b8aed1fcdf0971e900221bdc3a6a575e57ead4ef60becf92ce44e0176bda92c176b86cff60ba45bd583987ebbfc5c4eb