Update AUXMODSIZE for CKKS #940
Description
AUXMODSIZE should be set to 28 for 32-bit numbers. This is needed when CKKS is run on a 32-bit architecture.
{{ message }}
AUXMODSIZE should be set to 28 for 32-bit numbers. This is needed when CKKS is run on a 32-bit architecture.