トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8f6a7036465a10240df7735fa1e9ab4a012854207c43deb720c1631e4c7d7f6b OP_CHECKSIG

208f6a7036465a10240df7735fa1e9ab4a012854207c43deb720c1631e4c7d7f6bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

da332f0e0a5ff0d146d8945a4735fb40c8b76ab1dadf7c164b694ea7ff48c5d6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = da332f0e0a5ff0d146d8945a4735fb40c8b76ab1dadf7c164b694ea7ff48c5d6
2. TapBranch(da332f0e…ff48c5d6, 46c7eccf…1725e9fa) = f7300653e8cfc86f355b8cf52995a915e0c446723aa492d494ad9c7c0eba2568

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

f7300653e8cfc86f355b8cf52995a915e0c446723aa492d494ad9c7c0eba2568

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

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

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

ef84d511448d31f64409738dbe8030f432676c01a1b174fd136c44002d912e44d1eaa5b9c9836d65103175b973662e4a0d5565c61cc6684244413e8fa8359629