Pe măsură ce tehnologia computerelor continuă să se îmbunătățească în era digitală, acum putem stoca, partaja și analiza cu ușurință cantități enorme de date comerciale și personale online, stârnind preocupări cu privire la drepturile. De asemenea, confidențialitatea și securitatea datelor se îmbunătățesc.
Dovada zero-cunoștințe este un tip de criptografie. Conform teoriei ZKP, o parte care dovedește trebuie să demonstreze verificatorului că informațiile pe care le furnizează sunt corecte, fără a împărtăși detalii din lumea reală.
#zkp oferă libertate și alegere consumatorilor care caută control și independență asupra informațiilor lor. Prin combinarea ZKP cu tehnologia #blockchain , pot fi gestionate mai multe cazuri de utilizare.
Sunt disponibile și dovezi interactive și non-interactive de zero cunoștințe.
Dovezile interactive cu cunoștințe zero (IZKPs) au nevoie de un schimb de întrebări și răspunsuri între un doveditor și un verificator. Această interacțiune poate avea loc offline sau online printr-o rețea precum Internetul. Verificatorul trebuie să aibă mai multe contacte cu acesta înainte ca acesta să poată cere detalii suplimentare despre afirmația care este dovedită. Dovatorul trebuie să răspundă la întrebarea verificatorului în fiecare rundă.
Pentru unele probleme uriașe, această metodă de demonstrare interactivă este fezabilă, dar ridică probleme cu timpul și costul de calcul și necesită cooperarea tuturor participanților.
Pe de altă parte, dovezile non-interactive zero-knowledge (NIZKPs) nu necesită comunicare între doveditor și verificator. În schimb, dovatorul creează o singură dovadă independentă pe care verificatorul o poate examina în mod independent, fără a fi nevoie de o comunicare suplimentară. Acest lucru poate fi mai convenabil și mai eficient decât dovezile interactive, deoarece demonstratorul și verificatorul nu trebuie să fie online în același timp sau să schimbe o mulțime de mesaje.
Analiza și comunicarea probelor interactive durează mai mult decât dovezile neinteractive. Cu toate acestea, există situații în care s-ar putea să nu fie practic, cum ar fi atunci când sunt necesare mai multe detalii pentru dovezi sau pentru a demonstra un argument foarte complicat.
Una dintre diferențele cheie dintre dovezile interactive și non-interactive de zero cunoștințe este nivelul de încredere necesar între doveditor și verificator. Într-o dovadă interactivă, verificatorul trebuie să aibă încredere că acesta va respecta regulile și va oferi răspunsuri veridice la întrebările sale. Spre deosebire de dovezile interactive, dovezile non-interactive permit verificatorului să examineze în mod independent dovada fără a se baza pe informațiile doveditorului.
Cea mai bună abordare pentru o situație dată va depinde de nevoi și constrângeri. Atât dovezile interactive, cât și cele non-interactive de zero cunoștințe oferă beneficii și dezavantaje.
Dovezile interactive pot fi mai potrivite în cazurile în care probatorul și verificatorul sunt ambele online și pot conversa cu ușurință.
Dovezile non-interactive, pe de altă parte, pot fi mai adecvate în cazurile în care probatorul și verificatorul nu sunt amândoi online în același timp sau credibilitatea celui care demonstrează este discutabilă. În cele din urmă, dovezile interactive și non-interactive de zero cunoștințe sunt adesea selectate pe baza unor provocări specifice și a situațiilor de aplicare.
Dovada interactivă a cunoștințelor zero este una dintre formele de demonstrare a cunoștințelor zero cele mai vechi studiate și utilizate cel mai des. De-a lungul acestui proces de demonstrare, vor exista mai multe runde de interacțiune între probator și verificator.
Necesită interacțiuni între doveditori și verificatori, care ar putea fi consumatoare de timp și ineficiente. Dovatorul și verificatorul trebuie să comunice pe larg pentru a finaliza proba. Aceasta ar putea fi o problemă în situațiile în care viteza este esențială, cum ar fi tranzacționarea de înaltă frecvență sau luarea deciziilor în timp real.
De exemplu, dacă un tânăr comerciant devine suspicios, trebuie să intri în unitate pentru a cumpăra alcool, dar nu poți să-ți dovedești vârsta prin altceva decât cu privirea exterioară. În această etapă, va trebui să descrieți folosind vocea off cum să cumpărați alcool.
IZKP presupune că atât probatorul, cât și verificatorul spun adevărul și nu vor încerca să falsifice sau să schimbe dovezile. Cu toate acestea, acesta nu este întotdeauna cazul, iar probatorul poate încerca să păcălească verificatorul trimițând indicii false sau modificând dovezile într-un alt mod. Acest lucru poate compromite validitatea dovezilor și le poate face mai puțin utile.
Pur și simplu, nu ești suficient de mare ca să bei, dar tot încerci să argumentezi acest punct cu cuvinte. O astfel de situație ar fi devastatoare.
Prin urmare, în ciuda garanțiilor ridicate de securitate și confidențialitate ale IZKP-urilor, adoptarea lor pe scară largă a fost constrânsă de deficiențele menționate mai sus.
Zero-Knowledge Succinct Non-Interactive Knowledge Argument este cunoscut și sub numele de ZK-SNARK. Următoarele trăsături se aplică protocolului ZK-SNARK:
Verificatorii cu zero informații pot certifica adevărul unei declarații fără a ști nimic altceva despre aceasta. Singurul lucru pe care îl știe verificatorul despre afirmație este dacă este adevărată sau falsă.
Într-un cuvânt, dovada zero-cunoștințe este mai simplă decât dovada și poate fi prezentată rapid.
Dovezile non-interactive se deosebesc de dovezile interactive prin faptul că probatorii și verificatorii comunică o singură dată, spre deosebire de dovezile interactive, care implică multe runde de comunicare.
Argument: Deoarece probele îndeplinesc cerința de „raționalitate”, frauda este foarte puțin probabilă.
(De) Cunoaștere: Este dificil să se producă o dovadă de zero cunoștințe fără acces la informații sensibile. Un doveditor fără martori va găsi foarte dificil, dacă nu imposibil, calcularea unei dovezi valide de zero cunoștințe.
Utilizatorul trebuie să aibă încredere în participanții care creează parametrul pentru a utiliza configurația de încredere. Cu toate acestea, dezvoltarea ZK-STARK a făcut posibilă demonstrarea protocoalelor care funcționează în medii incerte.
Argumentul transparent de cunoștințe scalabil cu zero cunoștințe este denumit ZK-STARK. ZK-STARK și ZK-SNARK sunt identice cu excepția următoarelor puncte:
Scalabil: atunci când dimensiunea martorului este mai mare, ZK-STARK generează și verifică dovezi mai rapid decât ZK-SNARK. Folosind dovezile STARK, timpul pentru doveditor și verificator crește doar minim pe măsură ce numărul de martori crește (timpul pentru doveditor și verificator SNARK crește liniar cu dimensiunea martorului).
Transparență: în loc să construiască încredere, ZK-STARK se bazează pe randomizare verificabilă public pentru a produce parametri publici pentru dovezi și verificare. Drept urmare, sunt mai puțin opace decât ZK-SNARK.
Sunt probabil mai multe costuri de verificare deoarece ZK-STARK generează dovezi mai mari decât ZK-SNARK. #ZK-STARK ar putea, totuși, să fie mai economic decât #ZK-SNARK în unele situații (de exemplu, verificarea seturi de date masive).
#ZK-STARK-urile sunt fondate pe baza unor dovezi scurte, interactive, care indică faptul că dovezile pot fi verificate rapid, fără a fi nevoie de nicio interacțiune între doveditor și verificator. Din această cauză, avantajele ZK-STARK-urilor în ceea ce privește securitatea și scalabilitatea sunt mai bune.
Tehnologiile fără cunoștințe vor continua să se dezvolte și să fie folosite pe măsură ce tehnologia se îmbunătățește.
În timp ce blockchain oferă descentralizare, transparență și multe alte beneficii, utilizarea adreselor, mai degrabă decât a identităților, nu garantează confidențialitatea.
Zero-Knowledge-proof #technology oferă o gamă largă de aplicații pentru verificarea confidențialității și a securității. Deși nu este o tehnologie nouă, există încă multe lucruri noi de învățat și demonstrat prin practică în aplicarea acesteia la dezvoltarea industriei blockchain.
