トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6fcced75abce3ac795aeb09c8d31222cf28e75b7b3827aaf67cee0ad5aeb1b94 OP_CHECKSIG

206fcced75abce3ac795aeb09c8d31222cf28e75b7b3827aaf67cee0ad5aeb1b94ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

aae4cc0685c5d11bea70141761c13871e2967556961e408ecbddf9fb7a3b7a75

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = aae4cc0685c5d11bea70141761c13871e2967556961e408ecbddf9fb7a3b7a75
2. TapBranch(aae4cc06…7a3b7a75, 46c7eccf…1725e9fa) = e49fcab295eb594183c9863acea03cd513c7f6a91d16db706296bb1c5cfb712c

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

e49fcab295eb594183c9863acea03cd513c7f6a91d16db706296bb1c5cfb712c

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

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

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

ce9127191db6b299bab978689a5a975040ed5520ef06e7535b1ce44294e4bdfec8e768d381c760bcc66b80615726752a70788a23f49a839d9033de5e9b9e67bc