Verifiable Privacy-Preserving Computing: Combining Cryptographic Techniques for Secure and Auditable Distributed Computations

This work analyzes existing solutions that combine verifiability with privacy-preserving computations over distributed data, in order to preserve confidentiality and guarantee correctness at the same time.