2020.05.11 SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization