Function verify 

pub fn verify<P: Params>(
    pk: &[u8],
    msg: &[u8],
    ctx: &[u8],
    sig: &[u8],
) -> Result<bool, MlDsaError>

Verify a signature on a message with an optional context string.

Implements Algorithm 3 of FIPS 204 (ML-DSA.Verify). Constructs the pre-formatted message M' = 0x00 || len(ctx) || ctx || msg and delegates to verify_internal.

• pk: public key (must be P::PK_LEN bytes).
• msg: the signed message.
• ctx: the context string used at signing time (at most 255 bytes).
• sig: the signature (must be P::SIG_LEN bytes).

Returns Ok(true) if the signature is valid, Ok(false) otherwise.

Errors

• MlDsaError::ContextTooLong if ctx exceeds 255 bytes.
• MlDsaError::InvalidPublicKey if pk has the wrong length.
• MlDsaError::InvalidSignature if sig has the wrong length.