MLDSA65Verify

Cryptography

Description

Verifies an ML-DSA-65 signature for a public key, message and optional context

Syntax

Delphi

Function MLDSA65Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;

Return values

	True only when PublicKey is 1952 bytes, Signature is 3309 bytes, Context is at most 255 bytes and the signature is authentic
	False for invalid lengths, malformed hints, out-of-range response coefficients or a non-matching commitment hash

Remarks

Verification is deterministic and performs the FIPS 204 norm checks before reconstructing the commitment. The official known-answer vector and tampered-signature vectors are covered by the regression suite

Example

if not MLDSA65Verify(PublicKey, Message, Context, Signature) then
  Reject(Message);