トランザクション

入力 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 以上）。

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

5321525de6166b1bb84e991bff0074c36fb1e5d1824c2c4525930feeb1d1d54f25766d5016df07a8b057bc2cad906164d7eedeba14f0e25e7a24eb5100cf78aa