MLDSA87Verify
Criptografia
Descrição
Verifica uma assinatura ML-DSA-87 para uma chave pública, uma mensagem e um contexto opcional
Sintaxe
Delphi
Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valores de retorno
| True somente quando PublicKey tem 2592 bytes, Signature tem 4627 bytes, Context tem no máximo 255 bytes e a assinatura é autêntica | |
| False para comprimentos inválidos, hints malformados, coeficientes de resposta fora do intervalo ou um hash de comprometimento sem correspondência |
Observações
A verificação é determinística e executa as verificações normativas do FIPS 204 antes de reconstruir o comprometimento. O vetor oficial de resposta conhecida e os vetores de assinatura adulterada são cobertos pela suíte de regressão
Exemplo
if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
Reject(Message);