STARit vastaan SNARKit ja kvanttiuhka Kuuluisasti STARit ovat post-kvanttiturvallisia, mutta SNARKit rikkoutuvat kvanttitietokoneiden vaikutuksesta. Miksi? Viittaan tässä elliptisiin käyrän SNARK-malleihin, sellaisiin tyyppeihin, jotka useimmilla teistä on tuttu (kuten Groth16). SNARK käyttää "todistamisavain"-salaisuutta, jonka avulla todistaja voi vastata tiettyyn kysymykseen. Salaisuus luodaan toistamalla tiettyä matemaattista operaatiota monta kertaa. Hyvä vertauskuva on, että aloitat Rubikin kuutiosta ja teet tietyn operaation (esim. kierrät sen toista puolta + pyörität kuutiota kädessäsi). Sitten toistat sen monta kertaa, miljoona miljardia miljardia monta kertaa. Tarkka määrä kertoja teet nuo operaatiot – se on salaisuus. Sitten esittelet sotkuisen Rubikin kuution koko maailman nähtäväksi. Nyt, jos voisit katsoa kuutiota ja vastata, kuinka monta kertaa operaatio on tehty tämän nykyisen tilan saavuttamiseksi, rikot SNARKin. Yksi tapa tehdä se on ottaa Rubikin kuutio ja alkaa säätää sitä, laskemalla kuinka monta kertaa teet toimenpiteen, kunnes pääset julkisesti julkaistuun kokoonpanoon. Mutta se vie paljon aikaa (miljoona miljardia askelta). Ahaa, mutta kvanttitietokone on todella älykäs tietokone, joka voi katsoa kuutiota ja sylkäistä ulos numeron: esimerkiksi 112 302 305 166 kertaa. Ja tämän vastauksen myötä SNARK murtuu. OK, entä STARK? Tässä tapauksessa STARKin rikkomiseksi täytyy "rikkoa hash". Hash toimii suunnilleen näin: Otat Rubikin kuution ja teet yhden näistä operaatioista. Sitten kirjoitat kaavan paperille, taitat sen, leikkaat osiin, permutoit neliöt hullulla tavalla ja laitat ne uudelle Rubikin kuutiolle. Sitten teet toisen operaation Rubikin kuutiolle ja siirryt taas paperiin. Ja niin edelleen ja niin edelleen. Tärkeä seikka on tämä: SNARKin tapauksessa tehtäisiin vain yksi operaatiotyyppi (matemaattisesti "ryhmäoperaatio"), mutta STARKilla sekoitetaan suuri määrä hyvin erilaisia operaatioita, joista puuttuu yhteys ja rakenne. Ja tämä monien asioiden sekoittaminen hämmentää tietokoneita, sekä klassisia että kvantteja, ja pelastaa päivän. LOPPU.