ZK = Calcolo Verificabile FHE = Calcolo Riservato ZK + FHE = Calcolo Riservato Verificabile