ZK-bevis revolusjonerer krypto og blåser opp egoer. Alle hevder å ha det ene sanne bevissystemet, men applikasjoner er den viktige delen, bevis er nå en vare. Også: hvis et selskaps nye zk-bevis starter med 'h' eller 'hyper', har de forlatt sin gamle gud for sum-check

Sum-check er en ZK-tilnærming som er så gammel at ingen på Twitter påstår at de fant den opp. Justin Thaler gjorde navnet sitt ved å påpeke at det faktisk er nyttig. Han kan ha rett ... eller å danne en ny kult. Men prosjektene bytter over til sum-check, noen ganger later som det er deres gamle oppdiktede gud...

Ok, nok allegorier. SNARK-er representerer programmer som polynomer. Sum-sjekk bruker multivariate polynomer, f.eks. P(x,y) = x^2+2y. Enda mer forvirrende er navnestilen "h" og "hyper" fra polynomene som danner en boolsk hyperkube. En fancy måte å si at hver variabel er 0 eller 1.

Tenk på det som datamaskiner: datamaskiner opererer i binært i stedet for base 10 fordi noen vanlige operasjoner er mer effektive når de brytes ned bit for bit i stedet for siffer for siffer. Sum-check gjør noe veldig likt for programmer den beviser er tilfredse.

En fordel med denne tilnærmingen, som ikke er unik for sum-sjekk (se f.eks. folding-skjemaer), er strømming. For mange FFT-tunge/hashbaserte bevissystemer må du få hele påstanden du beviser inn i minnet. Fungerer fint for småting, men bruker opp en laptop raskt.

Denne begrensningen begrenser deg til store servere som alle må sende dataene sine til for bevis. Ikke særlig Zk av dem. Den er nyttig for å kjøre en gigantisk søppelkomprimator (eller, jeg mener sentralisert rollup), men den feiler for klientside-personvern, som er der markedet ser (foreløpig)

Som jeg sa, sum-check er ikke det eneste strømmesystemet. Det finnes også folding. Det harde arbeidet som ble lagt ned i å lage alle disse ZK-ordningene gjorde dem også til en vare. Velg det du trenger, og fokuser på søknader. Ikke tilbe et bevissystem eller team. Internt gjør ikke teamet det