När det okända faktiskt ger makt
Matte har gränser. Det visste matematiker redan för nästan hundra år sedan. Vissa saker stämmer, men kan aldrig bevisas. Andra frågor går helt enkelt inte att svara på säkert.
Det lät länge som dåliga nyheter. Men någon vände på tanken. Vad om man kunde använda det som inte går att veta?
Det blev starten för en ny sorts kryptografi. Istället för att visa vad man vet, visar man bara att man vet det. Utan att avslöja något mer.
Den svåra färgningen
Tänk dig ett komplicerat pussel. Du ska färglägga en karta med tre färger. Inga grannregioner får ha samma färg. Det är svårt att göra. Men du har löst det.
Nu vill du övertyga någon om att du har en lösning. Utan att visa hur den ser ut. Kanske för att den är värdefull. Kanske för att du inte litar på den andre.
Förut verkade det omöjligt. Antingen visade man sin lösning. Eller så visade man ingenting alls.
Så funkar ett nollkunskapsbevis
År 1985 hittade tre forskare en annan väg. De gjorde bevisandet till ett spel.
Du färglägger kartan i hemlighet. Du täcker över alla områden. Endast gränserna syns. Din vän pekar på en slumpmässig gräns och frågar om två områden. Du visar dem. De är olika färger. Du täcker över igen. Och byter ut färgerna.
Ni upprepar det många gånger. Varje gång kontrolleras en ny gräns. Om du fuskar kommer du förr eller senare att åka fast. Men om du klarar alla tester övertygar du din vän. Utan att någonsin visa lösningen.
Det är poängen. Du bevisar att du vet något. Men du lämnar ingen information efter dig.
Varför det var svårt att göra utan samspel
Tanken var länge att ett sådant bevis måste vara interaktivt. Om du skickade en enda dokumentation, skulle den andra kunna läsa och ta reda på allt. Om det var暗加密, kunde de inte kontrollera att det var rätt.
Forskare visade 1994 att den intuitionen var korrekt. Ett helt icke-interaktivt nollkunskapsbevis verkade omöjligt att skapa.
Den oväntade kopplingen
En doktorand vid namn Rahul Ilango såg en ny väg. Han kopplade frågan till Gödels ofullständighetssatser från 1931. De handlar om att matematik alltid har sanna påståenden som inte kan bevisas inom systemet.
Ilango frågade sig: vad om vi bygger nollkunskapsbevis på just de gränserna? Inte på svårighet att beräkna. Utan på själva strukturen av matematik.
Det var en ny tanke. Och den fungerade. Amit Sahai, en ledande forskare, blev förvånad när han läste Ilangos arbete. Men det var korrekt.
Varför det spelar roll
Zero-knowledge-bevis används redan på flera områden. På blockchain kan man kontrollera en transaktion utan att se hur stor den är. I autentisering kan man visa att man har en lösenord utan att sända det. I AI kan man bevisa att en algoritm är korrekt, utan att visa all data.
Om sådana bevis blir enklare och effektivare öppnar det nya möjligheter. Vi kan visa att vi är trustworthy utan att avslöja mer än nödvändigt.
En oväntad bro mellan områden
Det intressanta är hur två helt olika områden plötsligt hänger ihop. Gödels tanke om matematikens gränser. Och kryptografins behov av att skydda information. De var alltid tätt förbundna. Men det behövde någon med rätt insikt för att se det.
Ibland kommer de bästa lösningarna från helt andra håll. Och ibland är det okända inte ett fel. Utan en tillgång.