トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

473fcf23632f79ae2a36eed5fac22ae0355983c5bf8808b0ff349c7e00f3b591 OP_CHECKSIG

20473fcf23632f79ae2a36eed5fac22ae0355983c5bf8808b0ff349c7e00f3b591ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

996580bd74fd724bd2b60883fd2a0c339365bc07ddc035b00b5a96816aa06547

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 996580bd74fd724bd2b60883fd2a0c339365bc07ddc035b00b5a96816aa06547
2. TapBranch(996580bd…6aa06547, 46c7eccf…1725e9fa) = 7df61d799ec6c7449fd0ff979a66b4598dba817824498ac252209d4e5361b468

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

7df61d799ec6c7449fd0ff979a66b4598dba817824498ac252209d4e5361b468

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

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

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

ec89d592b0fdcaaee0a36073eb0fbfdbde7b35414eb9d70bc97238327e885a965040fad193bfd7a48d4c167d8cef64e257a320dd731430a33b2cc421f6716235