トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d2fdca9db59cfea3976d44d48292495f807354fb7d2a796bd9fab2ba837e7b0d OP_CHECKSIG

20d2fdca9db59cfea3976d44d48292495f807354fb7d2a796bd9fab2ba837e7b0dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ce1ddcdd7bcef6bcd2f47955bfeeac769eaebd3dcae28ed0f6f2fa719fd25181

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ce1ddcdd7bcef6bcd2f47955bfeeac769eaebd3dcae28ed0f6f2fa719fd25181
2. TapBranch(ce1ddcdd…9fd25181, 46c7eccf…1725e9fa) = ce144eed619c7634e6cac6a1f91ae16811bdda41e4767a2220b0dfb8ccce1f8e

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

ce144eed619c7634e6cac6a1f91ae16811bdda41e4767a2220b0dfb8ccce1f8e

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

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

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

691feebf1ec68ff2d6e28d19958d23c7ecda1ef1252b13fe1dd1d6027064bd2c908f4e4f5ff2b4be9f07483988b45ba2da3475af935428d5e9b553fb297fe6e3