トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

30abe3b59da52622985003bbca0a926640ccdd9e1515f9a8efabfd3ec0d02b04 OP_CHECKSIG

2030abe3b59da52622985003bbca0a926640ccdd9e1515f9a8efabfd3ec0d02b04ac

コントロールブロック

c11dd4f6144a46b4186bf4bc09ec7440adc4030e78dfc85fb410f3899474dfaafe (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1dd4f6144a46b4186bf4bc09ec7440adc4030e78dfc85fb410f3899474dfaafe

リーフハッシュ（TapLeaf）

51e96204d0b605c48809d0bb5c655749cff49a22c670a44ce9783bfdb9d59ed0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 51e96204d0b605c48809d0bb5c655749cff49a22c670a44ce9783bfdb9d59ed0
2. TapBranch(51e96204…b9d59ed0, 1dd4f614…74dfaafe) = 04e855d909b93523b2e74b51d430d6ff8825d0983e9f375f90ec48cb2e8c62a3

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

04e855d909b93523b2e74b51d430d6ff8825d0983e9f375f90ec48cb2e8c62a3

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

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

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

d9d2444ff4b3a720b7edb7153f2378ce8075ba83902a2b21c1452a582b56f4fad4ff58391171ee1c72dec9c89615e45ef1405df3934f8a221df6236379478092