Als je niets weet, maar toch overtuigt
Wist je dat wiskunde al bijna een eeuw weet dat ze haar eigen grenzen heeft? Er bestaan waarheden die nooit bewezen kunnen worden. Vragen waar wiskunde geen definitief antwoord op geeft. Lange tijd zag iedereen dat als een zwakte. Iets wat het systeem brak.
Maar wat als je die limiet juist gebruikt om iets te bewijzen zonder iets prijs te geven?
Dat idee ligt ten grondslag aan zero-knowledge proofs. Een techniek die online geheimen beter beschermt dan veel mensen beseffen.
Het drie-kleurenspel dat alles veranderde
Stel je voor dat je een ingewikkelde landkaart hebt ingekleurd met slechts drie kleuren. Geen twee aangrenzende gebieden hebben dezelfde tint. Je hebt het opgelost.
Maar je wilt bewijzen dat je het kunt, zonder je oplossing te laten zien. Waarom? Omdat die oplossing waardevol is. Of omdat je niemand vertrouwt.
Jarenlang dachten mensen dat dat onmogelijk was. Je toonde je werk, of je toonde niets.
De truc achter zero-knowledge proofs
In 1985 bedachten drie wiskundigen een slimme aanpak. Ze maakten van bewijs een soort spel.
Jij kleurt de kaart in het geheim. Je bedekt alles. Een controleur wijst een grens aan. Jij toont alleen die twee gebieden. De controleur ziet dat ze verschillende kleuren hebben. Je bedekt ze weer en verandert alles van positie.
Je herhaalt dit proces honderd keer. Elke keer toont je een paar aangrenzende gebieden. Elke keer ziet de controleur dat de kleuren verschillen. Maar nooit krijgt hij het hele plaatje te zien.
Als je dit telkens weer doet, overtuig je hem dat je een oplossing hebt. Hij krijgt geen informatie. Hij krijgt alleen bewijs.
Een oude twijfel
Voorlopers van zero-knowledge proofs waren altijd afhankelijk van interactie. Jemand moest telkens vragen stellen. Als een dokumen