ZKP (Zero-Knowledge Proof)

Protocollo crittografico con cui una parte dimostra che un'affermazione è vera senza rivelare al verificatore le informazioni segrete usate nella dimostrazione.

In una Zero-Knowledge Proof il prover convince il verifier di conoscere un segreto o di aver eseguito un calcolo. Il protocollo deve essere completo, resistente agli inganni e incapace di rivelare altro. Sistemi interattivi scambiano messaggi, mentre prove non interattive producono un oggetto verificabile. Le famiglie bilanciano dimensione, velocità, configurazione e resistenza futura. Le applicazioni includono pagamenti riservati, identità selettive e verifica compressa di calcoli.