Kontrolowana arytmetyka kryptograficzna i uzgodnienie kluczy
Version 2.955.1 zachowuje istniejące API SHA3, SHAKE i uzgodnienia kluczy z włączonymi kontrolami przepełnienia i zakresu liczb całkowitych w Delphi i Free Pascal
SHA3-256, SHA3-384, SHA3-512 i SHAKE256 zachowują istniejące wyjścia dla pustych wejść, granic rate, wielu bloków, strumieniowych aktualizacji i powtórzonej ekstrakcji SHAKE
Wymiany P-256, P-384 i P-521 używają jawnych operacji na niższych słowach wszędzie tam, gdzie implementacja ciała celowo pracuje modulo 2^64; stałe wysokobitowe i operacje Montgomery pozostają używalne w kontrolowanych buildach 32-bitowych
Przyjmowanie sekretów Montgomery
HPDFX25519 i HPDFX448 sprawdzają kompletne kanoniczne bajty wyjścia i podnoszą EInvalidOpException, gdy sekret współdzielony jest całkowicie zerowy, łącznie ze słabymi reprezentacjami ciała o niezerowych wewnętrznych limbach
HPDFComputeKeyAgreementSecret tłumaczy to odrzucenie na False, pusty SharedSecret i świeże Issue; kolejna poprawna operacja pozostaje używalna
Niekanoniczne współrzędne u nadal podążają za dekodowaniem RFC 7748, łącznie z regułą wysokiego bitu X25519; kontrola sekretu zerowego podąża za opcjonalną kontrolą przyjęcia w sekcji 6 RFC 7748
Akceptacja
Sześć rzeczywistych natywnych celów przechodzi po 360 niezależnych porównań SHA3/SHAKE i 101 przypadków uzgodnienia kluczy, łącznie z pełnowymiarowymi prywatnymi skalarami NIST w obu kierunkach, wektorami RFC i 1,000 iteracjami, odrzucaniem niskiego rzędu, niekanonicznymi wejściami i odzyskiwaniem
Obie architektury Delphi przechodzą też 11 niezmienionych oryginalnych metod drabiny i konsumentów kopert odbiorców; rzeczywiste domknięcia kompilatorów są audytowane względem bieżącej kompozycji wydania
Uruchom Tests/Linux/Run-CheckedCryptoAcceptance.py dla normalnej kontrolowanej akceptacji konsolowej; Tests/Linux/CheckedCryptoAcceptance.en-us.md opisuje polecenia kompilatora i niezależny generator wektorów
Te kontrole ustalają udokumentowane zachowanie wektorów i odrzuceń; nie ustalają wykonania w stałym czasie ani certyfikacji odporności na kanały boczne