Zkp, Zero Knowledge Proofs, Groth16, Zksnark, Market Analysis.
based on FHE is very easy, consisting of a delegator and a worker. The delegator first encrypts its witness and directly sends it to the worker. The worker computes the proof over the witness ciphertext, and sends the encrypted proof back. Finally, the delegator decrypts the proof. Hence, both the