トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b31a76ee80433cb9e38a69362a0a8b9fab56b594d8c961bf76f42c0f64c10b55 OP_CHECKSIG

20b31a76ee80433cb9e38a69362a0a8b9fab56b594d8c961bf76f42c0f64c10b55ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5fac5f5fd11eb38b705045ff29d9f03f5568a6cbc6f9f0e66557efa81f0bba65

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5fac5f5fd11eb38b705045ff29d9f03f5568a6cbc6f9f0e66557efa81f0bba65
2. TapBranch(5fac5f5f…1f0bba65, 46c7eccf…1725e9fa) = 2ed7717a3240f78ec014f44a9e0e8c8f2f02dc317d0702bdaeb9115a291b53d2

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

2ed7717a3240f78ec014f44a9e0e8c8f2f02dc317d0702bdaeb9115a291b53d2

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

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

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

4c1ca4be8145fa47721be9f5ddf16cabebabae531a3e28b83dd298ea262c5cdcf4066537417c9c777c5797a974505078093161a5ec6404f1ff851a37812a880b