Když nevědět je vlastně výhoda
Matematici už skoro sto let vědí, že matematika má své hranice. Existují pravdy, které se nedají dokázat. A otázky, na které matematika nikdy nedá jistou odpověď. Dlouho to znělo jako selhání systému.
Pak přišel nápad: a co když to nevědomí obrátíme v náš prospěch?
Právě to se stalo, když se kryptoanalytici začali ptát, jak dokázat, že něco víme, aniž bychom to prozradili. A tahle myšlenka už mění, jak chráníme data online.
Tři barvy, které všechno změnily
Představ si, že umíš vybarvit složitou mapu jen třemi barvami. A žádné dvě sousední oblasti nemají stejnou barvu. Je to těžké, ale zvládl jsi to.
Teď chceš někomu dokázat, že to umíš. Jenže mu své řešení ukázat nechceš. Buď je to cenné, nebo mu prostě nevěříš.
Dlouho se zdálo, že to nejde. Buď řešení ukážeš, nebo ne.
Důkaz, který nic neprozradí
V roce 1985 tři vědci přišli s nápadem: udělat z dokazování hru.
Schováš své vybarvení. Kamarád ukáže na náhodnou hranici a řekne: „Ukaž tyhle dvě oblasti.“ Podíváte se, jestli mají jinou barvu. Pak všechno zase zakryješ a barvy tajně zamícháš.
Hrajete tak stokrát. Pokud lžeš, má kamarád šanci tě chytit. Pokud ne, začne ti věřit. A přitom nikdy nevidí celé řešení.
Takhle fungují takzvané zero-knowledge důkazy. Dokážeš něco, aniž bys prozradil, jak to udělal.
Problém s neinteraktivními důkazy
Dlouho všichni věřili, že takové důkazy musí být interaktivní. Jenom hra mezi dvěma lidmi. Když bychom jen odevzdali papír, hrozilo, že by se z něj dalo něco vyčíst.
V roce 1994 matematici dokázali, že to tak opravdu je. Nešlo vytvořit zero-knowledge důkaz, which nicht interaktivní.
Nečekaný spoj
Pak přišel Rahul Ilango. Přesně ve spojení s Gödelovými větami o neúplnosti matematiky.
Gödel v roce 1931 dokázal, že v každé matematické systému jsou pravdy, které se nedajou dokázat uvnitř toho systému. Matematika prostě nemá všechny klíče.
Ilangův nápad byl geniální: využít tyto matematické limity jako základ pro zero-knowledge důkazy. Secrecy není jen výsledkem složitosti. Secrecy přichází z hloubky matematiky samotné.
Amit Sahai, významný kryptoanalytici, se při č
<|eos|>