Yes, homomorphic encryption could complement verified computation to provide the privacy aspect, am I right