Le prove a conoscenza zero (ZKP) sono un concetto affascinante e potente nella crittografia che consente a qualcuno di dimostrare di sapere qualcosa senza rivelare ciò che sa. Ciò significa che puoi verificare che qualcuno abbia le informazioni corrette senza che debba rivelare alcun dettaglio su tali informazioni. Questa proprietà ha molte applicazioni interessanti, dall'autenticazione sicura alle transazioni private su una blockchain.

In questo post esploreremo il mondo delle dimostrazioni a conoscenza zero, compresi i diversi tipi di ZKP, come ZK-Snarks, ZK-Starks e lo sviluppo più recente e più entusiasmante, il sistema PLONK ZKP. Forniremo anche esempi di facile comprensione tratti dalla vita reale per aiutarti a comprendere questi concetti anche se hai cinque anni.

Cosa sono le prove a conoscenza zero?

Le prove a conoscenza zero (ZKP) sono una tecnica crittografica che consente a una parte, il dimostratore, di convincere un'altra parte, il verificatore, di conoscere un'informazione senza rivelarla. In altre parole, il prover può dimostrare di possedere una particolare informazione senza rivelare di quale informazione si tratta.

Gli ZKP sono potenti strumenti di crittografia perché consentono l'autenticazione, l'identificazione e la condivisione sicura dei dati senza rivelare informazioni sensibili. Consentono alle parti di verificare informazioni e transazioni senza rinunciare alla privacy.

ZK-Snark

ZK-Snarks è un tipo di prova a conoscenza zero ampiamente utilizzata nella tecnologia blockchain, in particolare nelle blockchain incentrate sulla privacy come Zcash. ZK-Snarks sta per Argomento di Conoscenza Succinto Non Interattivo a Conoscenza Zero.

Per comprendere ZK-Snarks, immaginiamo uno scenario in cui hai un numero segreto e vuoi dimostrare a qualcuno che conosci il numero senza rivelare di cosa si tratta. ZK-Snarks ti consentirebbe di farlo costruendo una prova che convincerebbe l'altra persona che conosci il numero senza rivelare il numero stesso.

ZK-Starks

ZK-Starks è un altro tipo di prova a conoscenza zero simile a ZK-Snarks, ma presenta alcune differenze. ZK-Starks sta per Argomento trasparente scalabile a conoscenza zero.

Per capire ZK-Starks, immaginiamo uno scenario in cui hai una frase segreta e vuoi dimostrare a qualcuno che conosci la frase senza rivelare la frase stessa. ZK-Starks ti consentirebbe di farlo costruendo una prova che convincerebbe l'altra persona che conosci la frase senza rivelare la frase stessa.

PLONCHI

PLONK è lo sviluppo più recente e più entusiasmante nel mondo delle dimostrazioni a conoscenza zero. PLONK sta per basato su polinomi, linearmente complesso, non interattivo e a prova di conoscenza.

PLONK è un tipo di prova a conoscenza zero che è ancora più potente ed efficiente di ZK-Snarks e ZK-Starks. Ha molte applicazioni nella crittografia, comprese transazioni private, autenticazione e condivisione dei dati.

Per comprendere PLONK, immaginiamo uno scenario in cui hai un messaggio segreto e vuoi dimostrare a qualcuno che conosci il messaggio senza rivelare il messaggio stesso. PLONK ti consentirebbe di farlo costruendo una prova che convincerebbe l'altra persona che conosci il messaggio senza rivelare il messaggio stesso.

Conclusione

Le prove a conoscenza zero sono un potente strumento di crittografia che consente alle parti di verificare informazioni e transazioni senza rivelare informazioni sensibili. ZK-Snarks, ZK-Starks e PLONK sono diversi tipi di prove a conoscenza zero che hanno varie applicazioni nel settore blockchain e oltre.