トランザクション

入力 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 以上）。

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

fe3ddb034a0842068a300ccd4ca9301b80e0919338cba41d37a0d82e55019312c1681aace2e838c398bbd106ffe6ae0f4e54a9b4082148d9128aad4a047febe0