merkle_verify
