M poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs → poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs

@@ -19,7 +19,6 @@
 pub trait GGSWBlindRotation<T: UnsignedInteger, BE: Backend>
 where
     Self: GLWEBlindRotation<T, BE> + VecZnxAddScalarInplace + VecZnxNormalizeInplace<BE>,
-    Scratch<BE>: ScratchTakeCore<BE>,
 {
     fn ggsw_to_ggsw_blind_rotation_tmp_bytes<R, K>(&self, res_infos: &R, k_infos: &K) -> usize
     where
@@ -139,7 +138,6 @@
 pub trait GLWEBlindRotation<T: UnsignedInteger, BE: Backend>
 where
     Self: GLWECopy + GLWERotate<BE> + Cmux<BE>,
-    Scratch<BE>: ScratchTakeCore<BE>,
 {
     fn glwe_to_glwe_blind_rotation_tmp_bytes<R, K>(&self, res_infos: &R, k_infos: &K) -> usize
     where

M poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs → poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs

@@ -146,7 +146,6 @@
 pub trait Cmux<BE: Backend>
 where
     Self: GLWEExternalProduct<BE> + GLWESub + GLWEAdd,
-    Scratch<BE>: ScratchTakeCore<BE>,
 {
     fn cmux_tmp_bytes<R, A, B>(&self, res_infos: &R, a_infos: &A, b_infos: &B) -> usize
     where
@@ -163,6 +162,7 @@ R: GLWEToMut,
         T: GLWEToRef,
         F: GLWEToRef,
         S: GGSWPreparedToRef<BE>,
+        Scratch<BE>: ScratchTakeCore<BE>,
     {
         self.glwe_sub(res, t, f);
         self.glwe_external_product_inplace(res, s, scratch);
@@ -174,6 +174,7 @@ where
         R: GLWEToMut,
         A: GLWEToRef,
         S: GGSWPreparedToRef<BE>,
+        Scratch<BE>: ScratchTakeCore<BE>,
     {
         self.glwe_sub_inplace(res, a);
         self.glwe_external_product_inplace(res, s, scratch);