I noticed that we can shrink lvl0 modulus to 16-bit because of increa…

…sed noise
virtualsecureplatform · Mar 14, 2024 · 5262998 · 5262998
1 parent 4aa32d2
commit 5262998
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/include/gate.hpp b/include/gate.hpp
@@ -6,7 +6,7 @@
 
 namespace TFHEpp {
 template <class brP, typename brP::targetP::T μ, class iksP, int casign,
-          int cbsign, typename brP::targetP::T offset>
+          int cbsign, std::make_signed_t<typename iksP::targetP::T> offset>
 inline void HomGate(TLWE<typename iksP::targetP> &res,
                     const TLWE<typename brP::domainP> &ca,
                     const TLWE<typename brP::domainP> &cb, const EvalKey &ek)

diff --git a/include/params/128bit.hpp b/include/params/128bit.hpp
@@ -13,7 +13,7 @@ struct lvl0param {
     static constexpr ErrorDistribution errordist =
         ErrorDistribution::ModularGaussian;
     static const inline double α = 0.000'092'511'997'467'675'6;  // fresh noise
-    using T = uint32_t;  // Torus representation
+    using T = uint16_t;  // Torus representation
     static constexpr T μ = 1U << (std::numeric_limits<T>::digits - 3);
     static constexpr uint32_t plain_modulus = 8;
     static constexpr double Δ =

diff --git a/include/params/concrete.hpp b/include/params/concrete.hpp
@@ -18,7 +18,7 @@ struct lvl0param {
         ErrorDistribution::ModularGaussian;
     static constexpr inline double α =
         0.000'092'511'997'467'675'6;  // fresh noise, 2^{-13.4}
-    using T = uint32_t;               // Torus representation
+    using T = uint16_t;               // Torus representation
     static constexpr T μ = 1U << (std::numeric_limits<T>::digits - 3);
     static constexpr uint32_t plain_modulus = 8;
     static constexpr double Δ =

diff --git a/thirdparties/cereal b/thirdparties/cereal
+12 −7		CMakeLists.txt
+1 −1		include/cereal/archives/xml.hpp
+4 −4		include/cereal/cereal.hpp
+5 −5		include/cereal/details/polymorphic_impl.hpp
+2 −2		sandbox/performance.cpp
+1 −1		sandbox/sandbox.cpp
+1 −1		sandbox/sandbox_vs.cpp