Aritmética criptográfica verificada y acuerdo de claves
La versión 2.955.1 preserva las APIs existentes de SHA3, SHAKE y acuerdo de claves con verificaciones de overflow y rango de enteros habilitadas en Delphi y Free Pascal
SHA3-256, SHA3-384, SHA3-512 y SHAKE256 retienen sus salidas existentes a través de entradas vacías, límites de rate, múltiples bloques, updates en streaming y extracción SHAKE repetida
Los intercambios P-256, P-384 y P-521 usan operaciones explícitas de palabra baja donde la implementación de campo trabaja intencionalmente módulo 2^64; las constantes de bit alto y las operaciones Montgomery siguen siendo utilizables en builds de 32 bits verificados
Admisión de secretos compartidos Montgomery
HPDFX25519 y HPDFX448 verifican los bytes completos de la salida canónica y lanzan EInvalidOpException cuando el secreto compartido es todo cero, incluidas representaciones de campo débiles cuyos limbs internos son distintos de cero
HPDFComputeKeyAgreementSecret traduce este rechazo en False, un SharedSecret vacío y un Issue fresco; una operación válida posterior sigue siendo utilizable
Las coordenadas u no canónicas siguen la decodificación RFC 7748, incluida la regla de bit alto de X25519; la verificación de secreto cero sigue la verificación de admisión opcional en la sección 6 de RFC 7748
Aceptación
Seis destinos nativos reales pasan cada uno 360 comparaciones independientes de SHA3/SHAKE y 101 casos de acuerdo de claves, incluidos escalares privados NIST de ancho completo en ambas direcciones, vectores RFC y 1,000 iteraciones, rechazo de orden bajo, entradas no canónicas y recuperación
Ambas arquitecturas Delphi también pasan los 11 métodos de consumo originales sin cambios de ladder y recipient-envelope; los cierres reales de compilador se auditan contra la composición de release actual
Ejecute Tests/Linux/Run-CheckedCryptoAcceptance.py para la aceptación normal verificada de consola; Tests/Linux/CheckedCryptoAcceptance.en-us.md describe los comandos de compilador y el generador independiente de vectores
Estas verificaciones establecen el comportamiento documentado de vectores y rechazo; no establecen ejecución en tiempo constante ni una certificación de side channel