Kiedy niewiedza staje się atutem
Matematycy od dekad wiedzą, że matematyka ma swoje granice. Nie da się udowodnić każdej prawdy. Niektóre pytania po prostu nie mają odpowiedzi w ramach istniejących reguł. Dawniej patrzono na to jak na porażkę. Dziś ktoś postanowił wykorzystać tę lukę.
Trójkolorowa zagadka
Wyobraź sobie, że pokolorowałeś mapę trzema kolorami. Żadne dwa sąsiadujące ze sobą obszary nie mają tego samego koloru. Masz dowód, że to możliwe. Ale nie chcesz go pokazywać.
Przez lata wydawało się, że nie ma innego wyjścia. Albo pokazujesz, jak to zrobiłeś, albo nikt ci nie uwierzy. Środkowa droga nie istniała.
Dowód, którego nie widać
W 1985 roku trójka kryptografów pokazała, że można inaczej. Zamiast dawać gotowe rozwiązanie, postanowili zamienić dowodzenie w grę. Ty masz kolorowanie. Osoba sprawdzająca nie widzi go w całości. Co chwilę prosi, żebyś odkrył dwa sąsiednie pola. Sprawdza, czy kolory się różnią. Potem wszystko zakrywasz i mieszasz kolory.
Jeśli robisz to wiele razy, a sprawdzający za każdym razem trafia na różne kolory, w końcu nabiera przekonania. Nie zna twojego rozwiązania. Wie tylko, że musi ono istnieć.
Problem z dowodem na papierze
Przez lata uważano, że taki dowód musi być interaktywny. Jeśli ktoś dostanie dokument, może w nim znaleźć informacje. Jeśli go zaszyfrujesz, nie będzie w stanie nic sprawdzić.
W 1994 roku matematycy udowodnili, że tak właśnie działa. Nie da się zrobić dowodu typu „zero knowledge”, który nie wymagałby interakcji. Przynajmniej wtedy tak myślano.
Połączenie z teorią Gödla
Rahul Ilango zrobił coś innego. Połączył tę kwestię z twierdzeniem Gödla z 1931 roku. Gödel pokazał, że w każdej formalnej matematyce istnieją prawdy, które nie można udowodnić. Ilango postanowił wykorzystać tę niemożliwość jako fundament.
Zamiast polegać na trudnych obliczeniach, które można byłoby w końcu rozwiązać, Ilango oparł się na czymś, co z definicji nie da się poznać. Dowód nie jest „trudniejszy” — jest w ogóle niemożliwy do odczytania.
Amit Sahai, znany kryptograf, na początku nie wierzył. Ale dowód działał.
Po co nam to w praktyce
Zero-knowledge proofs już dziś pomagają w kilku obszarach. Na blockchainie można sprawdzić, czy transakcja jest ważna,而 nie ujawniać wartości ani osób. Podczas logowania można udowodnić, że się zna hasło, nie wysyłając go. W AI można weryfikować algorytmy bez pokazowania danych, which sieć weryfikuje.
Jeśli Ilango’s work suggestions make these proofs more efficient, we can open up new possibilities for keeping information secure while still proving we are trustworthy.
Co z tego wynika
Matematyka teoretyczna i praktyczna bezpieczeństwo spotkały się w punkcie, które nikt nie spodziewał się. Gödel pisał o granicach wiedzy. Kryptografowie w 1985 roku szukał sposobu na ukrywanie informacji. Ilango znalazł link między nimi.
Czasami największe odkrycia pojawiają się, gdy ktoś patrzy na rzecz z zupełnie innej perspektywy. Niewiedza nie musi być problem — może być podstawą nowej techniki.