Rozlíšiteľnosť obfuskácie bola niečo, čo vedci donedávna považovali za neuskutočniteľné. O tomto koncepte sme vedeli od roku 1996, ale až v roku 2001 ho navrhol Boaz Barak z Harvardovej univerzity a dokázal, že existuje. Ale až v roku 2020 sa objavil takýto návrh, ktorý by mohol fungovať. Poďme sa naň pozrieť.
Čo je obfuskácia?
Je to bezpečnostná funkcia, ktorá vám pomôže skryť vaše údaje a to, čo robíte, pred očami tých, ktorí by vám chceli v tejto súvislosti ublížiť. Obfuskátory veľmi často používajú programátori, ktorí svoj výsledný kód "zmrzačia" tak, aby nebol čitateľný ľudským okom. Napríklad premenovanie tried na reťazec čínskych znakov - jednoduché pre počítač, ale ťažké pre človeka prečítať kód. Dlhé roky sa predpokladalo, že dokonalá obfuskácia je nedosiahnuteľný cieľ a niečo, čo pravdepodobne nikdy nedosiahneme.
Čo je nerozlíšiteľnosť obfuscation?
Tu sa konečne dostávame ku kryptografii. Definičnou vlastnosťou tejto softvérovej obfuskácie je, že obfuskáciou ľubovoľných dvoch programov, ktoré počítajú rovnakú matematickú funkciu, vzniknú programy, ktoré sa od seba nedajú rozlíšiť. Ide o koncept, ktorý dlho unikal implementácii do takej miery, že ho mnohí ľudia považovali za nerealizovateľný, a to najmä kvôli jeho teoretickým vlastnostiam, kde iO je "najlepšia možná" obfuskacia, čo znamená, že čokoľvek, čo sa dá vôbec skryť nejakou obfuskaciou, sa dá skryť pomocou iO, a kde sa iO dá použiť na konštrukciu takmer celého spektra kryptografických primitív.
Návrhy však neboli bezpečné, a preto neboli vhodné na daný účel. Konštrukciu iO s preukázateľnou bezpečnosťou navrhli Garg a kol. v roku 2013, ale predpoklad bol neskôr zneplatnený. Táto konštrukcia bola založená na multilineárnych mapách. Potom v roku 2016 začali Jain, Lin a Sahai konštruovať iO na rovnakom princípe. Spočiatku to boli multilineárne mapy do stupňa 30 a postupne sa stupne znižovali na stupeň 3. Aj to však bolo veľa na bezpečné iO. Nakoniec sa pristúpilo ku kompromisu a vznikol akýsi stupeň 2,5, kde nie je pokryté všetko.
Tip: Digitálnu identitu už pravdepodobne máte, ale ako sa bude vyvíjať?
Záver
Od praktickej realizácie sme ešte dosť ďaleko, ale je celkom možné, že o niekoľko rokov sa stane bežným študijným materiálom v kryptografii.
Zdroj: quantamagazine.org