Comment by _reza

ZKP and FHE let you verify whatever you like. The former leaks data while the latter doesn't.