Cosa sono le prove a conoscenza zero?
Le prove a conoscenza zero (ZKP) consentono agli utenti della rete crittografica di verificare la validità di una transazione senza rivelarne i dettagli.
:format(webp)/cloudfront-us-east-1.images.arcpublishing.com/coindesk/OXA6WS2AEZCD7M7OD5WFGRY6IM.jpg)
Le prove a conoscenza zero aiutano a garantire che la privacy delle transazioni non vada a scapito della fiducia. Continua a leggere per scoprire cosa sono le prove a conoscenza zero, come funzionano e perché ne abbiamo bisogno in Web3.
Questo è un contenuto del partner proveniente da Unchained di Laura Shin e pubblicato da CoinDesk.
Cosa sono le prove a conoscenza zero?
Zero-Knowledge Proofs (ZKP) sono protocolli che aiutano a dimostrare la validità delle dichiarazioni sulle blockchain senza offrire informazioni che potrebbero compromettere la privacy. Consentono agli utenti di verificare la validità di una transazione senza rivelare i dettagli della transazione.
Nelle prove a conoscenza zero, il dimostratore è responsabile di dimostrare l'affermazione e il ruolo del verificatore è convalidarla. I protocolli rivelano in catena che le informazioni nascoste sono valide e il prover lo sa con elevata certezza.
Nelle mani di malintenzionati, le informazioni di identificazione personale (PII) possono presentare alcuni rischi, come il furto di identità, danni alla reputazione e discriminazione. Le prove a conoscenza zero garantiscono che le tue PII rimangano protette.
Considera uno scenario in cui devi dimostrare la tua identità per completare una transazione. Dovrai fornire prove come la patente di guida e altre informazioni personali.
Tuttavia, non avrai alcun controllo sulla sicurezza di tali informazioni una volta che saranno nelle mani di terzi. Gli hacker potrebbero prendere di mira il database centrale di terzi oppure i terzi potrebbero condividere le tue informazioni con altri per scopi pubblicitari mirati e altri motivi.
Con le prove a conoscenza zero, puoi evitare di condividere queste informazioni e limitarti a dimostrarne la validità.
Come funzionano le prove a conoscenza zero?
Le prove a conoscenza zero utilizzano algoritmi che elaborano i dati di input e ne confermano la veridicità. Progetti come StarkNet su Ethereum, Polygon Zero, Zk Sync e altri utilizzano attualmente i protocolli nelle loro funzionalità.
Affinché le dimostrazioni a conoscenza zero funzionino in modo efficiente, è necessario che soddisfino tre criteri:
- Conoscenza zero : il verificatore non può accedere all'input originale. L'unica informazione a loro disposizione è la validità della dichiarazione.
- Solidità : il protocollo non può convalidare un input non valido come vero. Il protocollo deve avere garanzie per garantire che il dimostratore non abbia spazio per manipolare il verificatore facendogli credere che la sua affermazione sia vera.
- Completezza : a condizione che l'input sia valido, il protocollo convalida sempre l'istruzione. Il protocollo accetta la prova se entrambe le parti agiscono onestamente e le informazioni sottostanti sono vere.
Una dimostrazione di base a conoscenza zero comprende tre elementi.
- Innanzitutto, abbiamo il testimone , ovvero l'informazione Secret . Il prover fornisce domande che solo una parte a conoscenza delle informazioni potrebbe conoscere.
- Il secondo elemento è la sfida , in cui il verificatore seleziona una domanda dal set a cui il sperimentatore deve rispondere.
- Il terzo ed ultimo elemento è la risposta , dove il prover risponde alla domanda. Con la risposta il verificatore conferma che il dimostratore può accedere al testimone. Il verificatore procede quindi a selezionare più domande dalla serie. Le domande multiple limitano la possibilità che il prover finga di conoscere l'informazione.
Tipi di dimostrazioni a conoscenza zero
Esistono due tipi di dimostrazioni a conoscenza zero: interattive e non interattive.
- Le prove interattive a conoscenza zero consentono la comunicazione avanti e indietro tra due parti. La comunicazione consente la verifica della validità della dichiarazione con soddisfazione del verificatore.
- Dimostrazioni non interattive a conoscenza zero : qui, due parti si impegnano in ONE solo round di comunicazione. Il dimostratore condivide le informazioni con un algoritmo che calcola la prova a conoscenza zero. Il verificatore riceve la prova e utilizza un altro algoritmo per confermare la conoscenza del dimostratore.
Data la comodità degli ZKP non interattivi, molti protocolli attualmente disponibili rientrano nella categoria ZKP non interattivi. Diamo un'occhiata ad alcuni di loro.
- ZK-SNARK: noti per intero come Argomenti di conoscenza succinti e non interattivi a conoscenza zero, le loro dimensioni ridotte facilitano il processo di verifica. Questi protocolli utilizzano curve ellittiche per generare una prova crittografica, un processo considerato efficiente dal punto di vista Gas .
- ZK-STARK: sono conosciuti come Argomenti di Conoscenza Trasparenti e Scalabili a Conoscenza Zero. Sono veloci grazie alla minima interazione tra due parti.
- Antiproiettile: non richiedono una configurazione affidabile. Le brevi prove non interattive a conoscenza zero consentono transazioni private di criptovaluta.
- PLONK: Queste sono conosciute come Permutazioni su basi di Lagrange per argomenti di Conoscenza Ecumenici Non Interattivi. I PLONK consentono un gran numero di partecipanti utilizzando una configurazione affidabile universale.
Perché abbiamo bisogno di prove a conoscenza zero?
Vari casi d’uso spiegano perché abbiamo bisogno di prove a conoscenza zero. Diamo un'occhiata ad alcuni dei più importanti.
- Sicurezza e privacy: lo pseudonimo di Web3 non riesce a garantire la completa privacy poiché la cronologia delle transazioni è disponibile su blockchain pubbliche. Con gli ZKP è possibile verificare le informazioni senza rivelare le PII, mantenendo così l'anonimato.
- Verifica dell'identità: dimostrare la propria identità non deve includere la condivisione di informazioni sensibili. Gli ZKP offrono una via per eseguire il processo di verifica dell'identità in modo privato e sicuro.
- Scalabilità: con gli ZKP, le reti blockchain possono verificare le transazioni senza rivelare i dati sottostanti. L'efficienza della rete migliora poiché le informazioni archiviate sulla blockchain si riducono in modo significativo.
- Conformità: le organizzazioni possono rispettare i requisiti normativi in materia di riciclaggio di denaro, KYC e altre leggi pertinenti. Gli ZKP consentono alle organizzazioni di conformarsi senza archiviare le informazioni personali degli utenti su database centralizzati.
Le prove a conoscenza zero sono uno strumento di crittografia fondamentale che offre l'autenticazione delle informazioni a parti non identificate o non attendibili. La natura pseudonima dello spazio Web3 rappresenta una sfida in materia di verifica delle informazioni. Gli ZKP affrontano questo punto dolente attraverso protocolli rivoluzionari che promettono di garantire transazioni veloci e sicure.
