トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

72591274cd387d7eb91e76019c5fc656d2e93e3fe8e2ac12e4164a27797713e6 OP_CHECKSIG

2072591274cd387d7eb91e76019c5fc656d2e93e3fe8e2ac12e4164a27797713e6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f13f82018c002520b2d469922cbeab59507094a2f57e1940f3d785edc727ff08

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f13f82018c002520b2d469922cbeab59507094a2f57e1940f3d785edc727ff08
2. TapBranch(f13f8201…c727ff08, 46c7eccf…1725e9fa) = 9b7e1d79403717f32fb8520fd18839152b4fa311f3150d865297ca4baa5f418f

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

9b7e1d79403717f32fb8520fd18839152b4fa311f3150d865297ca4baa5f418f

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

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

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

da6febfe2b9ec1a315310977444dd01f38f6e3fd47a88985b147220e3411a67b19632d2384f0c028a17fac7a73f87c229bdfffbbb2e15f507bf22e45891c8e8c