Acas─â
Glosar
Zero-Knowledge Proofs

Zero-Knowledge Proofs

Avansat

O dovad─â zero-knowledge, denumit─â uneori ╚Öi protocol zk, este o metod─â de verificare care are loc ├«ntre un doveditor ╚Öi un verificator. ├Äntr-un sistem de dovezi Zero-Knowledge, doveditorul este capabil s─â demonstreze verificatorului c─â are cuno╚Ötin╚Ťe despre o anumit─â informa╚Ťie (cum ar fi solu╚Ťia unei ecua╚Ťii matematice), f─âr─â a dezv─âlui informa╚Ťiile ├«n sine. Aceste sisteme de dovad─â pot fi utilizate de criptografii moderni pentru a oferi niveluri sporite de confiden╚Ťialitate ╚Öi securitate.

Conceptul unei dovezi Zero-Knowledge a fost descris pentru prima dat─â ├«ntr-o lucrare de la MIT din 1985, publicat─â de Shafi Goldwasser ╚Öi Silvio Micali. Ei au demonstrat c─â este posibil s─â se dovedeasc─â unele propriet─â╚Ťi ale unui num─âr f─âr─â a dezv─âlui num─ârul sau orice informa╚Ťii suplimentare despre acesta. Aceast─â lucrare a prezentat, de asemenea, descoperirea semnificativ─â din punct de vedere matematic conform c─âreia interac╚Ťiunile dintre un doveditor ╚Öi un verificator ar putea reduce cantitatea de informa╚Ťii necesare pentru a demonstra o anumit─â teorem─â.┬á

O dovad─â zk trebuie s─â ├«ndeplineasc─â dou─â cerin╚Ťe de baz─â cunoscute sub numele de completitudine ╚Öi soliditate. Completitudinea se refer─â la capacitatea doveditorului de a demonstra cunoa╚Öterea informa╚Ťiilor relevante la un grad ridicat de exactitate probabil─â. Pentru ca dovada s─â fie solid─â, verificatorul trebuie s─â poat─â determina cu un ├«nalt coeficient de siguran╚Ť─â dac─â de╚Ťine sau nu informa╚Ťiile. ├Än cele din urm─â, pentru a fi cu adev─ârat zero-knowledge, dovada trebuie s─â aib─â at├ót completitudine, c├ót ╚Öi siguran╚Ť─â, f─âr─â ca informa╚Ťiile ├«n cauz─â s─â fie vreodat─â comunicate ├«ntre doveditor ╚Öi verificator.

Dovezile Zero-Knowledge sunt utilizate ├«n principal pentru aplica╚Ťii ├«n care confiden╚Ťialitatea ╚Öi securitatea sunt esen╚Ťiale. Sistemele de autentificare, de exemplu, pot folosi dovezi zk pentru a verifica acredit─ârile sau identit─â╚Ťile f─âr─â a le divulga direct. Ca un exemplu simplu, pot fi folosite pentru a verifica dac─â o persoan─â are o parol─â pentru un sistem informatic, f─âr─â a fi necesar s─â dezv─âluie care este parola.┬á

Un caz de utilizare notabil a dovezilor Zero-Knowledge ├«n lumea real─â se g─âse╚Öte ├«n lumea criptomonedelor ╚Öi a tehnologiei blockchain. Folosind un tip de dovad─â cunoscut sub numele de Succinct Non-interactive Argument of Knowledge (zk-SNARK), criptomonedele axate pe confiden╚Ťialitate, precum Zcash┬á, pot oferi utilizatorilor lor tranzac╚Ťii blockchain cu niveluri sporite de confiden╚Ťialitate. Ethereum lucreaz─â, de asemenea, cu dovezi zk-SNARK de la actualizarea sa Byzantium din 2017.
Distribui╚Ťi post─ârile
├Änregistra╚Ťi un cont
Pune╚Ťi-v─â cuno╚Ötin╚Ťele ├«n practic─â prin deschiderea unui cont Binance ast─âzi.