Arithmétique cryptographique vérifiée et accord de clés
La version 2.955.1 conserve les API SHA3, SHAKE et d'accord de clés existantes, en activant les contrôles de débordement entier et de plage dans Delphi et Free Pascal
SHA3-256, SHA3-384, SHA3-512 et SHAKE256 conservent leurs sorties existantes sur les entrées vides, les frontières de rate, les blocs multiples, les mises à jour en flux et les extractions SHAKE répétées
Les échanges P-256, P-384 et P-521 recourent à des opérations explicites sur les mots bas là où l'implémentation du corps calcule volontairement modulo 2^64 ; les constantes de bit haut et les opérations de Montgomery restent utilisables dans des builds 32 bits vérifiés
Admission du secret partagé Montgomery
HPDFX25519 et HPDFX448 vérifient l'intégralité des octets canoniques de sortie et lèvent EInvalidOpException quand le secret partagé est entièrement nul, représentations de corps faibles aux limbs internes non nuls comprises
HPDFComputeKeyAgreementSecret traduit ce refus en False, un SharedSecret vide et un Issue frais ; une opération valide ultérieure reste utilisable
Les coordonnées u non canoniques suivent toujours le décodage RFC 7748, règle du bit haut X25519 comprise ; la vérification du secret nul s'appuie sur le contrôle d'admission optionnel de la RFC 7748, section 6
Acceptation
Six cibles natives réelles passent chacune 360 comparaisons SHA3/SHAKE indépendantes et 101 cas d'accord de clés, scalaires privés NIST pleine largeur dans les deux sens, vecteurs RFC et 1 000 itérations compris, avec refus des ordres bas, entrées non canoniques et récupération
Les deux architectures Delphi passent aussi les 11 méthodes consommatrices d'origine inchangées de ladder et d'enveloppe de destinataire ; les fermetures réelles des compilateurs sont auditées face à la composition de la version courante
Lancez Tests/Linux/Run-CheckedCryptoAcceptance.py pour l'acceptation console vérifiée normale ; Tests/Linux/CheckedCryptoAcceptance.en-us.md décrit les commandes compilateur et le générateur de vecteurs indépendant
Ces vérifications établissent le comportement documenté des vecteurs et des refus ; elles n'établissent ni une exécution en temps constant ni une certification side-channel