トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4751b519f79465c2e47e1f5698967d19cd256b339ddf6c809ea3172f0cc3519e OP_CHECKSIG

204751b519f79465c2e47e1f5698967d19cd256b339ddf6c809ea3172f0cc3519eac

コントロールブロック

c14af2afba56ae670cac2b213f5dc7f2d53cbbf9286a51eec72422be608be8a324 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

4af2afba56ae670cac2b213f5dc7f2d53cbbf9286a51eec72422be608be8a324

リーフハッシュ（TapLeaf）

8931cdfac10720ebcc572e3d45ec9f72c6fa4360232e6e3f8e9573002703a911

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8931cdfac10720ebcc572e3d45ec9f72c6fa4360232e6e3f8e9573002703a911
2. TapBranch(8931cdfa…2703a911, 4af2afba…8be8a324) = 473ac6e0b3ea390accd05295ce04c2bccf3c146aa1b73851453f87e64e3469da

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

473ac6e0b3ea390accd05295ce04c2bccf3c146aa1b73851453f87e64e3469da

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

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

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

73cf0c77ce70590441a903b5059e2e09ed2e590336f3759d7fd95b4829ec83a4fe33184794cd96b6cf5ec8e7f002b6d0264f955bede1cb94576c0de3629ff043