Verify P2PK spending conditions for a single input.
The Proof to check.
Optional logger (default: NULL_LOGGER)
Optional
Optional. The message to sign (for SIG_ALL)
True if the witness threshold was reached, false otherwise.
If verification is impossible.
Verify P2PK spending conditions for a single input.