トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

aeb6f4d03a0654c040aa07ad1a07db360fbdc92bf03108c2735af9ddc658e1de OP_CHECKSIG

20aeb6f4d03a0654c040aa07ad1a07db360fbdc92bf03108c2735af9ddc658e1deac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e674c0ede13415d1d24722b2a5eb7063af59a56637b1d84bf83e105e10d4b8ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e674c0ede13415d1d24722b2a5eb7063af59a56637b1d84bf83e105e10d4b8ba
2. TapBranch(e674c0ed…10d4b8ba, 46c7eccf…1725e9fa) = 4e8caede1e65ab99b715562d86b3a5d86db3d980174560174ea7ed2822bb9086

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

4e8caede1e65ab99b715562d86b3a5d86db3d980174560174ea7ed2822bb9086

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

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

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

c46fb44a7ddb3a1918660d5f682918d957d75ae3b2f6169312b7282a60787345bda7600be971ebc44938f4cf28e09b384518f8e2bc5413810d60dc649c68dd86