Geprüfte Krypto-Arithmetik und Key Agreement
Version 2.955.1 erhält die bestehenden SHA3-, SHAKE- und Key-Agreement-APIs und schaltet Integer-Overflow- und Range-Checks in Delphi und Free Pascal aktiv zu
SHA3-256, SHA3-384, SHA3-512 und SHAKE256 liefern über leere Eingaben, Rate-Grenzen, mehrere Blöcke, gestreamte Updates und wiederholte SHAKE-Extraktion hinweg ihre bisherigen Ausgaben
P-256-, P-384- und P-521-Exchanges verwenden explizite Low-Word-Operationen, wo die Feld-Implementierung bewusst modulo 2^64 rechnet; High-Bit-Konstanten und Montgomery-Operationen bleiben in geprüften 32-Bit-Builds nutzbar
Montgomery-Shared-Secret-Prüfung
HPDFX25519 und HPDFX448 prüfen die vollständigen kanonischen Ausgabe-Bytes und werfen EInvalidOpException, wenn das Shared Secret komplett null ist, einschließlich schwacher Feldrepräsentationen mit nonzero internen Limbs
HPDFComputeKeyAgreementSecret übersetzt diese Ablehnung in False, ein leeres SharedSecret und ein frisches Issue; eine anschließend gültige Operation bleibt verwendbar
Nicht-kanonische u-Koordinaten folgen weiterhin dem RFC-7748-Decoding, inklusive der X25519-High-Bit-Regel; der Zero-Secret-Check orientiert sich an der optionalen Admission-Prüfung in RFC 7748 Abschnitt 6
Abnahme
Sechs echte native Ziele bestehen je 360 unabhängige SHA3/SHAKE-Vergleiche und 101 Key-Agreement-Fälle, darunter NIST-Private-Scalars in voller Breite in beide Richtungen, RFC-Vektoren und 1.000 Iterationen, Low-Order-Ablehnung, nichtkanonische Eingaben und Recovery
Beide Delphi-Architekturen bestehen zusätzlich die 11 unveränderten Original-Ladder- und Recipient-Envelope-Consumer-Methoden; die tatsächlichen Compiler-Abschlüsse werden gegen die aktuelle Release-Zusammenstellung auditiert
Für die normale geprüfte Konsolen-Abnahme Tests/Linux/Run-CheckedCryptoAcceptance.py ausführen; Tests/Linux/CheckedCryptoAcceptance.en-us.md beschreibt die Compiler-Befehle und den unabhängigen Vektorgenerator
Diese Checks belegen das dokumentierte Vektor- und Ablehnungsverhalten; sie belegen weder Constant-Time-Ausführung noch eine Side-Channel-Zertifizierung