Zkp, Zero Knowledge Proofs, Groth16, Zksnark, Market Analysis.
delegator sends shares of the witness to several workers. Then, these workers interact with each other and generate the proof with their received shares. Finally, each worker gets a share of the proof and the delegator gets the final proof. MPC enjoys lower computation complexity than FHE. It is