トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3e863d78e1c2a84f9ef2f5434c5503bd7f53eb8cefc55e97c119ca219dedc2db OP_CHECKSIG

203e863d78e1c2a84f9ef2f5434c5503bd7f53eb8cefc55e97c119ca219dedc2dbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1f0d013a4a65faf5009f0c456c65a3424b37a12cbac1517ecff863bea233f967

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1f0d013a4a65faf5009f0c456c65a3424b37a12cbac1517ecff863bea233f967
2. TapBranch(1f0d013a…a233f967, 46c7eccf…1725e9fa) = 70c01ea7b8db3a60ade3d3592f2fb144a50edcb1437aec735f1bd4ea410fde56

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

70c01ea7b8db3a60ade3d3592f2fb144a50edcb1437aec735f1bd4ea410fde56

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

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

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

0603ea46318f7cc8bda48b48222c1b95cc853b7eb5cb340771bf9ffdda961e4e75cb749e15678a09d82bcb31fdbac1fdf4f6254830b0acd5e2639f2e1b0beb4e