Building Verifiable FHE using ZK with Zama