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 devolvidos
| True apenas 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 compromisso não correspondente |
Observações
A verificação é determinística e executa as verificações normativas da FIPS 204 antes de reconstruir o compromisso. O vetor oficial de resposta conhecida e os vetores de assinatura adulterada estão cobertos pelo conjunto de testes de regressão
Exemplo
if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
Reject(Message);