\u00cbsht\u00eb shpallur p\u00ebrfundimi me sukses i iniciativ\u00ebs p\u00ebr z\u00ebvend\u00ebsimin e implementimeve t\u00eb algoritmeve kriptografike n\u00eb Python t\u00eb ofruara n\u00eb modul\u00ebt hashlib dhe hmac, me variante me prov\u00eb matematike t\u00eb besueshm\u00ebris\u00eb, t\u00eb p\u00ebrgatitura nga projekti \u00abHACL*\u00bb. Puna p\u00ebr kalimin n\u00eb funksione me prov\u00eb matematike t\u00eb besueshm\u00ebris\u00eb ka filluar q\u00eb nga viti 2022 dhe \u00ebsht\u00eb iniciuar pas identifikimit t\u00eb mbingarkes\u00ebs s\u00eb tamponit n\u00eb implementimin e algoritmit SHA3, t\u00eb p\u00ebrdorur n\u00eb modulit Python hashlib. <\/p>\n
Kodi me realizimet e reja t\u00eb funksioneve hash kriptografike dhe algoritmeve HMAC (mekanizmi i verifikimit t\u00eb autenticitetit t\u00eb mesazheve) \u00ebsht\u00eb pranuar n\u00eb repositorin kryesor t\u00eb projektit CPython. T\u00eb gjitha funksionet hash dhe HMAC q\u00eb ofrohen si par default n\u00eb Python jan\u00eb z\u00ebvend\u00ebsuar me variante t\u00eb verifikuara. Nd\u00ebr t\u00eb tjera, \u00ebsht\u00eb shtuar implementimi HMAC-BLAKE2, i cili p\u00ebrdor instrukcionet SIMD AVX2 p\u00ebr t\u00eb p\u00ebrshpejtuar llogaritjet. Pritet q\u00eb kodi i verifikuar t\u00eb p\u00ebrfshihet n\u00eb lansimin e vjesht\u00ebs Python 3.14. <\/p>\n
Implementimet e reja t\u00eb funksioneve kriptografike jan\u00eb transferuar nga biblioteka HACL*, e zhvilluar nga hulumtuesit e institutit francez t\u00eb k\u00ebrkimeve n\u00eb Informatik\u00eb dhe Automatizim (INRIA), nj\u00eb ndarje e Microsoft Research dhe universitetit Carnegie Mellon. Biblioteka HACL* mb\u00ebshtet funksionet standarde kriptografike, t\u00eb mjaftueshme p\u00ebr operimin e TLS 1.3 dhe mb\u00ebshtetje t\u00eb plot\u00eb p\u00ebr API NaCl (Bibliotek\u00ebn e Rrjetit dhe Kriptografis\u00eb), si Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC dhe HKDF. N\u00eb aspektin e performanc\u00ebs, biblioteka HACL* \u00ebsht\u00eb e af\u00ebrt me OpenSSL, por ndryshe nga kjo e fundit ofron garanci shtes\u00eb p\u00ebr besueshm\u00ebri dhe siguri. <\/p>\n
Kodi HACL* \u00ebsht\u00eb shkruar n\u00eb nj\u00eb n\u00ebngrup t\u00eb gjuh\u00ebs funksionale F*, e cila ofron nj\u00eb sistem t\u00eb tipeve t\u00eb varura dhe sqarimeve q\u00eb lejojn\u00eb p\u00ebrcaktimin e specifikimeve t\u00eb sakta (modeli matematikor) dhe garantojn\u00eb munges\u00ebn e gabimeve n\u00eb implementim p\u00ebrmes formulave SMT dhe mjeteve ndihm\u00ebse t\u00eb prov\u00ebs. Kodi referues n\u00eb F* transpektohet n\u00eb kod n\u00eb gjuh\u00ebn C p\u00ebrmes kompilatorit KaRaMeL dhe \u00ebsht\u00eb i disponuesh\u00ebm p\u00ebr integrim me projekte t\u00eb tjera. <\/p>\n
Kryerja e verifikimit n\u00ebnkupton p\u00ebrcaktimin e specifikimeve t\u00eb detajuara, t\u00eb cilat p\u00ebrshkruajn\u00eb t\u00eb gjitha variantet e sjelljes s\u00eb programit, dhe formimin e nj\u00eb prov\u00eb matematike q\u00eb tregon se kodi i shkruar p\u00ebrputhet plot\u00ebsisht me specifikimet p\u00ebrkat\u00ebse. Verifikimi jep garancin\u00eb se programi do t\u00eb ekzekutohet vet\u00ebm ashtu si\u00e7 e kan\u00eb menduar zhvilluesit dhe se nuk ka klasa t\u00eb caktuara gabimesh, si\u00e7 jan\u00eb mbingarkesat e tamponit, dereferencimi i treguesve, qasja n\u00eb hap\u00ebsirat e memories t\u00eb cilat jan\u00eb liruar tashm\u00eb, ose \u00e7lirim i dyfisht\u00eb i blloqeve t\u00eb memories. Gjat\u00eb procesit t\u00eb kompilimit sigurohet nj\u00eb verifikim i rrept\u00eb i tipeve dhe vlerave \u2014 nj\u00eb komponent kurr\u00eb nuk do t\u00eb transferoj\u00eb nj\u00ebri-tjetrit parametra q\u00eb nuk p\u00ebrputhen me specifikimin dhe nuk do t\u00eb ket\u00eb qasje n\u00eb gjendjet e brendshme t\u00eb komponent\u00ebve t\u00eb tjer\u00eb. <\/p>\n
Procesi i kalimit n\u00eb kod t\u00eb verifikuar mori dy vite e gjysm\u00eb dhe k\u00ebrkoi p\u00ebrmir\u00ebsimin e bibliotek\u00ebs HACL*, funksionaliteti i s\u00eb cil\u00ebs u zgjerua me mund\u00ebsit\u00eb e nevojshme p\u00ebr z\u00ebvend\u00ebsimin e qart\u00eb t\u00eb funksionalitetit ekzistues hashlib. P\u00ebr shembull, n\u00eb HACL* u shtua mb\u00ebshtetje p\u00ebr funksionin e pun\u00ebs HMAC n\u00eb m\u00ebnyr\u00eb t\u00eb rrjedhshme, u ofruan m\u00ebnyra t\u00eb tjera t\u00eb pun\u00ebs p\u00ebr algoritmet Blake2, u realizua nj\u00eb API i ri p\u00ebr SHA3, duke p\u00ebrfshir\u00eb t\u00eb gjitha variantet e algoritmeve t\u00eb familjes Keccak, u siguruan mjetet e nevojshme p\u00ebr njoftimin p\u00ebr gabime (p\u00ebr shembull, n\u00eb rast t\u00eb problemeve me ndarjen e kujtes\u00ebs), dhe u zhvilluan skenar\u00ebt p\u00ebr automatizimin e transferimit t\u00eb versioneve t\u00eb reja HACL* n\u00eb depozit\u00ebn Python. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"