トランザクション

入力 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 以上）。

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

500f72759d48d8bd8744bef9d064e42e7187f4eac106a871248f9e7d88b7d4f4120bbd958fcc094332810d546d27f23da7d7c373ee169d294b7d36fc33fefdb2