トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9844eee07a03b0a6254a611c660d46d20fe41f75bccd180c17e742b0c1cbfaaf OP_CHECKSIG

209844eee07a03b0a6254a611c660d46d20fe41f75bccd180c17e742b0c1cbfaafac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3c59c1bf4c3adf605845a3ea02c178c726183db28e5917871d838de2f96fbb3f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3c59c1bf4c3adf605845a3ea02c178c726183db28e5917871d838de2f96fbb3f
2. TapBranch(3c59c1bf…f96fbb3f, 46c7eccf…1725e9fa) = 388ce7dd91b7eebcfc757b95ab858311cf2e4f4456f09b46f3a9878fd2d35b5b

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

388ce7dd91b7eebcfc757b95ab858311cf2e4f4456f09b46f3a9878fd2d35b5b

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

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

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

24eb94a9d6d909974607c833721557797600469a669db6af0d92f5a92c8f200c9c11b9155e3ee80ddc8df7cdd3d97be6e3eb632e8a25abe14e502e61a2670cbf