The SAVER refers to a Snark-friendly, Additively-homomorphic, Verifiable Encryption/decryption with Rerandomization, an implementation of the cryptographic paper https://eprint.iacr.org/2019/1270.pdf.
The current version just includes an unorganized source dump; organized codes and instructions will be uploaded asap.