Amenințarea Cuantică: Ce criptografie moare și care trăiește? (Sau: De ce ZK-STARK-urile sunt sigure pentru PQ?) Anterior, am explicat cum funcționează un computer cuantic: Gândește-te la rezolvarea problemelor ca la o încercare de a scăpa dintr-un labirint. Există multe căi posibile și trebuie să verifici fiecare până găsești ieșirea. Așa funcționează un calculator clasic (non-cuantic). Dar legile mecanicii cuantice permit să faci mai bine. Ele permit unui sistem (un grup de particule) să exploreze în paralel *toate* căile diferite din labirint. Căile care duc la o ieșire rămân viabile, în timp ce cele care duc la un impas dispar. Apoi, universul alege la întâmplare una dintre căile viabile rămase (aceasta este partea care nu-i plăcea lui Einstein, spunând "Dumnezeu nu joacă zaruri", doar el chiar o face). Așa rezolvă un control de calitate probleme care ar necesita milioane de ani pentru ca un calculator clasic să le rezolve. Dar există tipuri de primitive criptografice care pot fi sparse de un calculator cuantic și altele care rămân în siguranță. Cum este posibil așa ceva? În explicația mea anterioară am omis o parte crucială: Nu toate labirinturi sunt la fel. Există unele labirinturi în care căile fără ieșire dispar, lăsând universul doar cu o cale bună care duce la o ieșire. Le numesc "labirinturi cuantice ușoare" pentru că atunci când universul eșantionează o cale pentru un astfel de labirint, aceasta va fi întotdeauna o cale care duce la o ieșire. Ușor de ajuns la capătul labirintului înseamnă ușor de rupt. Totuși, în "labirinturi cuantice dificile" toate căile rămân "vii", fie că ajung la un impas sau la o ieșire. Pentru un astfel de labirint, un calculator cuantic nu este mai bun decât un calculator clasic. Când Dumnezeu aruncă un zar și alege o cale, toate căile – bune și rele – sunt la fel de probabil să apară. Astfel, un calculator cuantic face analogul unui calculator clasic, verificând aleatoriu o singură cale în labirint. Probabil că te întrebi: Care labirinturi sunt cuantic ușoare și care nu? ...