トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e23ea008626d02d5f2f25417b8de041bb1de56386f543a679f4d48c8b8c4e40d OP_CHECKSIG

20e23ea008626d02d5f2f25417b8de041bb1de56386f543a679f4d48c8b8c4e40dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ba54cf0ae61f6dc7aa6fa1142158546b699179c82d14a8f19e6e458028be7fcd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ba54cf0ae61f6dc7aa6fa1142158546b699179c82d14a8f19e6e458028be7fcd
2. TapBranch(ba54cf0a…28be7fcd, 46c7eccf…1725e9fa) = 3690515949a0b858aef8f9909cbf43bac2fc48038b982f8a211b3e7eea89a8a4

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

3690515949a0b858aef8f9909cbf43bac2fc48038b982f8a211b3e7eea89a8a4

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

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

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

8525ea9bd1f3cd79f30234a87ca7327b3c0923fb21a8aeb888b796ecbb559d978d4082f6c44bc3ebff7886e3bc34b7372058539c4ee90ea8c19346f41a6250c6