MLDSA65Verify
Cryptographie
Description
Vérifie une signature ML-DSA-65 pour une clé publique, un message et un contexte facultatif
Syntaxe
Delphi
Function MLDSA65Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valeurs de retour
| True uniquement lorsque PublicKey compte 1952 octets, Signature 3309 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 MLDSA65Verify(PublicKey, Message, Context, Signature) then
Reject(Message);