トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ce5528e33fcf2d0797206ca027d826eaa93f8fe6f506b731958cd1b6318d3ccb OP_CHECKSIG

20ce5528e33fcf2d0797206ca027d826eaa93f8fe6f506b731958cd1b6318d3ccbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

652722f0fc613dc1b4c20249261595f471b17a400dfd4bacda241f6cf9f16807

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 652722f0fc613dc1b4c20249261595f471b17a400dfd4bacda241f6cf9f16807
2. TapBranch(652722f0…f9f16807, 46c7eccf…1725e9fa) = 7878eb5b44a5ac1a3a37aae2da1f0845f9133dd1a72abf5fe0d03e2be5d67b1c

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

7878eb5b44a5ac1a3a37aae2da1f0845f9133dd1a72abf5fe0d03e2be5d67b1c

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

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

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

842ff43093628f8136a80f5b38b52e637f7db9eacd75e7c141365cd04706d478c93376a2b2b2449e1ef13c51b6243ff9dac3b2bdf2ca59cc985e9bd1fc310bb6