Bemutat\u00e1sra ker\u00fclt az ITB projekt, amely egy szimmetrikus kriptogr\u00e1fiai izol\u00e1tort fejleszt, c\u00e9lja a standard pseudo-v\u00e9letlen funkci\u00f3k (PRF) \u00e9s hash-primit\u00edvek (AES, BLAKE2\/3, Areion \u00e9s m\u00e1sok) k\u00f6r\u00fcl\u00f6lel\u00e9se egy \u00f6sszekapcsolt kombinatorikus \u00e9s topol\u00f3giai akad\u00e1lyban. A klasszikus blokkolt \u00e9s folyamatos titkos\u00edt\u00e1si m\u00f3dokkal ellent\u00e9tben az ITB architekt\u00far\u00e1ja a bels\u0151 primit\u00edv strukt\u00far\u00e1j\u00e1nak izol\u00e1l\u00e1s\u00e1ra \u00f6sszpontos\u00edt, megakad\u00e1lyozva a differenci\u00e1lis \u00e9s line\u00e1ris jellemz\u0151k, az algebrai lineariz\u00e1ci\u00f3, valamint a k\u00f6zvetlen k\u00f3dol\u00e1sok terjed\u00e9s\u00e9t a SAT\/SMT \u00e9s MILP megold\u00f3k hat\u00e1rain kereszt\u00fcl. A k\u00f3d Go nyelven \u00edr\u00f3dott, alacsony szint\u0171 optimaliz\u00e1l\u00e1sokkal assembler nyelven x86_64 \u00e9s ARM64 (Aarch64) architekt\u00far\u00e1khoz, \u00e9s Apache 2.0 licenc alatt terjesztik.<\/p>\n
Az ITB adatkonvert\u00e1l\u00e1s k\u00e9t \u00f6sszekapcsolt szintre (Interlocked Barrier) oszlik, amelyeket nyolc elszigetelt kulcsseed (8-seed isolation) vez\u00e9rel a kulcs helyi evol\u00faci\u00f3j\u00e1val, k\u00f6zvetlen l\u00e1ncolt kapcsolaton kereszt\u00fcl (ChainHash). Az els\u0151 szinten a rangsorol\u00f3 akad\u00e1ly (Rank Barrier) minden 48 bites blokk (vagy 512 bites primit\u00edvek eset\u00e9n 168 bites blokk) kulcs-kombinatorikus permut\u00e1ci\u00f3j\u00e1t hajtja v\u00e9gre, a ny\u00edlt sz\u00f6veg biteit h\u00e1rom f\u00fcggetlen r\u00e9gi\u00f3ra osztva, a kombin\u00e1ci\u00f3s sz\u00e1m\u00e1nak k\u00e9tszint\u0171 meghat\u00e1roz\u00e1sa alapj\u00e1n (a kiegyens\u00falyozott feloszt\u00e1sok tere C(48, 16) * C(32, 16) k\u00f6r\u00fclbel\u00fcl 2^70,20, m\u00edg 168 bites m\u00f3dban C(168, 56) * C(112, 56) \u2014 k\u00f6r\u00fclbel\u00fcl 2^258,60). A m\u00e1sodik szinten a pixelakad\u00e1ly (Pixel Barrier) az adatokat egy 8 byte-b\u00f3l \u00e1ll\u00f3 elemek r\u00e1cs\u00e1ra vet\u00edti (8 csatorna, 7 bit adat \u00e9s 1 bit pszeudo-v\u00e9letlen zaj minden byte-ban) egy pixel szint\u0171, 7 bites ciklikus eltol\u00e1ssal, 7 bites csatorn\u00e1k maszkol\u00e1s\u00e1val \u00e9s a zajbit poz\u00edci\u00f3j\u00e1nak kiv\u00e1laszt\u00e1s\u00e1val.<\/p>\n
A projekt f\u0151 jellemz\u0151i:<\/p>\n
\n
K\u00eds\u00e9rleti ellen\u0151rz\u00e9s az izol\u00e1l\u00f3 tulajdons\u00e1gokr\u00f3l nyilv\u00e1nval\u00f3an nem kriptogr\u00e1fiai funkci\u00f3kon (stresszteszt gyenge primit\u00edvekkel). A t\u00e1rol\u00f3hoz tartozik egy laborat\u00f3riumi \u00e1llv\u00e1ny, amely egy norm\u00e1l hash-funkci\u00f3t, az FNV-1a-t helyez be a falon bel\u00fcl. A nemline\u00e1ris kombinatorikus rangsorol\u00e1s, a byte-ok 7 bites csatorn\u00e1k hat\u00e1rain t\u00f6rt\u00e9n\u0151 feloszt\u00e1sa (GCD(7, 8) = 1) \u00e9s a zajbitek minden byte-ba val\u00f3 injekt\u00e1l\u00e1sa miatt a ny\u00edlt \u00e9s titkos sz\u00f6vegre vonatkoz\u00f3 SAT\/SMT modell gyakorlati felhaszn\u00e1l\u00e1sa vagy fel\u00e9p\u00edt\u00e9se blokkolva van m\u00e1r a rendszer egyenleteinek megfogalmaz\u00e1s\u00e1nak szakasz\u00e1ban.\n
G\u00e9pellen\u0151rz\u00f6tt formai verifik\u00e1ci\u00f3 a Lean 4 nyelven. Az \u00f6sszes 12 alapvet\u0151 matematikai, kombinatorikai \u00e9s bitvektoros t\u00e9tel konstrukci\u00f3 (valamint a 3-to-8 hibrid kulcsgener\u00e1l\u00f3 rendszer alkalmaz\u00e1si terve az APPS.md-ben), amelyek a PROOFS.md dokumentumban szerepelnek, teljes m\u00e9rt\u00e9kben bizony\u00edtva vannak Lean 4-ben axi\u00f3m\u00e1k \u00e9s bizony\u00edt\u00e9kok kihagy\u00e1sa n\u00e9lk\u00fcl.\n
Be\u00e9p\u00edtett kriptoanalitikai tesztel\u00e9si eszk\u00f6zk\u00e9szlet, amely automatiz\u00e1lt ellen\u0151rz\u00e9seket tartalmaz: statisztikai tesztbatteri\u00e1k, algebrai fok \u00e9s nemlinearit\u00e1s \u00e9rt\u00e9kel\u00e9se, a zajpoz\u00edci\u00f3k kisz\u0171r\u00e9se a CCA-or\u00e1kuluson kereszt\u00fcl \u00e9s s\u00e9r\u00fcl\u00e9kenys\u00e9gek keres\u00e9se k\u00fcls\u0151 megold\u00f3kkal.\n
K\u00e9t m\u0171k\u00f6d\u00e9si m\u00f3d: alap\u00e9rtelmezett hiteles\u00edtett \u00fczemm\u00f3d (AEAD a MAC-Inside-Encrypt s\u00e9ma szerint, ahol az \u00fczenet hiteles\u00edt\u00e9se a tart\u00e1lyon bel\u00fcl sz\u00e1m\u00edt\u00f3dik \u00e9s titkos\u00edt\u00f3dik) \u00e9s plauzibilis tagad\u00e1s (Plausible Deniability) m\u00f3d az alapvet\u0151 COBS k\u00f3dol\u00e1s alapj\u00e1n, ahol a titkos\u00edt\u00e1s tetsz\u0151leges helytelen kulccsal szintaktikailag helyes adatokat ad vissza hibaindik\u00e1tor n\u00e9lk\u00fcl.\n