Implement parameter generation of "Approximate Homomorphic Encryption with Reduced Approximation Error"

[ZenithalHourlyRate]

Approximate Homomorphic Encryption with Reduced Approximation Error introduced a way to reduce the rescaling error in CKKS via special parameter generation process.

This is somewhat related to #1169 but worth a separate issue for TODO tracking.

• Introduce the modulus selection algorithm in generate-param-ckks
• Modify scaling factor in LWE type to support high-precision scaling factor tracking, as we currently only tracks logScale (int) for CKKS for the ease of implementation in BGV/CKKS: support scale management #1459

[github-actions]

This issue has 5 outstanding TODOs:

• lib/Analysis/ScaleAnalysis/ScaleAnalysis.cpp:75: support high-precision scale management
• lib/Analysis/ScaleAnalysis/ScaleAnalysis.cpp:81: support high-precision scale management
• lib/Analysis/ScaleAnalysis/ScaleAnalysis.cpp:88: rescale using logqi instead of logDefaultScale
• lib/Analysis/ScaleAnalysis/ScaleAnalysis.cpp:98: rescale using logqi instead of logDefaultScale
• lib/Transforms/PopulateScale/PopulateScaleCKKS.cpp:35: support high-precision scale management

This comment was autogenerated by todo-backlinks