トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4f79eb25df4151f54446205855b47232751876335d468c864e0497a0911b2d51 OP_CHECKSIG

204f79eb25df4151f54446205855b47232751876335d468c864e0497a0911b2d51ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cfed4103c1fef6b25d3b14b9410359fa9c0564c74af4d5d9e900e7c2e3d087ec

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cfed4103c1fef6b25d3b14b9410359fa9c0564c74af4d5d9e900e7c2e3d087ec
2. TapBranch(cfed4103…e3d087ec, 46c7eccf…1725e9fa) = f3a20e72c119c3d9a8fe8f4922df13a61091fb1739d71885d6fc529e1f2c9266

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

f3a20e72c119c3d9a8fe8f4922df13a61091fb1739d71885d6fc529e1f2c9266

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

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

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

02752a3c8d3b735ae9219157ecd387d94809b551ac12fed205a5c67e58b484d94a1427bc9b5aee2c6f9a1d95d6bf68aadb688f83c1263b2792f6f1e0b1c69768