トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

02b9fa96df7771a533d13792341da2ef463fe89523e7c2a56b587f068ab12ea7 OP_CHECKSIG

2002b9fa96df7771a533d13792341da2ef463fe89523e7c2a56b587f068ab12ea7ac

コントロールブロック

c110aab42cdc6457a937db9caba5ffbb4d2809f731e5e2061d7141d4c57ee6edee (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

10aab42cdc6457a937db9caba5ffbb4d2809f731e5e2061d7141d4c57ee6edee

リーフハッシュ（TapLeaf）

42ddef805e7e8ee8d48f23539d0779776c1601ed46dbfd60b28ba88dc86cf6a7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42ddef805e7e8ee8d48f23539d0779776c1601ed46dbfd60b28ba88dc86cf6a7
2. TapBranch(42ddef80…c86cf6a7, 10aab42c…7ee6edee) = f79448a6675e0e08df08d89f916542d7b681b0205ee0092cda87b170b0d2bb06

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

f79448a6675e0e08df08d89f916542d7b681b0205ee0092cda87b170b0d2bb06

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

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

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

b726e8a821fba27f48af1407ba8f0961f3baef46284d0b27fec7939b94026995e50f41bf29c845a9d46ebb7771f70a81be723285ba4dcf4d8b9cbfb0f5f954ef