Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
STARKs mot SNARKs och Quantum Threat
Kända är att STARKs är post-kvantsäkra men SNARKs bryter av kvantdatorer. Varför?
Jag syftar här på de elliptiska kurvorna SNARKs, de typer som de flesta av er känner till (som Groth16).
En SNARK använder en "proving key"-hemlighet för att låta bevisaren besvara en viss fråga. Sättet hemligheten skapas på är genom att upprepa en viss matematisk operation många gånger.
En bra liknelse är att du börjar med en Rubiks kub och gör en viss operation (säg att vrida ena sidan + rotera kuben i handen). Sedan upprepar du det många gånger, en miljon miljarder miljarder många gånger. Det exakta antalet gånger du gör de operationerna – det är hemligheten. Sedan presenterar du den trasiga Rubiks kub för hela världen att se.
Om du nu kunde titta på kuben och svara på hur många gånger operationen utfördes för att nå detta nuvarande tillstånd, bryter du SNARK:en.
Ett sätt att göra det är att ta en Rubiks kub och börja experimentera med den, räkna hur många gånger du gör operationen tills du når konfigurationen som är offentligt publicerad. Men det tar mycket tid (en miljon miljarder miljarder steg).
Aha, men en kvantdator är en riktigt smart dator som kan titta på kuben och spotta ut siffrorna: till exempel 112 302 305 166 gånger. Och med detta svar är SNARK trasig.
Okej, vad sägs om en STARK?
I det här fallet måste du "bryta en hash" för att slå en STARK.
En hash fungerar ungefär så här: Du tar en Rubiks kub och gör en av dessa operationer. Sedan skriver du mönstret på papper, viker ihop det, klipper upp det, permuterar rutorna på ett galet sätt och sätter upp dem på en ny Rubiks kub. Sedan gör du en ny operation på Rubiks kub, och går sedan vidare till pappret. Och så vidare.
Den viktiga poängen är denna: Istället för att bara göra en typ av operation (matematiskt en "gruppoperation") i fallet med en SNARK, blandar du med en STARK ett stort antal mycket olika operationer som saknar koppling och struktur.
Och denna blandning, av många saker, är det som förvirrar datorer, både klassiska och kvantmekaniska, och räddar dagen.
SLUTET.
Topp
Rankning
Favoriter

