Dimostrazioni a conoscenza zero (ZKP) in pratica: cosa sono, esempi

Con dimostrazione a conoscenza zero (in inglese, Zero-Knowledge Proof, spesso abbreviato con ZKP) i crittografi intendono un protocollo informatico grazie al quale una entità dimostra a una seconda entità distinta che una certa affermazione è vera, senza rivelare altri dettagli che non riguardino la veridicità stessa dell’affermazione selezionata. In gergo, l’entità che vuole dimostrare una certa informazione è detta dimostratore (o prover in inglese), mentre la seconda entità è detta verificatore (o verifier in inglese).