Când necunoscutul devine un avantaj
Matematica are limite. Și asta se știe de aproape o sută de ani. Există afirmații adevărate pe care nu le putem demonstra. Întrebări la care matematica nu poate răspunde cu certitudine. Multă vreme, ideea asta a sunat ca o slăbiciune a sistemului.
Până când cineva s-a întrebat: ce-ar fi să folosim tocmai necunoscutul ca să protejăm informații?
Așa a apărut o tehnică modernă care schimbă felul în care ascundem date online. Se numește dovada cu cunoaștere zero. Și funcționează surprinzător de simplu.
Problema hărții cu trei culori
Imagini-ți că ai de colorat o hartă complicată cu doar trei culori. Trebuie să te asiguri că nicio regiune vecină nu are aceeași culoare. E greu, dar reușești.
Acum vrei să convingi pe cineva că ai rezolvat problema. Fără să arăți cum. Poate pentru că soluția e valoroasă. Poate pentru că nu ai încredere în celălalt. Sau pur și simplu pentru că vrei să păstrezi secretul.
Ani de zile, oamenii au crezut că e imposibil. Ori arăți tot, ori nu arăți nimic.
Cum funcționează dovada cu cunoaștere zero
În 1985, trei cercetători au găsit o modalitate ingenioasă. Au transformat verificarea într-un joc repetat.
Tu colorezi harta în secret. Apoi acoperi toate regiunile, lăsând doar granițele vizibile. Prietenul tău alege o graniță la întâmplare și te întreabă ce culori ai folosit acolo. Tu descoperi doar acea regiune. Verifică: sunt două culori diferite? Da.
Acum re-acoperi regiunile și amesteci culorile în secret. Jocul se repetă. De zeci de ori.
Dacă nu ai o soluție corectă, probabilitatea să fii prins tot crește. Dacă treci de toate verificările, el ajunge la concluzie: ai rezolvat problema. Fără să vadă niciodată soluția completă.
O limită veche
Ani de zile, oamenii au crezut că acest tip de dovadă trebuie să fie interactiv. Dacă ai trimite doar un fișier, cineva ar putea citi tot și să extragă informații. Dacă ai cripta fișierul, n-ar putea verifica dacă e corect.
În 1994, cercetătorii au arătat că această limită pare reală.
O legătură neașteptată
Un student la doctorat pe nume Rahul Ilango a adus o idee nouă. El a legat problema asta de teoremele de nedemonstrabilitate ale matematicianului Gödel din 1931.
Gödel arătase că în orice sistem matematic există afirmații adevărate care nu pot fi demonstrate. O limită fundamentală a matematicei.
Ilango folosește tocmai aceste limite ca fundament pentru noile tipuri de dovadă. Secretele nu mai provin din dificultate matematică greu de rupt — ele provin din structura matematicii în sine.
Unde se aplică
Dovedirea cu zero-knowledge e deja folosită în mai multe locuri:
- Pe blockchain, pentru a verifica tranzacții fără să arăți identități sau valori
- Pentru autentificare, când vrei să spui că știi o parolă, fără să trimiți parola propriu-zisă
- În inteligența artificială, pentru a arăta că un algoritm e corect, fără să afișezi datele
Dacă aceste dovezi pot fi făcute mai eficiente, ne deschidem posibilități noi pentru securitate și intimitate.
De ce e interesant tot acest lucru
Ilango a conectat două domenii care păreau separate: limitele matematicii și protecția secretelor. Gödel a vorat în 1931 despre imposibilitatea anumită. Cryptografia a fost gândită în 1985 pentru a ascunzi informații. Nu au fost legați de ani de zile.
Când se conectează, rezultatul e o tehnică nouă pentru a păstra secretele.
最