MLDSA44Verify
Cryptographie
Description
Vérifie une signature ML-DSA-44 pour une clé publique, un message et un contexte facultatif
Syntaxe
Delphi
Function MLDSA44Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valeurs de retour
| True uniquement lorsque PublicKey compte 1312 octets, Signature 2420 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 ne correspondant pas |
Remarques
La vérification est déterministe et effectue les vérifications de norme FIPS 204 avant de reconstruire l'engagement. Le vecteur de réponse connu officiel et les vecteurs de signatures falsifiées sont couverts par la suite de régression
Exemple
if not MLDSA44Verify(PublicKey, Message, Context, Signature) then
Reject(Message);