zk-SNARK

Cos'è zk-SNARK?

Zk-SNARK è un acronimo che sta per "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge". Uno zk-SNARK è una prova crittografica che consente a una parte di dimostrare di possedere determinate informazioni senza rivelare tali informazioni. Questa prova è resa possibile utilizzando una chiave segreta creata prima che la transazione abbia luogo. Viene utilizzato come parte del protocollo per la criptovaluta, Zcash.

Punti chiave

• Zk-SNARK è un protocollo a prova di conoscenza zero utilizzato nella crittografia, ed è un acronimo che sta per "Zero-Knowledge Succinct Non-Interactive Argument of Knowledge".
• Questa prova è stata sviluppata e introdotta per la prima volta alla fine degli anni '80, ed è ora impiegato dalla criptovaluta Zcash per risolvere un problema di anonimato percepito con blockchain di tipo Bitcoin.
• Le prove di Zk-SNARK si basano su una configurazione iniziale del "sistema di fiducia" che è stata criticata come un difetto di sicurezza intrinseco.

Capire zk-SNARK

Per molti membri originali della comunità delle criptovalute, principalmente la comunità dei Bitcoin, la privacy era uno scopo e una caratteristica presunti delle criptovalute. Però, la privacy è sempre stata una preoccupazione di secondo ordine, data la necessità della criptovaluta di creare un sistema "trustless" per garantire l'integrità della valuta elettronica e delle transazioni digitali.

All'inizio degli anni 2010, Gli utenti di Bitcoin a volte presumevano che le loro transazioni fossero anonime perché le loro identità offline non erano associate alle chiavi pubbliche degli utenti. Ma fino alla fine del decennio, sforzi coordinati da scienziati dei dati, hacker, e le forze dell'ordine hanno dimostrato che non solo è possibile, ma anche relativamente facile, reidentificare persone che hanno fornito dati pseudonimi a più fonti.

A causa della percepita mancanza di privacy di alcune delle criptovalute originali come Bitcoin, gli sviluppatori hanno iniziato a lavorare su monete incentrate sulla privacy. Il più importante di questi era Zcash, supportato da una tecnologia nota come zk-SNARKs.

Prova di conoscenza zero

Uno zk-SNARK ("argomento di conoscenza succinto non interattivo a conoscenza zero") utilizza un concetto noto come "prova a conoscenza zero". L'idea alla base di queste prove è stata sviluppata per la prima volta negli anni '80. In poche parole, una prova a conoscenza zero è una situazione in cui ciascuna delle due parti in una transazione è in grado di verificare reciprocamente di avere un particolare insieme di informazioni, mentre allo stesso tempo non rivela quali siano queste informazioni.

Per la maggior parte degli altri tipi di prova, almeno una delle due parti deve avere accesso a tutte le informazioni. Una prova tradizionale può essere paragonata a una password utilizzata per accedere a una rete online. L'utente invia la password, e la rete stessa controlla il contenuto della password per verificare che sia corretta. Per fare ciò, la rete deve avere accesso anche al contenuto della password.

Una versione a prova di conoscenza zero di questa situazione implicherebbe che l'utente dimostri alla rete (tramite una prova matematica) di avere la password corretta senza rivelare effettivamente la password stessa. I vantaggi per la privacy e la sicurezza in questa situazione sono chiari:se la rete non ha la password memorizzata da qualche parte a scopo di verifica, la password non può essere rubata.

La base matematica di zk-SNARKS è complessa. Ciò nonostante, prove di questo tipo consentono a una parte di dimostrare non solo che esiste un particolare bit di informazione, ma anche che la parte in questione sia a conoscenza di tali informazioni. Nel caso di Zcash, Gli zk-SNARK possono essere verificati quasi istantaneamente, e il protocollo non richiede alcuna interazione tra il prover e il verificatore.

Critiche a zk-SNARKs

Ci sono, Certo, preoccupazioni relative a zk-SNARK. Ad esempio, se qualcuno è riuscito ad accedere alla chiave privata utilizzata per creare i parametri del protocollo di prova, potevano creare prove false che tuttavia sembravano valide ai verificatori. Ciò consentirebbe a quella persona di creare nuovi token di Zcash attraverso un processo di contraffazione. Per evitare che ciò accada, Zcash è stato progettato in modo tale da rendere i protocolli di prova elaborati e distribuiti su più parti.

Mentre la costruzione del processo di prova Zcash è stata completata in modo tale da ridurre al minimo la possibilità di falsificazione di token tramite false prove, c'è almeno un'altra preoccupazione relativa alla criptovaluta. Zcash è stato creato con una "tassa" del 20% riscossa su tutti i blocchi creati nei primi anni del token. Questa tassa è conosciuta come la "tassa del fondatore, " e serve per risarcire gli sviluppatori della criptovaluta.

I critici hanno suggerito che i fondatori potrebbero potenzialmente utilizzare questo aspetto del sistema per creare un numero infinito di token Zcash senza che nessun altro sia a conoscenza dell'esistenza di tali token. Per tale motivo, non è del tutto possibile conoscere il numero esatto di token Zcash esistenti a questo punto.

Dal 2019, alcuni sviluppatori hanno lavorato per migliorare zk-SNARK rimuovendo la configurazione affidabile. Un team chiamato Suterusu ha sviluppato un sistema chiamato zK-ConSNARK che afferma di essere utilizzabile senza una configurazione affidabile, può fornire protezione della privacy per blockchain tradizionali come Bitcoin, e ha l'inflazione più bassa per qualsiasi criptovaluta esistente.