トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9830f01b027dc0882b2ce92cb781f1732cedf68aa239fa04e97d648ecb35b9cf OP_CHECKSIG

209830f01b027dc0882b2ce92cb781f1732cedf68aa239fa04e97d648ecb35b9cfac

コントロールブロック

c16e2f438f3aaef2ba7a09945c01d624d4b2cf48c0a2fef44e02dd00d1be7f5913 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

6e2f438f3aaef2ba7a09945c01d624d4b2cf48c0a2fef44e02dd00d1be7f5913

リーフハッシュ（TapLeaf）

b158abd8cd4d72c5c74efecd690c1a0b36cd279ca865ea6a326c3ef3df701470

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b158abd8cd4d72c5c74efecd690c1a0b36cd279ca865ea6a326c3ef3df701470
2. TapBranch(b158abd8…df701470, 6e2f438f…be7f5913) = 1515c241f3587dc7df57eb1e2feee42608f10d2c37c59dc3fcf723f21f25e9a4

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

1515c241f3587dc7df57eb1e2feee42608f10d2c37c59dc3fcf723f21f25e9a4

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

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

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

513730b86e3cf5ab0cc7ad75cbbc876212b6d2373261d95ca6560fd5aad99393ceb46d708fabf6a20dc971ceef8ce1d4f32a1744e8d41868351072f6ebb0d607