トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e4640a7822045de9535022d5b744ec66a41ec8311e3d93a8034cbba0ef006c94 OP_CHECKSIG

20e4640a7822045de9535022d5b744ec66a41ec8311e3d93a8034cbba0ef006c94ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

230c1ad75fd55a2c45b21fe1a38c4e8b33e4571aae959243eb5faf683dfba3c5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 230c1ad75fd55a2c45b21fe1a38c4e8b33e4571aae959243eb5faf683dfba3c5
2. TapBranch(230c1ad7…3dfba3c5, 46c7eccf…1725e9fa) = bb7d9c08c889712b46fc75c54c5bef035051cb85ba5d8f4189164f6d1b153d99

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

bb7d9c08c889712b46fc75c54c5bef035051cb85ba5d8f4189164f6d1b153d99

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

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

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

2088360b7bc06bc84fb7e9b60742e033719bb2aa081017373e1a7ab3c968f364dfd6605638d20964f370f0c025c6f2b07d69fbb3f0cccdd1134b66efde993d94