Når det vi ikke ved, faktisk giver styrke
De fleste tænker på matematik som noget, der kan bevise alt. Men for næsten hundrede år siden indså forskerne, at det ikke er tilfældet. Matematikken har grænser. Der er sande udsagn, der aldrig kan bevises inden for systemet.
Længe blev det set som et problem. Men så vendte nogle kryptografer tanken på hovedet. Hvad hvis man bruger de ting, vi ikke kan bevise, til at holde hemmeligheder?
Tre farver, som ingen må se
Forestil dig, at du har farvelagt et kompliceret landkort med kun tre farver. Ingen naboregioner har samme farve. Det er et svært puslespil, og du har løst det. Nu vil du bevise, at du har gjort det – uden at vise løsningen.
Tidligere troede man, at det var umuligt. Enten viser man sit arbejde, eller også gør man ikke.
En ny måde at bevise på
I 1985 fandt tre forskere en anden vej. De lavede en slags leg, hvor man gentagne gange viser små stykker af løsningen. Hver gang vælger den anden person en tilfældig grænse og ser, at farverne er forskellige. Du dækker hurtigt til igen og blander farverne. Efter mange runder er den anden overbevist – uden nogensinde at se den fulde løsning.
Det kaldes zero-knowledge proofs. Du beviser, at du ved noget, uden at give viden fra dig.
Gamle regler og nye tricks
I årevis troede man, at denne leg var nødvendig. Man kunne ikke lave et bevis uden at interagere. Men en ung forsker ved navn Rahul Ilango fandt en forbindelse til en helt anden del af matematikken – Gödels ufuldstændighedssætninger fra 1931.
Gödels idé var enkel. I ethvert matematisk system er der ting, man ikke kan bevise. Ilango brugte netop de grænser som grundlag for sine beviser. Hemmeligheden ligger ikke i sværhedsgraden, men i matematikkens grundlæggende struktur.
Det fik erfarne kryptografer til at spærre øjnene op. De troede ikke på det. Men det fungerede.
Hvor det bruges
Zero-knowledge proofs er allerede på vej ind i flere teknologier. De bruges til at:
- Bekræfte transaktioner på blockchain uden at vise beløb eller afsender
- Vise, at man kender en adgangskode, uden at sende den
- Lade kunstig intelligens arbejde uden at afsløre de data, den bruger
Hvis metoden bliver hurtigere og lettere, åbner det nye muligheder for sikkerhed på internettet.
Forbindelser på tværs af tid
Det mest spændende er, hvordan to gamle resultater mødes. Gödels filosofiske tanker fra 1931 og kryptografiens hemmelighedslege fra 1985. Ingen tænkte på dem sammen – indtil Ilango gjorde det.
Det viser, at store gennembrud ofte kommer, når man ser sammenhænge, ingen andre ser. Og at det, vi ikke kan vide, nogle gange er nøglen til at holde tingene private.