fhelium.ir.dialects.logical

Operand-role logical arithmetic between semantic and CKKS IR.

Cheon-Kim-Kim-Song (CKKS) intermediate representation (IR) state is assigned after these operations record whether each value is encrypted or public.

AddEncryptedEncryptedOp

class View source

AddEncryptedEncryptedOp()

Bases: _BinaryLogicalOp

Return the logical pointwise sum of encrypted values.

For logical values representing slot tensors $x$ and $y$, the result represents $z_i=x_i+y_i$. This depth records operand roles only; CKKS depths, scales, residue rows, and polynomial representation are assigned by later passes. LowerLogicalToCkksPass maps this operation to ckks.AddOp once both operands have usable CKKS state.

Attributes

Name	Type	Default/value
name		'fhelium_logical.add.encrypted_encrypted'
lhs		operand_def(EncryptedType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

AddEncryptedPublicOp

class View source

AddEncryptedPublicOp()

Bases: _BinaryLogicalOp

Return the logical pointwise sum of encrypted $x$ and public $y$.

The result represents $z_i=x_i+y_i$. The public operand remains a message at this depth so later preparation can encode it at the encrypted operand's depth and scale before lowering to CKKS plaintext addition.

Attributes

Name	Type	Default/value
name		'fhelium_logical.add.encrypted_public'
lhs		operand_def(EncryptedType)
rhs		operand_def(PublicType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

AddPublicEncryptedOp

class View source

AddPublicEncryptedOp()

Bases: _BinaryLogicalOp

Return the logical pointwise sum of public $x$ and encrypted $y$.

The result represents $z_i=x_i+y_i$. Addition is commutative, so lowering prepares the public left operand as a CKKS plaintext and adds it to the encrypted right operand.

Attributes

Name	Type	Default/value
name		'fhelium_logical.add.public_encrypted'
lhs		operand_def(PublicType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

EncryptedType

class View source

EncryptedType()

Bases: OpenStateType

Logical encrypted value before CKKS representation planning.

Attributes

Name	Type	Default/value
name		'fhelium_logical.encrypted'
ROLE	ClassVar[ValueRole]	'encrypted'

FHEliumLogical

data View source

FHEliumLogical = Dialect('fhelium_logical', [*_LOGICAL_OPERATION_TYPES], [EncryptedType, PublicType])

MultiplyEncryptedEncryptedOp

class View source

MultiplyEncryptedEncryptedOp()

Bases: _BinaryLogicalOp

Return the logical pointwise product of encrypted values.

For slot tensors $x$ and $y$, the result represents $z_i=x_i{y}_i$. Later passes choose CKKS depths and scales, move polynomial payloads to the number-theoretic-transform representation, and lower to ckks.MultiplyOp.

Attributes

Name	Type	Default/value
name		'fhelium_logical.multiply.encrypted_encrypted'
lhs		operand_def(EncryptedType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

MultiplyEncryptedPublicOp

class View source

MultiplyEncryptedPublicOp()

Bases: _BinaryLogicalOp

Multiply encrypted $x$ pointwise by public $y$.

The result represents $z_i=x_i{y}_i$. The public operand is still a message here; CKKS preparation later encodes it at a selected scale and converts it to an operation-ready plaintext.

Attributes

Name	Type	Default/value
name		'fhelium_logical.multiply.encrypted_public'
lhs		operand_def(EncryptedType)
rhs		operand_def(PublicType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

MultiplyPublicEncryptedOp

class View source

MultiplyPublicEncryptedOp()

Bases: _BinaryLogicalOp

Multiply public $x$ pointwise by encrypted $y$.

The result represents $z_i=x_i{y}_i$. Multiplication is commutative, so the public left operand may be prepared as the plaintext operand of the eventual CKKS multiplication.

Attributes

Name	Type	Default/value
name		'fhelium_logical.multiply.public_encrypted'
lhs		operand_def(PublicType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

NegateEncryptedOp

class View source

NegateEncryptedOp()

Bases: _UnaryLogicalOp

Return the logical pointwise additive inverse of an encrypted value.

For a slot tensor $x$, the result represents $z_i=-x_i$. CKKS representation state remains open until lowering selects ckks.NegateOp.

Attributes

Name	Type	Default/value
name		'fhelium_logical.negate.encrypted'
value		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

OPERATION_SPECS

constant View source

OPERATION_SPECS: tuple[OperationSpec, ...] = tuple((registered_operation_spec(operation_type, 'logical') for operation_type in _LOGICAL_OPERATION_TYPES))

PublicType

class View source

PublicType()

Bases: OpenStateType

Logical public value classified for an encrypted consumer.

Attributes

Name	Type	Default/value
name		'fhelium_logical.public'
ROLE	ClassVar[ValueRole]	'message'

RollEncryptedOp

class View source

RollEncryptedOp()

Bases: _UnaryLogicalOp

Apply a cyclic displacement to the encrypted slot axis.

For $S$ slots and the inherited integer shift attribute $r$, the result represents torch.roll(x, r) on the selected logical dimension. CKKS lowering normalizes $r$ modulo $S$, resolves the corresponding Galois automorphism and rotation key, and replaces this operation with ckks.RotateOp. A zero normalized displacement is the identity.

Attributes

Name	Type	Default/value
name		'fhelium_logical.roll.encrypted'
value		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

SubtractEncryptedEncryptedOp

class View source

SubtractEncryptedEncryptedOp()

Bases: _BinaryLogicalOp

Return the logical pointwise difference of encrypted values.

For slot tensors $x$ and $y$, the result represents $z_i=x_i-y_i$. Later CKKS passes establish compatible depth, scale, basis, and residue state before lowering this operation to ckks.SubtractOp.

Attributes

Name	Type	Default/value
name		'fhelium_logical.subtract.encrypted_encrypted'
lhs		operand_def(EncryptedType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

SubtractEncryptedPublicOp

class View source

SubtractEncryptedPublicOp()

Bases: _BinaryLogicalOp

Subtract public $y$ pointwise from encrypted $x$.

The result represents $z_i=x_i-y_i$. Later passes encode and prepare the public right operand for the encrypted operand's CKKS state.

Attributes

Name	Type	Default/value
name		'fhelium_logical.subtract.encrypted_public'
lhs		operand_def(EncryptedType)
rhs		operand_def(PublicType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.

SubtractPublicEncryptedOp

class View source

SubtractPublicEncryptedOp()

Bases: _BinaryLogicalOp

Subtract encrypted $y$ pointwise from public $x$.

The result represents $z_i=x_i-y_i$. The operand order is significant: lowering must form the public-minus-encrypted result rather than reuse the encrypted-minus-public path.

Attributes

Name	Type	Default/value
name		'fhelium_logical.subtract.public_encrypted'
lhs		operand_def(PublicType)
rhs		operand_def(EncryptedType)
result		result_def(EncryptedType)

dependencies

method

def dependencies() -> OperationDependencies: ...

Describe result reads in this operation's value coordinates.