Prove a Conoscenza Zero

Una prova a conoscenza zero (ZKP) è un metodo crittografico che permette a una parte (il dimostratore) di provare a un'altra parte (il verificatore) che un'affermazione è vera senza rivelare alcuna informazione oltre alla validità dell'affermazione stessa.

• zk-SNARKs: Succinct Non-interactive Arguments of Knowledge. Dimensione della prova ridotta e verifica veloce, ma richiedono una cerimonia di setup fidato. Utilizzati da Zcash.
• zk-STARKs: Scalable Transparent Arguments of Knowledge. Prove più grandi ma senza necessità di setup fidato. Resistenti ai computer quantistici. Utilizzati da StarkNet.
• PLONK: Un setup fidato universale e aggiornabile che può essere utilizzato per qualsiasi circuito, riducendo la necessità di cerimonie per applicazione.

• ZK-Rollup: Utilizzano prove ZK per verificare transazioni raggruppate off-chain prima di inviarle al L1 (zkSync, StarkNet, Polygon zkEVM)
• Privacy: Dimostrare di possedere abbastanza token per una transazione senza rivelare il proprio saldo (transazioni schermate di Zcash)
• Identità: Dimostrare di avere più di 18 anni senza rivelare la data di nascita
• Voto: Dimostrare di aver votato senza rivelare per chi hai votato

• Completezza: Un'affermazione vera sarà sempre accettata
• Solidità: Un'affermazione falsa sarà (quasi) sempre rifiutata
• Conoscenza Zero: Il verificatore non apprende nulla oltre alla verità dell'affermazione