Snark-friendly, Additively-homomorphic, and Verifiable Encryption & de…zkryptoMay 11, 20201 min read2020.05.11 SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization