トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

db73935c4892b0c5ed69701104c150f154faafcc47ebba1c786c288683d42800 OP_CHECKSIG

20db73935c4892b0c5ed69701104c150f154faafcc47ebba1c786c288683d42800ac

コントロールブロック

c1f70fd8b7edfa8b28b10c3ee492779285e74f05cedbb683ba2e27a9162130aa28 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f70fd8b7edfa8b28b10c3ee492779285e74f05cedbb683ba2e27a9162130aa28

リーフハッシュ（TapLeaf）

40baa8a90e059656098bd8271471547f1c65cb20cfc66c7054c00486a5f707f1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 40baa8a90e059656098bd8271471547f1c65cb20cfc66c7054c00486a5f707f1
2. TapBranch(40baa8a9…a5f707f1, f70fd8b7…2130aa28) = 9f50fe820fb6fe7bb4480b8db5fb55c237cd09bd7cc8866eb167a8a4bd8dadb6

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

9f50fe820fb6fe7bb4480b8db5fb55c237cd09bd7cc8866eb167a8a4bd8dadb6

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

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

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

e8b5f795341a088caf598930b30ff5d0cae69d73908e9f743dfd615664c9f5eb8b36651c0419b4fcc3e9bd772e83d767ff617959e34856e4702017d23a31a8dc