トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

931a41d7a5f8bc56bcff661716ef0c91335724fd3711ff89f20e01d183dda316 OP_CHECKSIG

20931a41d7a5f8bc56bcff661716ef0c91335724fd3711ff89f20e01d183dda316ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7d3e76851730d6505327e53387014af0f9ff807adaf2c7d276cd865a1fed79b2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7d3e76851730d6505327e53387014af0f9ff807adaf2c7d276cd865a1fed79b2
2. TapBranch(7d3e7685…1fed79b2, 46c7eccf…1725e9fa) = f92b0a5ddc57d852747b367648eaab543b796a803feba999902427ccce89e975

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

f92b0a5ddc57d852747b367648eaab543b796a803feba999902427ccce89e975

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

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

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

ef46ecb79cb5be810ab98204540d6205ee444aa85b9665fc19910f36597dddf10ca3edb32ca34ef98748331aa93d768effcbbbebe36e15cdfc992b62d42f0cc2