トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a58c7b4b286e54378f907e14829ceddbdb4701a97ac98a27059c43c8549299d7 OP_CHECKSIG

20a58c7b4b286e54378f907e14829ceddbdb4701a97ac98a27059c43c8549299d7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

57026bc315d39c740faab9bd436eca92ef16ca5faafb81cffb6e138d12012b9d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 57026bc315d39c740faab9bd436eca92ef16ca5faafb81cffb6e138d12012b9d
2. TapBranch(57026bc3…12012b9d, 46c7eccf…1725e9fa) = 07dea3882383a73ac8580fb53c0f0ea60a6c92e018b0528df7ccbf48cc3858b6

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

07dea3882383a73ac8580fb53c0f0ea60a6c92e018b0528df7ccbf48cc3858b6

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

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

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

03336d76810ead424f68d10d29d73b2edf939537ee57379d9977709b755ac1b0ee4dc1d5e98657248f69893d2395d27a2c7cfa507adebb0572c02c1d210f6c0c