ZK-todistukset mullistavat krypton ja paisutavat egoa. Kaikki väittävät, että heillä on ainoa todellinen todistusjärjestelmä, mutta sovellukset ovat tärkein osa, todistukset ovat nyt hyödyke. Lisäksi: jos yrityksen uusi zk-todiste alkaa 'h':lla tai 'hyperillä', he hylkäsivät vanhan jumalansa summatarkistusta varten

Sum-check on ZK-menetelmä, joka on niin vanha, ettei kukaan Twitterissä väitä keksineensä sitä. Justin Thaler teki nimensä huomauttamalla, että se on oikeasti hyödyllinen. Hän saattaa olla oikeassa ... tai uuden kultin perustamisesta. Mutta projektit siirtyvät sum-checkiin, joskus teeskentelevät heidän vanhan keksimänsä jumalan...

Okei, tarpeeksi allegorioita. SNARKit edustavat ohjelmia polynomeina. Summatarkistus käyttää monimuuttujapolynomeja, esim. P(x,y) = x^2+2y. Hämmentävämpää on, että "h"- ja "hyper"-nimitystyyli on peräisin polynomeista, jotka muodostavat Boolen hyperkuution. Hienostunut tapa sanoa, että jokainen muuttuja on 0 tai 1.

Ajattele sitä kuin tietokoneita: tietokoneet toimivat binäärissä kymmenen kannan sijaan, koska jotkut yleiset operaatiot ovat tehokkaampia, kun ne pilkotaan bitti kerrallaan numero kerrallaan. Sum-check tekee hyvin samankaltaista ohjelmille, jotka todistavat täyttyneisyyden.

Yksi tämän lähestymistavan etu, joka ei ole ainutlaatuinen summatarkistusjärjestelmälle (ks. esim. taittomenetelmät), on suoratoisto. Monissa FFT-painotteisissa tai hajautuspohjaisissa todistusjärjestelmissä sinun täytyy sovittaa koko todistamasi väite muistiin. Toimii hyvin pienille asioille, mutta Max saa kannettavan nopeasti pois.

Tämä rajoitus rajoittaa sinut isoihin palvelimiin, joille kaikkien täytyy lähettää tietonsa todistettavaksi. Ei kovin Zk-tyylisiä. Se on hyödyllinen jättimäisen roskapuristimen (siis, keskitetyn kokoontumisen) ajamiseen, mutta se epäonnistuu asiakaspuolen yksityisyyden kannalta, mikä on markkinan tavoite (toistaiseksi)

Kuten sanoin, sum-check ei ole ainoa suoratoistojärjestelmä. On myös taittelua. Kaikkien näiden zk-skeemien tekemiseen käytetty kova työ teki niistä myös hyödykkeen. Valitse se, mitä tarvitset, ja keskity hakemuksiin. Älä palvo todistusjärjestelmää tai joukkuetta. Sisäisesti tiimi ei tee niin