'Optimizer' Dialect

Auxiliary operations for the interaction with the optimizer

Operation definition

`Optimizer.partition_frontier` (::mlir::concretelang::Optimizer::PartitionFrontierOp)

Models an explicit edge between two partitions

Models an explicit edge between two partitions in the solution determined by the optimizer requiring a key change between the encrypted values of the operand and the encrypted values of the result.

Traits: AlwaysSpeculatableImplTrait

Interfaces: ConditionallySpeculatable, NoMemoryEffect (MemoryEffectOpInterface)

Effects: MemoryEffects::Effect{}

Attributes:

Attribute	MLIR Type	Description
`inputKeyID`	::mlir::IntegerAttr	64-bit signless integer attribute
`outputKeyID`	::mlir::IntegerAttr	32-bit signless integer attribute

Operands:

Operand	Description
`input`	any type

Results:

Result	Description
«unnamed»	any type

1.1 KiB Raw Permalink Blame History