STARKs vs. SNARKs en de Quantum Bedreiging Beroemd zijn STARKs post-quantum veilig, maar SNARKs worden gebroken door quantumcomputers. Waarom? Ik heb het hier over de elliptische kromme SNARKs, de soorten waar de meesten van jullie bekend mee zijn (zoals Groth16). Een SNARK gebruikt een "bewijssleutel" geheim om de bewijzer in staat te stellen een bepaalde vraag te beantwoorden. De manier waarop het geheim wordt gecreëerd, is door een bepaalde wiskundige bewerking vele malen te herhalen. Een goede analogie is dat je begint met een Rubik's kubus en een bepaalde bewerking uitvoert (zeg, een kant draaien + de kubus in je hand draaien). Dan herhaal je het vele malen, een miljoen miljard gazillion keer. Het exacte aantal keren dat je die bewerkingen doet - dat is het geheim. Dan presenteer je de verknipte Rubik's kubus voor de hele wereld om te bekijken. Nu, als je naar de kubus zou kunnen kijken en kunt antwoorden hoe vaak de bewerking is uitgevoerd om deze huidige staat te bereiken, breek je de SNARK. Een manier om dit te doen is om een Rubik's kubus te nemen en ermee te gaan rommelen, tellen hoe vaak je de bewerking doet totdat je de configuratie bereikt die openbaar is gepost. Maar dat kost veel tijd (een miljoen miljard gazillion stappen). Aha, maar een quantumcomputer is deze echt slimme computer die naar de kubus kan kijken en het nummer kan uitspugen: 112.302.305.166 keer bijvoorbeeld. En met dit antwoord is de SNARK gebroken. OK, wat is er met een STARK? In dit geval, om een STARK te breken, moet je een "hash breken". Een hash werkt ongeveer zo: Je neemt een Rubik's kubus, doet een van die bewerkingen. Dan schrijf je het patroon op een papier, vouw het op, snijd het in stukken, permuteer de vierkanten op een gekke manier, en post ze op een nieuwe Rubik's kubus. Dan doe je nog een bewerking op de Rubik's kubus, en dan weer naar het papier. En zo verder. Het belangrijke punt is dit: In plaats van slechts één soort bewerking (wiskundig, een "groepbewerking") te doen in het geval van een SNARK, meng je met een STARK een groot aantal zeer verschillende bewerkingen, die geen verbinding en structuur hebben. En deze mix van veel dingen is wat computers, zowel klassiek als quantum, in de war brengt en de dag redt. EINDE.