 If formula_25 is a valid signature of formula_22, the receiver computes formula_61 by hashing the public key of the one-time signature.For formula_62, the nodes of formula_63 of the path are computed with formula_64.If formula_65 equals the public key formula_1 of the Merkle signature scheme, the signature is valid.