{"id":123602,"date":"2025-04-19T15:05:06","date_gmt":"2025-04-19T13:05:06","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti"},"modified":"2025-04-19T15:05:06","modified_gmt":"2025-04-19T13:05:06","slug":"v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pl\/blog\/news\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","title":{"rendered":"W Pythonie u\u017cyto funkcji kryptograficznych z matematycznym dowodem niezawodno\u015bci.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Og\u0142oszono pomy\u015blne zako\u0144czenie inicjatywy maj\u0105cej na celu zast\u0105pienie w Pythonie implementacji algorytm\u00f3w kryptograficznych, oferowanych w modu\u0142ach hashlib i hmac, wariantami z matematycznym dowodem niezawodno\u015bci, przygotowanymi przez projekt \u201eHACL*\u201d. Prace nad przej\u015bciem na funkcje z matematycznym dowodem niezawodno\u015bci prowadzono od 2022 roku i zapocz\u0105tkowano po wykryciu przepe\u0142nienia bufora w implementacji algorytmu SHA3, u\u017cywanego w module hashlib w Pythonie. <\/p>\n
Do g\u0142\u00f3wnego repozytorium projektu CPython przyj\u0119to kod z nowymi implementacjami kryptograficznych funkcji haszuj\u0105cych i algorytm\u00f3w HMAC (mechanizm weryfikacji autentyczno\u015bci wiadomo\u015bci). Wszystkie domy\u015blnie dostarczane w Pythonie funkcje haszuj\u0105ce i HMAC zosta\u0142y zast\u0105pione zweryfikowanymi wersjami. W\u015br\u00f3d nich dodano implementacj\u0119 HMAC-BLAKE2, wykorzystuj\u0105c\u0105 instrukcje SIMD AVX2 do przyspieszenia oblicze\u0144. Zak\u0142ada si\u0119, \u017ce zweryfikowany kod wejdzie w sk\u0142ad jesiennej wersji Pythona 3.14. <\/p>\n
Nowe implementacje funkcji kryptograficznych przeniesiono z biblioteki HACL*, rozwijanej przez badaczy z francuskiego pa\u0144stwowego instytutu bada\u0144 w informatyce i automatyce (INRIA), dzia\u0142u Microsoft Research oraz uniwersytetu Carnegie Mellon. Biblioteka HACL* wspiera typowe funkcje kryptograficzne, kt\u00f3re s\u0105 wystarczaj\u0105ce do obs\u0142ugi TLS 1.3 oraz pe\u0142nej obs\u0142ugi API NaCl (Networking and Cryptography library), takie jak Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC i HKDF. Je\u015bli chodzi o wydajno\u015b\u0107, biblioteka HACL* jest bliska OpenSSL, ale w przeciwie\u0144stwie do tej ostatniej oferuje dodatkowe gwarancje niezawodno\u015bci i bezpiecze\u0144stwa. <\/p>\n
Kod HACL* zosta\u0142 napisany w podzbiorze funkcjonalnego j\u0119zyka F*, kt\u00f3ry oferuje system typ\u00f3w zale\u017cnych i udoskonale\u0144, umo\u017cliwiaj\u0105cych ustalanie dok\u0142adnych specyfikacji (matematyczny model) i zapewnienie braku b\u0142\u0119d\u00f3w w implementacji przy u\u017cyciu formu\u0142 SMT i wspomagaj\u0105cych narz\u0119dzi dowodzenia. Referencyjny kod w F* jest transkodowany do kodu w j\u0119zyku C za pomoc\u0105 kompilatora KaRaMeL i jest dost\u0119pny do integracji z innymi projektami. <\/p>\n
Weryfikacja oznacza okre\u015blenie szczeg\u00f3\u0142owych specyfikacji, opisuj\u0105cych wszystkie mo\u017cliwe zachowania programu, oraz stworzenie matematycznego dowodu, \u017ce napisany kod w pe\u0142ni odpowiada przygotowanym specyfikacjom. Weryfikacja zapewnia gwarancj\u0119, \u017ce program b\u0119dzie dzia\u0142a\u0107 tylko tak, jak zamierzali to tw\u00f3rcy, a w nim nie wyst\u0105pi\u0105 okre\u015blone klasy b\u0142\u0119d\u00f3w, takie jak przepe\u0142nienie bufora, dereferencjonowanie wska\u017anik\u00f3w, dost\u0119p do ju\u017c zwolnionych obszar\u00f3w pami\u0119ci lub podw\u00f3jne zwolnienie blok\u00f3w pami\u0119ci. W procesie kompilacji zapewniana jest \u015bcis\u0142a kontrola typ\u00f3w i warto\u015bci \u2013 jeden komponent nigdy nie przeka\u017ce drugiemu komponentowi parametr\u00f3w, kt\u00f3re nie odpowiadaj\u0105 specyfikacji, i nie uzyska dost\u0119pu do wewn\u0119trznych stan\u00f3w innych komponent\u00f3w. <\/p>\n
Proces przej\u015bcia na zweryfikowany kod zaj\u0105\u0142 dwa i p\u00f3\u0142 roku i wymaga\u0142 dopracowania biblioteki HACL*, kt\u00f3rej funkcjonalno\u015b\u0107 zosta\u0142a rozszerzona o mo\u017cliwo\u015bci niezb\u0119dne do bezproblemowej wymiany istniej\u0105cej funkcjonalno\u015bci hashlib. Na przyk\u0142ad, w HACL* dodano wsparcie dla trybu strumieniowego HMAC, udost\u0119pniono dodatkowe tryby dzia\u0142ania algorytm\u00f3w Blake2, wprowadzono nowe API dla SHA3, obejmuj\u0105ce wszystkie warianty algorytm\u00f3w rodziny Keccak, zapewniono odpowiednie \u015brodki powiadamiania o b\u0142\u0119dach (np. w przypadku problem\u00f3w z alokacj\u0105 pami\u0119ci), opracowano skrypty do automatyzacji przenoszenia nowych wersji HACL* do repozytorium Python. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"