cloud - assisted multiparty computation from fully homomorphic encryption .
A note on efficient zero-knowledge proofs and arguments (extended abstract)