MLDSA87Verify
Cryptographie
Description
Vérifie une signature ML-DSA-87 pour une clé publique, un message et un contexte facultatif
Syntaxe
Delphi
Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valeurs de retour
| True uniquement lorsque PublicKey compte 2592 octets, Signature 4627 octets, Context au plus 255 octets et que la signature est authentique | |
| False pour des longueurs invalides, des indications mal formées, des coefficients de réponse hors plage ou un condensat d'engagement non correspondant |
Remarques
La vérification est déterministe et effectue les contrôles normatifs FIPS 204 avant de reconstruire l'engagement. Le vecteur de réponse connue officiel et les vecteurs de signature falsifiée sont couverts par la suite de régression
Exemple
if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
Reject(Message);