Hvorfor insisterer hoteller på å holde oss i mørket? Jo finere hotellet er, desto mørkere rommene. Hvorfor? Vi sliter nok med de inntredde lakenene.

Kvantetrussel: Hvilken kryptografi dør og hvilken lever? (Eller: Hvorfor er ZK-STARK-er PQ-sikre?) Tidligere forklarte jeg hvordan en kvantedatamaskin fungerer: Tenk på problemløsning som å prøve å rømme fra en labyrint. Det finnes mange mulige veier, og du må sjekke hver eneste til du finner utgangen. Slik fungerer en klassisk (ikke-kvantemekanisk) datamaskin. Men kvantemekanikkens lover gjør det mulig å gjøre det bedre. De lar et system (en haug med partikler) utforske parallelle *alle* forskjellige stier i labyrinten. Stiene som fører til en utgang forblir levedyktige, mens de som leder til en blindvei forsvinner. Deretter velger universet tilfeldig en av de gjenværende levedyktige veiene (dette er delen Einstein ikke likte, og sier «Gud spiller ikke terning», bare at han faktisk gjør det). Slik løser en kvalitetskontroll problemer som en klassisk datamaskin ville tatt millioner av år å løse. Men det finnes typer kryptografiske primitiver som kan brytes av en kvantedatamaskin, og de som forblir trygge. Hvordan er dette mulig? I min forrige forklaring utelot jeg en viktig del: Ikke alle labyrinter er like. Det finnes noen labyrinter hvor blindveiene forsvinner, og universet har bare en god vei som fører til en utgang. Jeg kaller disse «kvante-enkle labyrinter» fordi når universet prøver en vei for en slik labyrint, vil det alltid være en vei som leder til en utgang. Lett å nå enden av labyrinten betyr lett å bryte. Men i «kvanteharde labyrinter» forblir alle stier «levende», enten de når en blindvei eller en utgang. For en slik labyrint er en kvantedatamaskin ikke bedre enn en klassisk datamaskin. Når Gud kaster terningen og velger en vei, er alle veier – gode og dårlige – like sannsynlige til å dukke opp. Så en kvantedatamaskin gjør analogien til en klassisk datamaskin, og sjekker tilfeldig en enkelt sti i labyrinten. Nå spør du sikkert: Hvilke labyrinter er kvante-enkle og hvilke er det ikke? Vi er ikke sikre, men vi vet heller ikke at en klassisk datamaskin ikke kan, ved en eller annen magisk handling, løse alle labyrinter. Dette er det vi matematikere kaller det berømte «P vs. NP»-problemet, og dette åpne spørsmålet i tilfellet kvantedatamaskiner er det mindre kjente søsterproblemet kjent som «P vs. QP». Selv om vi ikke er sikre, kjenner vi til en veldig stor og interessant klasse av labyrinter som er enkle for kvantedatamaskiner å løse, men ikke for klassiske datamaskiner. Det mest kjente eksempelet på faktorisering av heltall: De forskjellige stiene i labyrinten tilsvarer forskjellige tall, og en utgang tilsvarer divisorer av et gitt tall. For eksempel har labyrinten som tilsvarer tallet 20 følgende utganger: 2, 4, 5, 10 fordi hvert av disse tallene, og bare disse tallene, deler 20 perfekt. Faktorisering er ganske vanskelig for en klassisk datamaskin fordi hvis et tall har 100 sifre, finnes det 10 milliarder forskjellige mulige veier (mulige divisorer). Så det er ganske viktig at en kvantedatamaskin effektivt kan finne de riktige divisorene. Factoring er også et problem som brukes til å konstruere mye kryptografi i dag, som Diffie-Hellman-håndtrykk (brukt for å sette opp sikre handelskanaler på internett), RSA (brukt mange steder) og elliptisk kurvekryptografi, brukt til å signere Bitcoin-transaksjoner og også til å konstruere ZK SNARK-er som brukes på ulike steder (som Zcash). [For dere matematikere: Klassen av labyrinter som er kvante-lette, er de som krever å finne antall gruppeoperasjoner som trengs for å nå et bestemt element i en abelsk gruppe.] Heldigvis er det ganske mange labyrinter som ikke er av denne typen og brukes i kryptografi. For eksempel er det å finne en kollisjon i nesten hvilken som helst hashfunksjon – SHA2, SHA3, Blake, Poseidon og flere – en kvante-hard labyrint. Som bringer oss til ZK-STARKs. Deres sikkerhet avhenger kun av sikkerheten til en hash-funksjon. Enhver kollisjonsresistent hash-funksjon fungerer. Siden de fleste kjente hashfunksjoner er kvantesikre, får du at ZK-STARK-er også er post-kvantesikre. Nyt resten av dagen og hold deg på STARK-siden.

Noen få Starknet-måleparametere: 1. Stablecoins på Starknet – opp.