トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1153b539a5fb9ac0c8f590ef4c5c0e11ffcb3f666e999484bcf026c3b72b2e1d OP_CHECKSIG

201153b539a5fb9ac0c8f590ef4c5c0e11ffcb3f666e999484bcf026c3b72b2e1dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ce678e3db4afd16171397f5d529e2aba08dc9b78aa723b5bce3a16078bd445ec

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ce678e3db4afd16171397f5d529e2aba08dc9b78aa723b5bce3a16078bd445ec
2. TapBranch(ce678e3d…8bd445ec, 46c7eccf…1725e9fa) = 55767ad04f058bc5682dbe195b0ebdfee12a9c216d353f65178119c0dc8776cb

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

55767ad04f058bc5682dbe195b0ebdfee12a9c216d353f65178119c0dc8776cb

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

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

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

b1acbc0ec45fd04cfeda85ba4365bd1b08947ea4f32485557f60d0ea4438fae48e25c4e9805f43d95d75eff7c063031a0e96047dc31d1552dcce52983cef3c00