トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8afd993f9c9d7ec3e426c09aa62c6eca0fc3cc549d3a67d899943f0608ef0282 OP_CHECKSIG

208afd993f9c9d7ec3e426c09aa62c6eca0fc3cc549d3a67d899943f0608ef0282ac

コントロールブロック

c19310a0f72a8a70a719ccd7dee86a3bc8dfb18d57a2ba1c4ae366023d0db7d6c6 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

9310a0f72a8a70a719ccd7dee86a3bc8dfb18d57a2ba1c4ae366023d0db7d6c6

リーフハッシュ（TapLeaf）

7dc8a02675918f6d04f10c00e07ccc7ebcfea31db7848e4aa398d2821c6a47c3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7dc8a02675918f6d04f10c00e07ccc7ebcfea31db7848e4aa398d2821c6a47c3
2. TapBranch(7dc8a026…1c6a47c3, 9310a0f7…0db7d6c6) = cfa157087a1dfee7557a02128fa15763da17ac63c784e8c10a1b35dc0b44f89e

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

cfa157087a1dfee7557a02128fa15763da17ac63c784e8c10a1b35dc0b44f89e

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

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

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

b08021596efad8c7e42dbb2dc121081adf80674c4ab2b87eff27ef13aaefc4f2c188495281cb2f7c3da04aac892e316db39fca00a2ce4329e9c02dd58e783948