STARKs vs. SNARKs og Quantum Threat Berømt er det at STARK-er er post-kvantesikre, men SNARK-er brytes av kvantedatamaskiner. Hvorfor? Jeg sikter her til de elliptiske kurve-SNARK-ene, de typene de fleste av dere kjenner til (som Groth16). En SNARK bruker en "bevisnøkkel"-hemmelighet for å la beviseren svare på et bestemt spørsmål. Måten hemmeligheten skapes på er ved å gjenta en bestemt matematisk operasjon mange ganger. En god analogi er at du starter med en Rubiks kube og gjør en bestemt operasjon (for eksempel vrir på den ene siden + roterer kuben i hånden). Så gjentar du det mange ganger, en million milliarder milliarder mange ganger. Det nøyaktige antallet ganger du gjør disse operasjonene – det er hemmeligheten. Deretter presenterer du den ødelagte Rubiks kuben for hele verden å se på. Nå, hvis du kunne se på kuben og svare på hvor mange ganger operasjonen ble utført for å nå denne nåværende tilstanden, bryter du SNARK. En måte å gjøre det på er å ta en Rubiks kube og begynne å eksperimentere med den, og telle hvor mange ganger du gjør operasjonen før du når konfigurasjonen som er offentlig publisert. Men det tar mye tid (en million milliarder billioner skritt). Aha, men en kvantedatamaskin er en veldig smart datamaskin som kan se på kuben og spytte ut tallet: for eksempel 112 302 305 166 ganger. Og med dette svaret er SNARK ødelagt. OK, hva med en STARK? I dette tilfellet, for å bryte en STARK må du "bryte en hash". En hash fungerer omtrent slik: Du tar en Rubiks kube, gjør en av disse operasjonene. Så skriver du mønsteret på papir, bretter det sammen, klipper det opp, permuterer rutene på en sprø måte, og legger dem på en ny Rubiks kube. Deretter gjør du en ny operasjon på Rubiks kube, og går så videre til papiret. Og så videre og så videre. Det viktige poenget er dette: I stedet for å gjøre bare én type operasjon (matematisk en "gruppeoperasjon") i tilfellet SNARK, blander du med en STARK et stort antall svært forskjellige operasjoner som mangler sammenheng og struktur. Og denne blandingen, av mange ting, er det som forvirrer datamaskiner, både klassiske og kvantemekaniske, og redder dagen. SLUTTEN.