Il presente lavoro di tesi vuole indagare un tema di crescente rilevanza negli ultimi anni nell’ambito della sicurezza informatica: le dimostrazioni a conoscenza zero (Zero-Knowledge Proofs, ZKP). In un contesto digitale in cui la protezione dei dati e la tutela della privacy assumono un ruolo sempre più centrale, le ZKP rappresentano uno strumento crittografico innovativo che consente di dimostrare la veridicità di un’informazione senza rivelarne il contenuto. Tale principio, introdotto nel 1985 da Goldwasser, Micali e Rackoff, ha rivoluzionato il modo di concepire la sicurezza, trovando applicazione in molteplici ambiti come l’autenticazione, le firme digitali e, più recentemente, le blockchain e le criptovalute.