MLDSA87Verify

Cryptography

Description

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

Syntax

Delphi

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

Return values

	True only when PublicKey is 2592 bytes, Signature is 4627 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 MLDSA87Verify(PublicKey, Message, Context, Signature) then
  Reject(Message);