TrivialEncrypt takes a plaintext number and encrypts it to a _compact_ ciphertext using the server/computation key - obviously this doesn't hide any information as the number was known plaintext.

Verify takes inputs from the user and runs them through verification.