ProHoster > Blog > Lajmet e internetit > Kryptografik izoluese ITB me provë formale të besueshmërisë

Kryptografik izoluese ITB me provë formale të besueshmërisë

Projekti ITB është prezantuar, duke zhvilluar një izoluese simetrike kriptografike, e cila është menduar për të mbështjellë funksionet standarde pseudoprasuese (PRF) dhe primitivat hash (AES, BLAKE2/3, Areion dhe të tjerë) në një barrierë të kombinuar dhe topologjike. Ndryshe nga mënyrat klasike të enkriptimit të bllokave dhe rrjedhës, arkitektura ITB është fokusuar në izolimin struktural të primitivit të brendshëm, duke e penguar përhapjen e karakteristikave diferenciale dhe linjare, linjizimin algebrik, si dhe kodifikimet direkte për zgjidhësit SAT/SMT dhe MILP përmes kufijve të barrierës. Kodi është shkruar në gjuhën Go me optimizime të nivelit të ulët në assembler për arkitat x86_64 dhe ARM64 (Aarch64) dhe shpërndahet nën licencën Apache 2.0.

Transformimi i të dhënave në ITB ndahen në dy nivele të lidhura (Interlocked Barrier), të menaxhuara nga tetë çelësa të izoluar (8-seed isolation) me evolucion lokal të çelësit përmes një kaskade me lidhje të drejtpërdrejtë (ChainHash). Në nivelin e parë, bariera e rendit (Rank Barrier) realizon një përzierje kombinatoriale të çdo blloku 48-bit (ose blloku 168-bit për primitivat 512-bit), duke shpërndarë bitët e tekstet të hapur në tre rajone të pavarura në bazë të gjetjes së kombinimeve në dy hapa sipas numrit të tij (hapsira e ndarjeve të balancuara C(48, 16) * C(32, 16) është rreth 2^70.20, ndërsa në modin 168-bit C(168, 56) * C(112, 56) është rreth 2^258.60). Në nivelin e dytë, bariera piksel (Pixel Barrier) vizaton të dhënat në një rrjet prej 8 elementëve bajt (8 kanale, me 7 bit të dhënash dhe 1 bit zhurme pseudoprasuese në secilin bajt) me një zhvendosje ciklike 7-bit kontrolli për çdo piksel, maskimin e kanaleve 7-bit dhe zgjedhjen e pozicionit të bitit të zhurmës.

Karakteristikat kryesore të projektit:

  • Verifikimi eksperimental i pronave izoluese mbi funksione qĂ« nuk janĂ« kriptografike (stestim me primitivat e dobĂ«t). NĂ« pĂ«rbĂ«rje tĂ« repositorit Ă«shtĂ« pĂ«rfshirĂ« njĂ« stend laboratorike, e cila vendos brenda barrierĂ«s njĂ« funksion hash tĂ« zakonshĂ«m FNV-1a. NĂ«pĂ«rmjet pĂ«rzierjes jo-lineare kombinatoriale, ndarjes sĂ« bajtĂ«ve nĂ« kufijtĂ« e kanaleve 7-bit (GCD(7, 8) = 1) dhe injektimit tĂ« bitĂ«ve tĂ« zhurmĂ«s nĂ« çdo bajt, qasja praktike ose ndĂ«rtimi i njĂ« modeli zgjidhen SAT/SMT pĂ«r tekstin e hapur dhe tĂ« enkriptuar bllokohet tashmĂ« nĂ« fazĂ«n e formulimit tĂ« sistemit tĂ« barazimeve.
  • Verifikimi formal i kontrolluar nga makina nĂ« gjuhĂ«n Lean 4. TĂ« gjitha 12 teoremat bazĂ« matematikore, kombinatorike dhe tĂ« vektorĂ«ve bita, konstrukti (si dhe skema praktike e konfirmimit hibrid tĂ« çelĂ«save 3-8 nga tre kanale KEM tĂ« pavarura nĂ« APPS.md), tĂ« pĂ«rshkruara nĂ« dokumentin PROOFS.md, janĂ« provuar plotĂ«sisht nĂ« Lean 4 pa pĂ«rdorimin e aksioneve dhe duke lĂ«nĂ« jashtĂ« prova.
  • Instrumenti i ndĂ«rtuar pĂ«r provimin kriptoanalitik, duke pĂ«rfshirĂ« kontrollime automatike: bateri testesh statistikore, vlerĂ«sim tĂ« gradĂ«s algebrike dhe nonlinearitetit, kontrollimin e izolimit tĂ« farave kur filtrohen pozitat e zhurmĂ«s pĂ«rmes CCA-orakulli dhe kĂ«rkimin e dobĂ«sive pĂ«rmes zgjidhĂ«sve tĂ« jashtĂ«m.
  • Dy modulet e punĂ«s: moda standarde e autentifikimit (AEAD sipas skemĂ«s MAC-Inside-Encrypt, ku imtimimi llogaritet dhe enkriptohet brenda kontejnerit) dhe moda e mohimit tĂ« besueshĂ«m (Plausible Deniability) mbi bazĂ«n e kodifikimit tĂ« pavendosur COBS, ku dekriptimi me njĂ« çelĂ«s tĂ« gabuar nxjerr tĂ« dhĂ«na sintaksisht tĂ« sakta pa tregues gabimi.
  • E shoqĂ«ruar me PRF moderne dhe tĂ« shpejta (AES, BLAKE2/3, Areion), konstrukti Ă«shtĂ« i pĂ«rshtatshĂ«m pĂ«r shkĂ«mbimin e sigurt tĂ« mesazheve, ruajtjen e skedarĂ«ve dhe tunelimin e rrjeteve (me kosto tĂ« formatit prej rreth 15% pĂ«r radhĂ«t grupore tĂ« paketave). VPNPĂ«r mbrojtjen nga sulmet pĂ«rmes kanaleve tĂ« jashtme, bĂ«rthamat ekzekutohen nĂ« kohĂ« konstante (constant-time) me pastrimin e plotĂ« tĂ« kadrove tĂ« stekut dhe regjistrave tĂ« procesorit (GPR, XMM/YMM/ZMM, NEON) pas thirrjeve.
  • PĂ«r arkitekturĂ«n x86_64 janĂ« realizuar bĂ«rthama asamble me pĂ«rdorimin e instrukcioneve BMI2 (PEXT/PDEP), AES-NI, VAES, AVX2 dhe AVX-512, ndĂ«rsa pĂ«r ARM64 (Aarch64) — mbi bazĂ«n e zgjerimeve NEON, Crypto Extensions dhe SVE2 (me rikthim tĂ« transferueshĂ«m nĂ« Go tĂ« pastĂ«r). NĂ« sipĂ«rfaqen e ABI C tĂ« vetme (libitb3) janĂ« pĂ«rgatitur lidhje pĂ«r 33 gjuhĂ« programimi.

Burimi: opennet.ru

Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS đŸ”„ Blini hosting tĂ« besueshĂ«m pĂ«r faqe interneti me mbrojtje nga DDoS, serverĂ« VPS VDS | ProHoster