Enum sunscreen_fhe_program::Operation

pub enum Operation {
    ShiftLeft,
    ShiftRight,
    SwapRows,
    Relinearize,
    Multiply,
    MultiplyPlaintext,
    Add,
    AddPlaintext,
    Negate,
    Sub,
    SubPlaintext,
    InputCiphertext(usize),
    InputPlaintext(usize),
    Literal(Literal),
    OutputCiphertext,
}

An operation in the execution graph.

Variants

ShiftLeft

Rotate each row in an encrypted Batched type to the left.

ShiftRight

Rotate each row in an encrypted Batched type to the right.

SwapRows

In some schemes (i.e. BFV), Batched types cannonically form a 2xN matrix. This operator swaps the rows.

While ciphertexts may contain more rows after multiplication and before relinearization, Sunscreen relinearizes at the appropriate time to ensure this operation only ever sees cannonical ciphertexts.

Relinearize

In some schemes (i.e. BFV), this operation prevents future noise growth after a multiplication operation by reducing the resultant 3xN ciphertext down to the cannonical 2xN.

Multiply

Multiply two ciphertext values.

MultiplyPlaintext

Multiply a ciphertext and a plaintext

Add

Add two ciphertext values.

AddPlaintext

Add a plaintext to a ciphertext.

Negate

Computes the additive inverse of a ciphertext.

Sub

Subtracts the right ciphertext from the left ciphertext.

SubPlaintext

Subtracts a plaintext from a ciphertext.

InputCiphertext(usize)

Represents an input ciphertext for the FHE program.

InputPlaintext(usize)

Represents an input plaintext for the current FHE program.

Literal(Literal)

Represents a literal value.

OutputCiphertext

Represents a ciphertext output for the FHE program.

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a copy of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Operation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<Operation> for Operation

fn eq(&self, other: &Operation) -> bool

This method tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Operation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Operation