Questa tesi magistrale esplora i fondamenti teorici della tecnologia Zero-Knowledge Proof (ZKP), introdotti per la prima volta da Silvio Micali nel white paper "The Knowledge Complexity of Interactive Proof Systems", e le ...