{"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\/da\/blog\/news\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","title":{"rendered":"Krypteringsfunktioner med matematisk sikkerhed er blevet implementeret i Python","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Det er blevet offentliggjort, at initiativet til at erstatte de kryptografiske algoritmer, der tilbydes i Python-modulerne hashlib og hmac, med varianter med matematisk sikkerhedsgaranti, forberedt af projektet «HACL*», er afsluttet med succes. Arbejdet med at overg\u00e5 til funktioner med matematisk sikkerhedsgaranti begyndte i 2022 og blev initieret efter opdagelsen af et buffer-overl\u00f8b i implementeringen af SHA3-algoritmen, der anvendes i Python-modulet hashlib. <\/p>\n
Ny kode med implementeringer af kryptografiske hash-funktioner og HMAC-algoritmer (mekanisme til at verificere meddelelsers autenticitet) er blevet accepteret i hovedrepositoryet for CPython-projektet. Alle de hash-funktioner og HMAC'er, der leveres som standard i Python, er blevet erstattet med verificerede varianter. Blandt andet er der tilf\u00f8jet en implementering af HMAC-BLAKE2, der bruger SIMD-instruktioner AVX2 for at \u00f8ge beregningernes hastighed. Den forventes at indg\u00e5 i efter\u00e5rsudgivet Python 3.14. <\/p>\n
De nye implementeringer af kryptografiske funktioner er flyttet fra HACL*-biblioteket, der udvikles af forskere fra det franske statslige institut for computerforskning og automatisering (INRIA), Microsoft Research og Carnegie Mellon Universitet. HACL*-biblioteket underst\u00f8tter de essentielle kryptografiske funktioner, der er tilstr\u00e6kkelige til at arbejde med TLS 1.3 og en fuld st\u00f8tte for NaCl API (Networking and Cryptography library), s\u00e5som Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC og HKDF. Med hensyn til ydeevne er HACL*-biblioteket t\u00e6t p\u00e5 OpenSSL, men i mods\u00e6tning til det sidstn\u00e6vnte tilbyder det ekstra garantier for sikkerhed og p\u00e5lidelighed. <\/p>\n
HACL*-koden er skrevet i et undergruppe af funktionelt sprog F*, som tilbyder et system af afh\u00e6ngige typer og pr\u00e6ciseringer, hvilket g\u00f8r det muligt at angive pr\u00e6cise specifikationer (matematisk model) og garantere, at der ikke er fejl i implementeringen gennem SMT-formler og hj\u00e6lpev\u00e6rkt\u00f8jer til bevis. Referencekoden i F* kompilretter til C-kode ved hj\u00e6lp af KaRaMeL-kompilatoren og er tilg\u00e6ngelig for integration med andre projekter. <\/p>\n
Udf\u00f8relse af verifikation indeb\u00e6rer at definere detaljerede specifikationer, der beskriver alle mulige adf\u00e6rdsm\u00f8nstre for programmet, og at danne et matematisk bevis for, at den skrevne kode fuldst\u00e6ndigt svarer til de forberedte specifikationer. Verifikation garanterer, at programmet kun vil k\u00f8re som udviklerne har tilt\u00e6nkt, og at der ikke er visse klasser af fejl, s\u00e5som buffer-overl\u00f8b, dereferencer af pointere, adgang til allerede frigivne hukommelsesomr\u00e5der eller dobbelt frigivelse af hukommelsesblokke. Under kompileringen sikres der en streng type- og v\u00e6rdikontrol \u2014 \u00e9n komponent vil aldrig overf\u00f8re parametre, der ikke svarer til specifikationen, til en anden komponent og vil ikke f\u00e5 adgang til interne tilstande af andre komponenter. <\/p>\n
Overgangen til den verificerede kode tog to og en halv \u00e5r og kr\u00e6vede opdatering af HACL*-biblioteket, hvis funktionalitet blev udvidet med de n\u00f8dvendige funktioner til en gennemsigtig erstatning af den eksisterende funktionalitet i hashlib. For eksempel blev der tilf\u00f8jet support for streaming-mode af HMAC i HACL*, yderligere driftsformer for Blake2-algoritmer blev pr\u00e6senteret, en ny API til SHA3 blev implementeret, som d\u00e6kker alle varianter af Keccak-familien, n\u00f8dvendige fejlmeddelelsesv\u00e6rkt\u00f8jer blev sikret (f.eks. ved hukommelsesallokeringsproblemer), og scripts til automatisering af overf\u00f8rsel af nye versioner af HACL* til Python-repositoriet blev udviklet. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"