fhelium.backend.ckks._key_switch_preparation

Declare operands for complete native CKKS key-switch implementations.

native_key_switch_requirements

function View source

def native_key_switch_requirements(operation: Operation, config: CkksConfig) -> tuple[dict[str, Attribute], dict[str, dict[str, object]]] | None: ...

Select the whole implementation's internal schedule and declare operands.

Existing numerical operands are retained by Compile. Internal NTT choices belong to this native whole implementation; logical NTT operations exposed by a lowering use the ordinary NTT implementation selector instead.

prepare_native_key_switch

function View source

def prepare_native_key_switch(implementation, operation: Operation): ...

Require concrete invocation parameters before linking native execution.