MLDSA87Verify
Crittografia
Descrizione
Verifica una firma ML-DSA-87 per una chiave pubblica, un messaggio e un contesto facoltativo
Sintassi
Delphi
Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;Valori restituiti
| True solo quando PublicKey è di 2592 byte, Signature è di 4627 byte, Context è al massimo 255 byte e la firma è autentica | |
| False per lunghezze non valide, hint malformati, coefficienti di risposta fuori intervallo o un hash di commitment non corrispondente |
Osservazioni
La verifica è deterministica ed esegue i controlli normativi di FIPS 204 prima di ricostruire il commitment. Il vettore di test noto ufficiale e i vettori con firma manomessa sono coperti dalla suite di regressioni
Esempio
if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
Reject(Message);