Signed

Signed values allow you to perform integer arithmetic as follows (recall that at least one operand must be a ciphertext):

operationoperand
addciphertext, plaintext, i64 literal
subciphertext, plaintext, i64 literal
mulciphertext, plaintext, i64 literal

Additionally, you can perform unary negation on encrypted Signed values.

Representation

Signed values contain thousands of binary digits of precision, easily enough to store any i64 value.