トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d0ffcd75c03092fa3a9bb1e642d1f17677f4e4cb62a29b2311715921dffe9fff OP_CHECKSIG

20d0ffcd75c03092fa3a9bb1e642d1f17677f4e4cb62a29b2311715921dffe9fffac

コントロールブロック

c1de97642ea65456baa04b44bb2ef64a78cb8a86be6f63e5aab9b2f10e4ec05060 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

de97642ea65456baa04b44bb2ef64a78cb8a86be6f63e5aab9b2f10e4ec05060

リーフハッシュ（TapLeaf）

6b0cfbb4ec0491640349aa90dc59b8f1890a7b31b461ec1033145b75d44b45c0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6b0cfbb4ec0491640349aa90dc59b8f1890a7b31b461ec1033145b75d44b45c0
2. TapBranch(6b0cfbb4…d44b45c0, de97642e…4ec05060) = f46b36e7ce25633a1c3763219c12aef2e7b93f0327a68119332d50bc82f554fc

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

f46b36e7ce25633a1c3763219c12aef2e7b93f0327a68119332d50bc82f554fc

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

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

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

ebcfbc9beff34823ba4071191b84ec668500a52babf492fccf6fc9dcce031c40c856b7a4be8a65592544685081bd3b4ba1c9100a1e3083639a642888f68ecc41