MLDSA87Verify
Criptografía
Descripción
Verifica una firma ML-DSA-87 para una clave pública, un mensaje y un contexto opcional
Sintaxis
Delphi
Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valores devueltos
| True solo cuando PublicKey tiene 2592 bytes, Signature tiene 4627 bytes, Context tiene a lo sumo 255 bytes y la firma es auténtica | |
| False para longitudes no válidas, hints malformados, coeficientes de respuesta fuera de rango o un hash de compromiso que no coincide |
Observaciones
La verificación es determinista y realiza las comprobaciones normativas de FIPS 204 antes de reconstruir el compromiso. El vector oficial de respuesta conocida y los vectores de firmas alteradas están cubiertos por la suite de regresión
Ejemplo
if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
Reject(Message);