MLDSA87Verify

Kryptografi

Beskrivning

Verifierar en ML-DSA-87-signatur för en publik nyckel, ett meddelande och en valfri kontext

Syntax

Delphi

Function MLDSA87Verify(Const PublicKey, Message, Context, Signature: AnsiString): Boolean;

Returvärden

True endast när PublicKey är 2592 byte, Signature är 4627 byte, Context är högst 255 byte och signaturen är autentisk
False för ogiltiga längder, felformade hints, svarskoefficienter utanför sitt intervall eller en åtagandehash som inte matchar

Anmärkningar

Verifieringen är deterministisk och utför FIPS 204-normkontrollerna innan åtagandet rekonstrueras. Den officiella known-answer-vektorn och vektorer med manipulerade signaturer täcks av regressionssviten

Exempel

if not MLDSA87Verify(PublicKey, Message, Context, Signature) then
  Reject(Message);

Se även

MLDSA87KeyGen, MLDSA87Sign