トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ef77ca172a5ecf58d312a54e32c4a7586045dad5d89a5a719c081a4c8bfd5983 OP_CHECKSIG

20ef77ca172a5ecf58d312a54e32c4a7586045dad5d89a5a719c081a4c8bfd5983ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6c513b0207a79d32030453ffb0022c28e9be57394bc1c07c297adaaf6929cd5c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6c513b0207a79d32030453ffb0022c28e9be57394bc1c07c297adaaf6929cd5c
2. TapBranch(6c513b02…6929cd5c, 46c7eccf…1725e9fa) = bb58d49fdd39beb31444443f86e1a73a5f8ef30371bc57d220acef22590729d2

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

bb58d49fdd39beb31444443f86e1a73a5f8ef30371bc57d220acef22590729d2

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

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

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

c74a33ce28f364cae1b6fb2ec3dd236d9a9e5873b2bafba3465ca34e4c44354ca5115f23b75fbed2556b35fec92fc7c69db56e6adb11174020b642fc9952453d