Transaction

P2MR script-path spend of input 0

The node checks this spend by hashing the revealed leaf, walking the Merkle path in the control block up to a root, and requiring that root to equal the output's 32-byte witness program. This page recomputes the same steps.

Leaf version

0xc0

Leaf script

be1f9d8b3d2bee3cfe950a9ce8a5b289579fc6a9cce9cf3abd691f1d0faa64a1 OP_CHECKSIG

20be1f9d8b3d2bee3cfe950a9ce8a5b289579fc6a9cce9cf3abd691f1d0faa64a1ac

Control block

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

Lowest bit of the control byte

1

Depth (path length m)

1

Merkle path

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

Leaf hash (TapLeaf)

e7bae1f7c571587abed2b92ae369f5fdf2c514c07c0e77098d565436905efd62

Recomputed root

1. TapLeaf(0xc0, Leaf script) = e7bae1f7c571587abed2b92ae369f5fdf2c514c07c0e77098d565436905efd62
2. TapBranch(e7bae1f7…905efd62, 46c7eccf…1725e9fa) = ef1786ef88b87fd6e2d548446279cbb925c8eea58ee09ddd7dec2100ddf61d75

Witness program of the output

ef1786ef88b87fd6e2d548446279cbb925c8eea58ee09ddd7dec2100ddf61d75

✓ Matches: the revealed leaf is committed to by the output.

The leaf script was executed (leaf version 0xc0, depth 1 or more).

Stack items given to the script

3ede32f099d21cfb96ce8a9dc57362cff90303a04b423635f2929b3c208c2ee441c64354d391db01470e58a13fde63f1f5f75a3fc2ada015888df86a46946971