Krahate n\u00eb p\u00ebrfundimin e suksessh\u00ebm t\u00eb iniciativ\u00ebs p\u00ebr t\u00eb z\u00ebvend\u00ebsuar implementimet e algoritmeve kriptografik\u00eb n\u00eb Python, t\u00eb ofruara n\u00eb modulat hashlib dhe hmac, me variante me prova matematike t\u00eb besueshm\u00ebris\u00eb, t\u00eb p\u00ebrgatitura nga projekti \u00abHACL*\u00bb. Puna p\u00ebr kalimin n\u00eb funksione me prova matematike t\u00eb besueshm\u00ebris\u00eb ka nisur n\u00eb vitin 2022 dhe \u00ebsht\u00eb iniciuar pas zbulohet t\u00eb nj\u00eb buffer overflow n\u00eb implementimin e algoritmit SHA3, t\u00eb p\u00ebrdorur n\u00eb modul\u00ebn Python hashlib. <\/p>\n
N\u00eb depozit\u00ebn kryesore t\u00eb projektit CPython \u00ebsht\u00eb pranuar kodi me implementime t\u00eb reja t\u00eb funksioneve kriptografike t\u00eb heshit dhe algoritmeve HMAC (mekanizmi i verifikimit t\u00eb mesazheve). T\u00eb gjitha funksionet hash dhe HMAC t\u00eb ofruara si standard n\u00eb Python jan\u00eb z\u00ebvend\u00ebsuar me variante t\u00eb verifikuara. Nd\u00ebr t\u00eb tjera, \u00ebsht\u00eb shtuar implementimi HMAC-BLAKE2, q\u00eb p\u00ebrdor instruksione SIMD AVX2 p\u00ebr t\u00eb p\u00ebrshpejtuar llogaritjet. Pritet q\u00eb kodi i verifikuar t\u00eb hyj\u00eb n\u00eb p\u00ebrb\u00ebrje t\u00eb l\u00ebshimit t\u00eb vjesht\u00ebs Python 3.14. <\/p>\n
Implementimet e reja t\u00eb funksioneve kriptografike jan\u00eb transferuar nga biblioteka HACL*, e zhvilluar nga k\u00ebrkuesit e Institutit Shtet\u00ebror t\u00eb K\u00ebrkimeve n\u00eb Informatik\u00eb dhe Automatiz\u00ebm t\u00eb Franc\u00ebs (INRIA), nj\u00eb n\u00ebnndarje e K\u00ebrkimeve t\u00eb Microsoft dhe Universitetit Carnegie \u2013 Mellon. Biblioteka HACL* mb\u00ebshtet funksionet standarde kriptografike, t\u00eb cilat jan\u00eb t\u00eb mjaftueshme p\u00ebr funksionimin e TLS 1.3 dhe mb\u00ebshtetje t\u00eb plot\u00eb p\u00ebr API NaCl (Biblioteka e Rrjetit dhe Kriptografis\u00eb), si Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC dhe HKDF. N\u00eb performanc\u00eb, biblioteka HACL* \u00ebsht\u00eb e ngjashme me OpenSSL, por ndryshe nga kjo e fundit, ofron garanci t\u00eb shtes\u00eb t\u00eb besueshm\u00ebris\u00eb dhe siguris\u00eb. <\/p>\n
Kodi HACL* \u00ebsht\u00eb shkruar n\u00eb nj\u00eb n\u00ebnshtres\u00eb t\u00eb gjuh\u00ebs funksionale F*, e cila ofron nj\u00eb sistem t\u00eb tipeve t\u00eb varura dhe sqarimeve, duke lejuar p\u00ebrcaktimin e specifikimeve t\u00eb sakta (modelin matematikor) dhe garantimin e munges\u00ebs s\u00eb gabimeve n\u00eb realizim p\u00ebrmes formulave SMT dhe mjeteve ndihm\u00ebse p\u00ebr d\u00ebshmi. Kodi referenc\u00eb n\u00eb F* kompilon n\u00eb kod n\u00eb gjuh\u00ebn C p\u00ebrmes kompajlerit 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 variacionet e sjelljes s\u00eb programit, dhe formimin e nj\u00eb d\u00ebshmie matematikore q\u00eb tregon se kodi i shkruar p\u00ebrputhet plot\u00ebsisht me specifikimet e p\u00ebrgatitura. Verifikimi ofron garanci se programi do t\u00eb funksionoj\u00eb vet\u00ebm si\u00e7 e kishin menduar zhvilluesit dhe q\u00eb nuk ka klasa t\u00eb caktuara gabimesh, t\u00eb tilla si buffer overflow, dereference pointers, akses n\u00eb zona memorie q\u00eb tashm\u00eb jan\u00eb \u00e7liruar ose \u00e7lirimi i dyfisht\u00eb i bllokimeve t\u00eb memories. Gjat\u00eb procesit t\u00eb komp limitimit sigurohet nj\u00eb kontroll rigoroz mbi tipet dhe vlerat - nj\u00eb komponent kurr\u00eb nuk do t\u2019i kaloj\u00eb nj\u00eb komponenti tjet\u00ebr 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
Proci i kalimit n\u00eb kodin e verifikuar zgjati dy vjet 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 transparent t\u00eb funksionalitetit ekzistues hashlib. P\u00ebr shembull, n\u00eb HACL* u shtua mb\u00ebshtetje p\u00ebr modalitetin e pun\u00ebs HMAC, u ofruan modalitete shtes\u00eb p\u00ebr algoritmet Blake2, u realizua nj\u00eb API i ri p\u00ebr SHA3, q\u00eb p\u00ebrfshin t\u00eb gjitha variantet e algoritmeve nga familja Keccak, u siguruan mjetet e nevojshme p\u00ebr njoftimin mbi gabimet (p\u00ebr shembull, n\u00eb rast t\u00eb problemeve me alokimin e memories), u zhvilluan skenar\u00eb p\u00ebr automatizimin e transferimit t\u00eb versioneve t\u00eb reja t\u00eb HACL* n\u00eb repository-n Python. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"