トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

92bdb946a2438e9c7ac847080f514660efd1c74f87dcd7c9d75cffc33cb8e612 OP_CHECKSIG

2092bdb946a2438e9c7ac847080f514660efd1c74f87dcd7c9d75cffc33cb8e612ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cc5790a6e120935dcc8c8ed256bcc2b6ee39bdf5d9c61277530cb08636539106

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cc5790a6e120935dcc8c8ed256bcc2b6ee39bdf5d9c61277530cb08636539106
2. TapBranch(cc5790a6…36539106, 46c7eccf…1725e9fa) = 4b053500953be0475855ef6d9a87d2a3120782429cc459f39bb4fa18628eea57

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

4b053500953be0475855ef6d9a87d2a3120782429cc459f39bb4fa18628eea57

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

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

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

1ada76c8a00e32845e0fbc15c8b952a75449541b2c877ba83e12b2ccd13fb6925f01ba5f1ef9787ebe9cb9086c8a7da9ae14f80406b79b104667d29f9c8435d7