{"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\/sv\/blog\/news\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","title":{"rendered":"Kryptografiska funktioner med matematiskt bevis f\u00f6r s\u00e4kerhet anv\u00e4nds i Python","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Det har meddelats om den framg\u00e5ngsrika avslutningen av initiativet att ers\u00e4tta de kryptografiska algoritmerna som erbjuds i modulerna hashlib och hmac i Python med alternativ som har matematiskt bevisad tillf\u00f6rlitlighet, f\u00f6rberett av projektet \u00abHACL*\u00bb. Arbetet med att \u00f6verg\u00e5 till funktioner med matematiskt bevisad tillf\u00f6rlitlighet inleddes 2022 och initierades efter att en buffer overflow identifierades i implementeringen av SHA3-algoritmen som anv\u00e4nds i Python-modulen hashlib. <\/p>\n
Kod med nya implementationer av kryptografiska hash-funktioner och HMAC-algoritmer (mekanism f\u00f6r meddelandebekr\u00e4ftelse) har antagits i huvudarkivet f\u00f6r projektet CPython. Alla standardhash-funktioner och HMAC i Python har ersatts med verifierade alternativ. Bland annat har en implementering av HMAC-BLAKE2 lagts till, som anv\u00e4nder SIMD-instruktioner AVX2 f\u00f6r att p\u00e5skynda ber\u00e4kningarna. Det f\u00f6rv\u00e4ntas att den verifierade koden kommer att inkluderas i h\u00f6stlanseringen av Python 3.14. <\/p>\n
De nya implementeringarna av kryptografiska funktioner har flyttats fr\u00e5n HACL*-biblioteket, som utvecklas av forskare vid det franska statliga institutet f\u00f6r datorsystem och automatisk kontroll (INRIA), Microsoft Research och Carnegie Mellon-universitetet. HACL*-biblioteket st\u00f6der de typiska kryptografiska funktionerna som \u00e4r tillr\u00e4ckliga f\u00f6r att arbeta med TLS 1.3 och ger fullst\u00e4ndigt st\u00f6d f\u00f6r NaCl-API:t (Networking and Cryptography library), s\u00e5som Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC och HKDF. N\u00e4r det g\u00e4ller prestanda \u00e4r HACL*-biblioteket n\u00e4ra OpenSSL, men till skillnad fr\u00e5n det senare erbjuder det ytterligare garantier f\u00f6r tillf\u00f6rlitlighet och s\u00e4kerhet. <\/p>\n
Koden f\u00f6r HACL* \u00e4r skriven i en delm\u00e4ngd av det funktionella spr\u00e5ket F*, som erbjuder ett system med beroende typer och specificeringar som g\u00f6r det m\u00f6jligt att st\u00e4lla exakta specifikationer (matematisk modell) och garantera fr\u00e5nvaron av fel i implementationen med hj\u00e4lp av SMT-formler och st\u00f6dverktyg f\u00f6r bevisande. Referenskoden p\u00e5 F* \u00f6vers\u00e4tts till C-kod med hj\u00e4lp av kompileraren KaRaMeL och \u00e4r tillg\u00e4nglig f\u00f6r integration med andra projekt. <\/p>\n
Genomf\u00f6randet av verifiering inneb\u00e4r att detaljerade specifikationer definieras som beskriver alla m\u00f6jliga beteenden hos programmet, samt att ett matematiskt bevis formuleras som visar att den skrivna koden helt \u00f6verensst\u00e4mmer med de f\u00f6rberedda specifikationerna. Verifiering garanterar att programmet endast utf\u00f6rs som utvecklarna avs\u00e5g och att det saknar vissa klasser av fel, s\u00e5som buffer overflow, dereferering av pekare, \u00e5tkomst till redan frigjorda minnesomr\u00e5den eller dubbel frigivning av minnesblock. Under kompileringen s\u00e4kerst\u00e4lls strikt typ- och v\u00e4rdekontroll \u2013 en komponent kommer aldrig att \u00f6verf\u00f6ra parametrar som inte \u00f6verensst\u00e4mmer med specifikationen till en annan komponent, och den kommer inte att f\u00e5 tillg\u00e5ng till andra komponenters interna tillst\u00e5nd. <\/p>\n
\u00d6verg\u00e5ngen till verifierad kod tog tv\u00e5 och ett halvt \u00e5r och kr\u00e4vde revidering av biblioteket HACL*, vars funktionalitet utvidgades med de n\u00f6dv\u00e4ndiga m\u00f6jligheterna f\u00f6r en transparent ers\u00e4ttning av den befintliga funktionaliteten i hashlib. Till exempel lades st\u00f6d f\u00f6r HMAC-str\u00f6mmanv\u00e4ndning till i HACL*, ytterligare driftsl\u00e4gen f\u00f6r Blake2-algoritmer inf\u00f6rdes, en ny API f\u00f6r SHA3 implementerades som omfattade alla varianter av Keccak-familjen, n\u00f6dv\u00e4ndiga felmeddelandefunktioner tillhandah\u00f6lls (till exempel vid problem med minnesallokering), och skript utvecklades f\u00f6r att automatisera \u00f6verf\u00f6ringen av nya versioner av HACL* till Python-repot. \n K\u00e4lla: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"