STARK-uri vs. SNARK-uri și amenințarea cuantică Faimos este că STARK-urile sunt post-cuantice sigure, dar SNARK-urile sunt scăpate de calculatoarele cuantice. De ce? Mă refer aici la SNARK-urile cu curbe eliptice, de tipul cu care majoritatea dintre voi sunteți familiarizați (precum Groth16). Un SNARK folosește un secret de "cheie de demonstrare" pentru a permite demonstratorului să răspundă la o anumită întrebare. Modul în care secretul este creat este repetând de mai multe ori o anumită operație matematică. O analogie bună este să începi cu un cub Rubik și să faci o anumită operație (de exemplu, răsucind o parte a acestuia + rotind cubul în mână). Apoi o repeți de multe ori, de milioane de miliarde de ori. Numărul exact de operațiuni – acesta este secretul. Apoi, prezinți cubul Rubik dezordonat pentru toată lumea să îl vadă. Acum, dacă ai putea să te uiți la cub și să răspunzi de câte ori s-a făcut operația pentru a ajunge în această stare actuală, ai sparge SNARK-ul. O modalitate este să iei un cub Rubik și să începi să te joci cu el, numărând de câte ori faci operația până ajungi la configurația publică. Dar asta necesită mult timp (un milion de miliarde de pași). Aha, dar un calculator cuantic este un calculator foarte inteligent care poate privi cubul și să dea numărul: 112.302.305.166 de ori, de exemplu. Și cu acest răspuns, SNARK-ul este rupt. OK, ce zici de un STARK? În acest caz, pentru a sparge un STARK trebuie să "rupi un hash". Un hash funcționează cam așa: iei un cub Rubik, faci una dintre acele operații. Apoi scrii modelul pe o hârtie, îl pliezi, îl tai, permutezi pătratele într-un mod nebunesc și le postezi pe un cub Rubik nou. Apoi faci o altă operație pe cubul Rubik, apoi treci din nou la hârtie. Și tot așa. Punctul important este acesta: În loc să faci un singur tip de operație (matematic, o "operație de grup") în cazul unui SNARK, cu un STARK amesteci un număr mare de operații foarte diferite, care lipsesc de conexiune și structură. Și această amestecare, din multe lucruri, este ceea ce derutează calculatoarele, atât cele clasice, cât și cele cuantice, și salvează situația. SFÂRŞIT.