Enforced range check for integration (#23)

* Enforced range check for integration

Author: ymeng-git

host/src/dl_kernel_interfaces.cpp

@@ -16,7 +16,8 @@ DynamicIF::DynamicIF(const std::string& libName) : m_lib_name_(libName) {
         std::cout << "dlopen error: " << dlerror() << std::endl;
         exit(-1);
     } else {
-        std::cout << "Successfull Opened : " << m_lib_name_ << std::endl;
+        std::cout << "Successfully opened library: " << m_lib_name_
+                  << std::endl;
     }
 }
 DynamicIF::~DynamicIF() {

host/src/fpga_int.cpp

@@ -442,9 +442,7 @@ static void fpga_KeySwitch(uint64_t* result, const uint64_t* t_target_iter_ptr,
             fence |= (rns_modulus_size != obj_KeySwitch->rns_modulus_size_);
             fence |=
                 (key_component_count != obj_KeySwitch->key_component_count_);
-            fence |= (moduli != obj_KeySwitch->moduli_);
             fence |= (k_switch_keys != obj_KeySwitch->k_switch_keys_);
-            fence |= (modswitch_factors != obj_KeySwitch->modswitch_factors_);
         }
     }
 

host/src/keyswitch.cpp

@@ -28,6 +28,10 @@ void KeySwitch(uint64_t* result, const uint64_t* t_target_iter_ptr, uint64_t n,
     FPGA_ASSERT(rns_modulus_size > 0, "requires rns_modulus_size > 0");
     FPGA_ASSERT(key_component_count == 2, "requires key_component_count = 2");
     FPGA_ASSERT(moduli, "requires moduli != nullptr");
+    for (uint64_t i = 0; i < decomp_modulus_size; ++i) {
+        FPGA_ASSERT((moduli[i] >= (1UL << 16)) && (moduli[i] <= (1UL << 52)),
+                    "requires each modulus to be in the range of [2^16, 2^52]");
+    }
     FPGA_ASSERT(k_switch_keys, "requires k_switch_keys != nullptr");
     FPGA_ASSERT(modswitch_factors, "requires modswitch_factors != nullptr");