Obfuskace nerozlišitelnosti byla něco, co vědci donedávna považovali za neproveditelné. O tomto konceptu víme od roku 1996, ale teprve v roce 2001 jej navrhl Boaz Barak z Harvardovy univerzity a dokázal, že existuje. Ale teprve v roce 2020 se objevil takový návrh, který by mohl fungovat. Pojďme se na něj podívat.
Co je obfuskace?
Jedná se o bezpečnostní funkci, která vám pomůže skrýt vaše data a to, co děláte, před zraky těch, kteří by vám v tomto ohledu chtěli ublížit. Velmi často obfuskátory používají programátoři, kteří svůj výsledný kód "zmrzačí" tak, aby nebyl čitelný lidským okem. Například přejmenování tříd na řetězec čínských znaků - snadné pro počítač, ale obtížné pro člověka kód přečíst. Dlouhá léta se mělo za to, že dokonalá obfuskace je nedosažitelný cíl a něco, čeho pravděpodobně nikdy nedosáhneme.
Co je obfuskace nerozlišitelnosti?
Zde se konečně dostáváme ke kryptografii. Definiční vlastností této softwarové obfuskace je, že obfuskací jakýchkoli dvou programů, které počítají stejnou matematickou funkci, vzniknou programy, které jsou od sebe nerozeznatelné. To je koncept, který dlouho unikal implementaci do té míry, že jej mnoho lidí považovalo za neproveditelný, a to především kvůli jeho teoretickým vlastnostem, kdy iO je "nejlepší možná" obfuskace, což znamená, že cokoli, co lze vůbec skrýt nějakou obfuskací, lze skrýt iO, a kdy iO lze použít ke konstrukci téměř celé škály kryptografických primitiv.
Tyto návrhy však nebyly bezpečné, a proto nebyly vhodné pro daný účel. Konstrukci iO s prokazatelnou bezpečností navrhl v roce 2013 Garg a kol. ale předpoklad byl později zneplatněn. Tato konstrukce byla založena na multilineárních mapách. V roce 2016 pak Jain, Lin a Sahai začali konstruovat iO na stejném principu. Zpočátku se jednalo o multilineární mapy do stupně 30 a postupně byly stupně sníženy na stupeň 3. I to však bylo pro bezpečné iO hodně. Nakonec se přistoupilo ke kompromisu a vznikl jakýsi stupeň 2,5, kde není pokryto vše.
Tip: Digitální identitu už pravděpodobně máte, ale jak se bude vyvíjet?
Závěr
K praktickému využití máme ještě poměrně daleko, ale je docela dobře možné, že za několik let bude běžným studijním materiálem v kryptografii.
Zdroj: quantamagazine.org