FHElium

Appearance

fhelium.compile.passes.lowering._representation ​

Lower CKKS representation and depth transitions into logical operations.

REPRESENTATION_LOWERINGS ​

constant View source

python
REPRESENTATION_LOWERINGS = (CkksLoweringDefinition('rns-ntt-transition', ckks.ToNttOp, _lower_ntt, is_default=True), CkksLoweringDefinition('rns-ntt-transition', ckks.FromNttOp, _lower_ntt, is_default=True), CkksLoweringDefinition('rns-drop-leading-prime', ckks.RescaleOp, _lower_rescale, is_default=True), CkksLoweringDefinition('rns-residue-conversion', ckks.ToMontgomeryResiduesOp, _lower_residue_conversion, is_default=True), CkksLoweringDefinition('rns-residue-conversion', ckks.ToStandardResiduesOp, _lower_residue_conversion, is_default=True), CkksLoweringDefinition('rns-restrict-depth', ckks.ModSwitchOp, _lower_mod_switch, is_default=True), CkksLoweringDefinition('rns-reinterpret-scale', ckks.ReinterpretScaleOp, _lower_reinterpret_scale, is_default=True))