Verifiable Privacy-Preserving Computing

arXiv:2309.08248v3 Announce Type: replace
Abstract: Privacy-preserving computation (PPC) methods, such as secure multiparty computation (MPC) and homomorphic encryption (HE), are deployed increasingly often to guarantee data confidentiality in computations over private, distributed data. Similarly, we observe a steep increase in the adoption of zero-knowledge proofs (ZKPs) to guarantee (public) verifiability of locally executed computations. We project that applications that are data intensive and require strong privacy guarantees, are also likely to require verifiable correctness guarantees, especially when outsourced. While the …

adoption arxiv computation computing confidentiality cs.cr data distributed encryption guarantee homomorphic encryption knowledge locally mpc observe privacy private project public secure multiparty computation zkps