トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ef9eda0d9f8deeb14ad664344d19663e42a6603ce83b81523bc63b1150d9f3f9 OP_CHECKSIG

20ef9eda0d9f8deeb14ad664344d19663e42a6603ce83b81523bc63b1150d9f3f9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fffae534a5465addaed3776abb80fc020cf9a158bb6ce719d3c7aa788e4083df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fffae534a5465addaed3776abb80fc020cf9a158bb6ce719d3c7aa788e4083df
2. TapBranch(fffae534…8e4083df, 46c7eccf…1725e9fa) = 459eaf0b631e935eefeaf33f5a2c47aeb46bae5b6632691fde8a47e2eff3defb

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

459eaf0b631e935eefeaf33f5a2c47aeb46bae5b6632691fde8a47e2eff3defb

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

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

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

ac55e01bc167141eb7580ea2c78f3a25332593d041a8a04f1d6a9148c1f4f29a722c03c87c2b2db9cb67313990d2248fb7ca2df3ca79e3510ce63f56e2a7962e