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