{"id":184113,"date":"2026-11-03T23:41:02","date_gmt":"2026-11-03T21:41:02","guid":{"rendered":"https:\/\/prohoster.info\/blog\/news\/kriptograficheskij-izolyator-itb-s-formalnym-dokazatelstvom-nadyozhnosti"},"modified":"2026-11-03T23:41:07","modified_gmt":"2026-11-03T21:41:07","slug":"itb-cryptographic-isolator-with-formally-proven-reliability","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sk\/blog\/news\/itb-cryptographic-isolator-with-formally-proven-reliability","title":{"rendered":"ITB kryptografick\u00fd izol\u00e1tor s form\u00e1lnym d\u00f4kazom spo\u013eahlivosti","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Bol projekt ITB, ktor\u00fd rozv\u00edja symetrick\u00fd kryptografick\u00fd izol\u00e1tor ur\u010den\u00fd na obalenie \u0161tandardn\u00fdch pseudon\u00e1hodn\u00fdch funkci\u00ed (PRF) a hash primit\u00edv (AES, BLAKE2\/3, Areion a in\u00e9) do prepojen\u00fdch kombinatorick\u00fdch a topologick\u00fdch bari\u00e9r. Na rozdiel od klasick\u00fdch blokov\u00fdch a pr\u00fadov\u00fdch \u0161ifrovac\u00edch re\u017eimov, architekt\u00fara ITB sa zameriava na \u0161truktur\u00e1lnu izol\u00e1ciu vn\u00fatorn\u00e9ho primit\u00edvu, \u010d\u00edm zabra\u0148uje \u0161\u00edreniu diferencovan\u00fdch a line\u00e1rnych charakterist\u00edk, algebrickej lineariz\u00e1cii a priamym k\u00f3dovaniu pre SAT\/SMT a MILP solverov cez hranice bari\u00e9ry. K\u00f3d je nap\u00edsan\u00fd v jazyku Go s n\u00edzko\u00farov\u0148ov\u00fdmi optimaliz\u00e1ciami v assembleri pre architekt\u00fary x86_64 a ARM64 (Aarch64) a je distribuovan\u00fd pod licenciou Apache 2.0.<\/p>\n<p>Transform\u00e1cia d\u00e1t v ITB je rozdelen\u00e1 do dvoch prepojen\u00fdch \u00farovn\u00ed (Interlocked Barrier), riaden\u00fdch \u00f4smimi izolovan\u00fdmi k\u013e\u00fa\u010dov\u00fdmi seedmi (8-seed isolation) s lok\u00e1lnou evol\u00faciou k\u013e\u00fa\u010da prostredn\u00edctvom re\u0165azca s priamou v\u00e4zbou (ChainHash). Na prvej \u00farovni vykon\u00e1va bariera hodnotenia (Rank Barrier) k\u013e\u00fa\u010dov\u00fa kombinatorick\u00fa permut\u00e1ciu ka\u017ed\u00e9ho 48-bitov\u00e9ho bloku (alebo 168-bitov\u00e9ho bloku pre 512-bitov\u00e9 primit\u00edvy), rozde\u013euj\u00fac bity otvoren\u00e9ho textu do troch nez\u00e1visl\u00fdch oblast\u00ed na z\u00e1klade dvojf\u00e1zov\u00e9ho h\u013eadania kombin\u00e1cie pod\u013ea jeho \u010d\u00edsla (priestor vyv\u00e1\u017een\u00fdch delenie C(48, 16) * C(32, 16) predstavuje pribli\u017ene 2^70.20, a v 168-bitovom re\u017eime C(168, 56) * C(112, 56) \u2014 pribli\u017ene 2^258.60). Na druhej \u00farovni zobrazuje pixelov\u00e1 bariera (Pixel Barrier) d\u00e1ta na mrie\u017eku 8-bytov\u00fdch prvkov (8 kan\u00e1lov po 7 bitov d\u00e1t a 1 bit pseudo-n\u00e1hodn\u00e9ho \u0161umu v ka\u017edom byte) s pixelov\u00fdm k\u013e\u00fa\u010dov\u00fdm 7-bitov\u00fdm cyklick\u00fdm posunom, maskovan\u00edm 7-bitov\u00fdch kan\u00e1lov a v\u00fdberom poz\u00edcie \u0161umov\u00e9ho bitu.<\/p>\n<p>Hlavn\u00e9 vlastnosti projektu:<\/p>\n<ul>\n<li class=\"l\"> Experiment\u00e1lna overenie izoluj\u00facich vlastnost\u00ed na predpokladan\u00fdch nekryptografick\u00fdch funkci\u00e1ch (stress-test so slab\u00fdmi primit\u00edvami). V r\u00e1mci repozit\u00e1ra je zahrnut\u00e1 laborat\u00f3rna stanica, ktor\u00e1 vklad\u00e1 do bari\u00e9ry be\u017en\u00fa hash funkciu FNV-1a. V\u010faka neline\u00e1rnemu kombinatorick\u00e9mu rozran\u017eovaniu, rozde\u013eovaniu bytov na hraniciach 7-bitov\u00fdch kan\u00e1lov (HNS(7, 8) = 1) a injekci\u00ed \u0161umov\u00fdch bitov do ka\u017ed\u00e9ho bytu je praktick\u00e9 sp\u00e4tn\u00e9 volanie alebo vytvorenie rie\u0161ite\u013enej SAT\/SMT modelu pod\u013ea otvoren\u00e9ho a \u0161ifrovan\u00e9ho textu blokovan\u00e9 u\u017e na f\u00e1ze formulovania syst\u00e9mu rovn\u00edc.\n<li class=\"l\"> Automatizovan\u00e1 form\u00e1lna verifik\u00e1cia v jazyku Lean 4. V\u0161etky 12 z\u00e1kladn\u00fdch matematick\u00fdch, kombinatorick\u00fdch a bitov\u00fdch te\u00f3ri\u00ed kon\u0161trukcie (ako aj aplika\u010dn\u00fd sch\u00e9ma hybridn\u00e9ho s\u00fahlasu k\u013e\u00fa\u010dov 3-to-8 z troch nez\u00e1visl\u00fdch KEM kan\u00e1lov v APPS.md), op\u00edsan\u00e9 v dokumente PROOFS.md, s\u00fa \u00faplne dok\u00e1zan\u00e9 v Lean 4 bez pou\u017eitia axi\u00f3m a vynechania d\u00f4kazov.\n<li class=\"l\"> Zabudovan\u00fd n\u00e1stroj na kryptoanalyz\u00e1torsk\u00e9 testovanie, vr\u00e1tane automatizovan\u00fdch kontrol: \u0161tatistick\u00e9 bat\u00e9rie testov, hodnotenie algebre stup\u0148a a nelinearity, overenie izol\u00e1cie seedov pri filtr\u00e1cii poz\u00edci\u00ed \u0161umu cez CCA-orakel a vyh\u013ead\u00e1vanie zranite\u013enost\u00ed pomocou extern\u00fdch rie\u0161ite\u013eov.\n<li class=\"l\"> Dva re\u017eimy prev\u00e1dzky: \u0161tandardn\u00fd autentifika\u010dn\u00fd re\u017eim (AEAD pod\u013ea sch\u00e9my MAC-Inside-Encrypt, kde sa imita\u010dn\u00e1 vlo\u017eka po\u010d\u00edta a \u0161ifruje vn\u00fatri kontajnera) a re\u017eim pravdepodobn\u00e9ho popretia (Plausible Deniability) na z\u00e1klade bezpodmiene\u010dn\u00e9ho k\u00f3dovania COBS, pri ktorom de\u0161ifrovanie \u013eubovo\u013en\u00fdm nespr\u00e1vnym k\u013e\u00fa\u010dom vyd\u00e1va syntakticky spr\u00e1vne d\u00e1ta bez indik\u00e1tora chyby.\n<li class=\"l\"> V spojen\u00ed s r\u00fdchlymi modern\u00fdmi PRF (AES, BLAKE2\/3, Areion) je kon\u0161trukcia vhodn\u00e1 na zabezpe\u010den\u00fa v\u00fdmenu spr\u00e1v, ukladanie s\u00faborov a sie\u0165ov\u00e9 <a class=\"wpil_keyword_link\" href=\"https:\/\/prohoster.info\/sk\/vpn\/\"   title=\"VPN\" data-wpil-keyword-link=\"linked\">VPN<\/a>-tunely (pri skupinovom paketovom poraden\u00ed s\u00fa n\u00e1klady na form\u00e1t pribli\u017ene 15%). Na ochranu pred \u00fatokmi prostredn\u00edctvom stranov\u00fdch kan\u00e1lov sa jadro vykon\u00e1va po\u010das kon\u0161tantn\u00e9ho \u010dasu (constant-time) s \u00fapln\u00fdm n\u00faten\u00fdm vy\u010disten\u00edm z\u00e1sobn\u00edkov\u00fdch r\u00e1mcov a procesorov\u00fdch registrov (GPR, XMM\/YMM\/ZMM, NEON) po volaniach.\n<li class=\"l\"> Pre architekt\u00faru x86_64 s\u00fa implementovan\u00e9 assemblerov\u00e9 jadr\u00e1 pomocou in\u0161trukci\u00ed BMI2 (PEXT\/PDEP), AES-NI, VAES, AVX2 a AVX-512, a pre ARM64 (Aarch64) \u2014 na z\u00e1klade roz\u0161\u00edren\u00ed NEON, Crypto Extensions a SVE2 (s prenosite\u013en\u00fdm n\u00e1vratom na \u010dist\u00fd Go). Nad jedn\u00fdm C ABI (libitb3) s\u00fa pripraven\u00e9 obaly pre 33 programovac\u00edch jazykov.\n<\/ul>\n<p>Zdroj: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/www.opennet.ru\/opennews\/art.shtml?num=66610\">opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0435\u043a\u0442 ITB, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0445 \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 (PRF) \u0438 \u0445\u044d\u0448-\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (AES, BLAKE2\/3, Areion \u0438 \u0434\u0440\u0443\u0433\u0438\u0445) \u0432 \u0441\u0446\u0435\u043f\u043b\u0435\u043d\u043d\u044b\u0439 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043d\u044b\u0439 \u0438 \u0442\u043e\u043f\u043e\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0431\u0430\u0440\u044c\u0435\u0440. \u0412 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0431\u043b\u043e\u0447\u043d\u044b\u0445 \u0438 \u043f\u043e\u0442\u043e\u043a\u043e\u0432\u044b\u0445 \u0440\u0435\u0436\u0438\u043c\u043e\u0432 \u0448\u0438\u0444\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0430\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 ITB \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u0430 \u043d\u0430 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u0443\u044e \u0438\u0437\u043e\u043b\u044f\u0446\u0438\u044e \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0433\u043e \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u0430, \u043f\u0440\u0435\u043f\u044f\u0442\u0441\u0442\u0432\u0443\u044f \u0440\u0430\u0441\u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0435\u043d\u0438\u044e \u0434\u0438\u0444\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0445 \u0438 \u043b\u0438\u043d\u0435\u0439\u043d\u044b\u0445 \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043a, \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u0438\u043d\u0435\u0430\u0440\u0438\u0437\u0430\u0446\u0438\u0438, \u0430 \u0442\u0430\u043a\u0436\u0435 \u043f\u0440\u044f\u043c\u044b\u0445 [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":10,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-184113","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.5 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0435\u043a\u0442 ITB, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0445 \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 (PRF) \u0438 \u0445\u044d\u0448-\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (AES, BLAKE2\/3, Areion \u0438 \u0434\u0440\u0443\u0433\u0438\u0445) \u0432 \u0441\u0446\u0435\u043f\u043b\u0435\u043d\u043d\u044b\u0439.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Alexander Kovalev\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/sk\/blog\/news\/itb-cryptographic-isolator-with-formally-proven-reliability\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.5\" \/>\n\t\t<meta property=\"og:locale\" content=\"sk_SK\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440 ITB \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e\u043c \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438 | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0435\u043a\u0442 ITB, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0445 \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 (PRF) \u0438 \u0445\u044d\u0448-\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (AES, BLAKE2\/3, Areion \u0438 \u0434\u0440\u0443\u0433\u0438\u0445) \u0432 \u0441\u0446\u0435\u043f\u043b\u0435\u043d\u043d\u044b\u0439.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/sk\/blog\/news\/itb-cryptographic-isolator-with-formally-proven-reliability\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2026-11-03T21:41:02+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2026-11-03T21:41:07+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Kryptografick\u00fd izol\u00e1tor ITB s form\u00e1lnym d\u00f4kazom spo\u013eahlivosti | ProHoster","description":"Bol predstaven\u00fd projekt ITB, rozv\u00edjaj\u00faci symetrick\u00fd kryptografick\u00fd izol\u00e1tor ur\u010den\u00fd na obalenie \u0161tandardn\u00fdch pseudon\u00e1hodn\u00fdch funkci\u00ed (PRF) a hash primit\u00edv (AES, BLAKE2\/3, Areion a in\u00e9) v re\u0165azci.","canonical_url":"https:\/\/prohoster.info\/sk\/blog\/news\/itb-cryptographic-isolator-with-formally-proven-reliability","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sk_SK","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u041a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440 ITB \u0441 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u044b\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e\u043c \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438 | ProHoster","og:description":"\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d \u043f\u0440\u043e\u0435\u043a\u0442 ITB, \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u044e\u0449\u0438\u0439 \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043e\u043b\u044f\u0442\u043e\u0440, \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u043d\u044b\u0439 \u0434\u043b\u044f \u043e\u0431\u0451\u0440\u0442\u044b\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u044b\u0445 \u043f\u0441\u0435\u0432\u0434\u043e\u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 (PRF) \u0438 \u0445\u044d\u0448-\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043e\u0432 (AES, BLAKE2\/3, Areion \u0438 \u0434\u0440\u0443\u0433\u0438\u0445) \u0432 \u0441\u0446\u0435\u043f\u043b\u0435\u043d\u043d\u044b\u0439.","og:url":"https:\/\/prohoster.info\/sk\/blog\/news\/itb-cryptographic-isolator-with-formally-proven-reliability","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2026-11-03T21:41:02+00:00","article:modified_time":"2026-11-03T21:41:07+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/184113","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/comments?post=184113"}],"version-history":[{"count":1,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/184113\/revisions"}],"predecessor-version":[{"id":184114,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/184113\/revisions\/184114"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/media?parent=184113"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/categories?post=184113"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/tags?post=184113"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}