FHElium

fhelium.compile.passes.lowering._driver ​

Register default CKKS lowerings and transform complete Programs.

DEFAULT_CKKS_LOWERINGS ​

constant View source

python
DEFAULT_CKKS_LOWERINGS = CkksLoweringRegistry((*ARITHMETIC_LOWERINGS, *REPRESENTATION_LOWERINGS, *KEY_SWITCH_LOWERINGS, *ROTATION_SUM_LOWERINGS, *MODULUS_RAISE_LOWERINGS))

apply_lowering ​

function View source

python
def apply_lowering(operation, config, compilation, *, registry, requested=None): ...

Replace an operation and complete its replacement material declarations.

lower_ckks_program ​

function View source

python
def lower_ckks_program(compilation, config: CkksConfig | None, *, registry: CkksLoweringRegistry=DEFAULT_CKKS_LOWERINGS, selections: Mapping[str, str] | None=None, preserve: Collection[str]=()) -> _LoweringResult: ...

Apply selected CKKS lowerings while preserving other mixed-level IR.