トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e8bba7974b236dff0cc0f985441bc9082d29a75c80b65b42fde7974e4551d08c OP_CHECKSIG

20e8bba7974b236dff0cc0f985441bc9082d29a75c80b65b42fde7974e4551d08cac

コントロールブロック

c1fe6c73d84930294bcc295231e520aca74d33789a2e4bc85e3af2238426a5b132 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

fe6c73d84930294bcc295231e520aca74d33789a2e4bc85e3af2238426a5b132

リーフハッシュ（TapLeaf）

74e837a4932797a0b692f2d8b0504a40cfa89e59ab6c0d7e06b1c37dc137a6a9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 74e837a4932797a0b692f2d8b0504a40cfa89e59ab6c0d7e06b1c37dc137a6a9
2. TapBranch(74e837a4…c137a6a9, fe6c73d8…26a5b132) = e9cd7600512e8f5dd5c734a1e04e0848f193981016a8b71a3665f047fb972e34

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

e9cd7600512e8f5dd5c734a1e04e0848f193981016a8b71a3665f047fb972e34

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

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

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

2b2cd0abaad27c224b250634bd0e8014f7cee498d53f8c006b9d3a2c413fe204608561087e1cf4e6b4ef1a02e0edf97ccf62d298292aed4b000a2456e03f94ae