zk-STARKs
Există două tipuri populare de
dovezi zero-knowledge (zk), denumite uneori și protocoale zk –
SNARKs și STARKs. O dovadă a zero-knowledge este o metodă de verificare criptografică prin care o parte (doveditorul) poate dovedi celeilalte părți (verificatorul) că o anumită instrucțiune este adevărată, fără a fi necesar să furnizeze nicio informație justificativă în afară de faptul că instrucțiunea este adevărată.
zk-STARK vine de la „zero-knowledge scalable transparent argument of knowledge”. zk-STARKs au fost concepute de Eli-Ben Sasson, profesor la Institutul de Tehnologie Technion din Israel. Spre deosebire de zk-SNARKs care depind de o configurație inițială de încredere între un doveditor și un verificator, zk-STARKs nu necesită o configurare inițială de încredere, deoarece se bazează pe
criptografie mai simplă prin
funcții hash rezistente la coliziuni. Această abordare elimină, de asemenea, ipotezele teoretice numerice ale zk-SNARKs, care sunt costisitoare din punct de vedere computațional și pot fi, teoretic, predispuse la atacuri ale
computerelor cuantice.
În termeni simpli, dovezile zk-STARK prezintă o structură mai simplă în ceea ce privește ipotezele criptografice. Cu toate acestea, acest lucru are și un dezavantaj semnificativ: au o dimensiune mare a dovezii, de obicei, de 10 până la 100 de ori mai mare decât zk-SNARKs. Din cauza acestor diferențe în ceea ce privește dimensiunea datelor, sunt mai scumpe și pot prezenta limitări atunci când se utilizează tehnologia de transfer pentru
criptomonede și alte aplicații.
Cazurile de utilizare comune ale dovezilor zero-knowledge sunt cele în care atât confidențialitatea, cât și securitatea sunt esențiale. Un exemplu este autentificarea identității. Utilizarea anumitor servicii online necesită dovedirea identității și a dreptului dvs. de a accesa acele platforme. Acest lucru necesită adesea furnizarea de informații personale, cum ar fi numele, e-mailul, data nașterii și multe altele.
Dovezile zero-knowledge pot simplifica procesul de autentificare atât pentru platforme, cât și pentru utilizatori. Odată ce un zk-proof a fost generat folosind intrări publice (date care confirmă calitatea utilizatorului de membru al platformei) și intrări private (detaliile utilizatorului), utilizatorul o poate prezenta pur și simplu pentru a-și autentifica identitatea ori de câte ori are nevoie să acceseze serviciul. Acest lucru îmbunătățește experiența utilizatorilor și degrevează organizațiile de obligația de a stoca niște cantități uriașe de informații personale.