Aritmetica crittografica verificata e accordo sulle chiavi
La versione 2.955.1 preserva le API esistenti di SHA3, SHAKE e accordo sulle chiavi con verifiche di overflow e intervallo degli interi abilitate in Delphi e Free Pascal
SHA3-256, SHA3-384, SHA3-512 e SHAKE256 conservano i loro output esistenti attraverso input vuoti, confini di rate, blocchi multipli, aggiornamenti in streaming ed estrazione SHAKE ripetuta
Gli scambi P-256, P-384 e P-521 usano operazioni esplicite sulla parola bassa dove l'implementazione del campo lavora intenzionalmente modulo 2^64; le costanti a bit alto e le operazioni Montgomery restano utilizzabili nelle build a 32 bit verificate
Ammissione dei segreti condivisi Montgomery
HPDFX25519 e HPDFX448 verificano i byte completi dell'output canonico e sollevano EInvalidOpException quando il segreto condiviso è tutto zero, incluse rappresentazioni deboli del campo i cui limbs interni sono diversi da zero
HPDFComputeKeyAgreementSecret traduce questo rifiuto in False, un SharedSecret vuoto e un Issue fresco; un'operazione valida successiva resta utilizzabile
Le coordinate u non canoniche continuano a seguire la decodifica RFC 7748, inclusa la regola del bit alto X25519; la verifica del segreto zero segue la verifica di ammissione opzionale nella sezione 6 di RFC 7748
Acceptance
Sei destinazioni native effettive passano ciascuna 360 confronti indipendenti SHA3/SHAKE e 101 casi di accordo sulle chiavi, inclusi scalari privati NIST a larghezza completa in entrambe le direzioni, vettori RFC e 1.000 iterazioni, rifiuto a ordine basso, input non canonici e recupero
Entrambe le architetture Delphi passano anche gli 11 metodi di consumo originali invariati di ladder e recipient-envelope; le chiusure effettive del compilatore vengono auditare contro la composizione di release corrente
Eseguire Tests/Linux/Run-CheckedCryptoAcceptance.py per la acceptance normale verificata da console; Tests/Linux/CheckedCryptoAcceptance.en-us.md descrive i comandi del compilatore e il generatore indipendente di vettori
Queste verifiche stabiliscono il comportamento documentato di vettori e rifiuto; non stabiliscono esecuzione a tempo costante né una certificazione di assenza di side channel