トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a5e7abfd046a04ee5c8477c3d909d17979561adfa577b3760f8a49e970ed6276 OP_CHECKSIG

20a5e7abfd046a04ee5c8477c3d909d17979561adfa577b3760f8a49e970ed6276ac

コントロールブロック

c173f122be01d53b042678ac15ac59b7886829d4102b0b39fa4a286006c2bbe9e9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

73f122be01d53b042678ac15ac59b7886829d4102b0b39fa4a286006c2bbe9e9

リーフハッシュ（TapLeaf）

73f89ad60aa90d4b9f6a155ae8d2bd68b2e3d5cb26f2c41a7168c27ff3f1a599

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 73f89ad60aa90d4b9f6a155ae8d2bd68b2e3d5cb26f2c41a7168c27ff3f1a599
2. TapBranch(73f89ad6…f3f1a599, 73f122be…c2bbe9e9) = 1f35b9f230afe3426c26a1b7a9f8ff69e9894f377581a16e7c3fedf625eb9fa9

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

1f35b9f230afe3426c26a1b7a9f8ff69e9894f377581a16e7c3fedf625eb9fa9

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

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

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

6283751ae3de0974414b718ceafb34a6589fd38e67d0dd1f554e4b3bdc5bb51e297a76e9ab7a843d3ec6f85d32a153a6bb438b8bac69824a4d0c9473fdacedb2