トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

565928f023edd839c58306d1eebb5c950aa8201a06db8a34f8008eb5312d479f OP_CHECKSIG

20565928f023edd839c58306d1eebb5c950aa8201a06db8a34f8008eb5312d479fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fdd9ad72a9bc2da0d9e352e436e142b2ac41abe23c9800d71101ffc2bb6fd57f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fdd9ad72a9bc2da0d9e352e436e142b2ac41abe23c9800d71101ffc2bb6fd57f
2. TapBranch(fdd9ad72…bb6fd57f, 46c7eccf…1725e9fa) = b67e27cc87312ae38aa4150dee338db5e5e72b903265b83b09e17aa99b72337b

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

b67e27cc87312ae38aa4150dee338db5e5e72b903265b83b09e17aa99b72337b

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

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

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

f3512593cbb0adc230b3adbe162bd647f1f128b50d2e317ec958cd16ac431ae2a1db34f6df105074a5ac1bdf7dc6f449cbb3cdce2e93051e0db538d9fa2af4b8