Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme - View it on GitHub