From ade160846578cce3f235958806d07fc3f86c3db3 Mon Sep 17 00:00:00 2001
From: Pro7ech <jeanphilippe.bossuat@gmail.com>
Date: Tue, 28 Oct 2025 11:18:36 +0100
Subject: [PATCH] move scratch trait requirement to be specific to method

---
 poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs | 2 --
 poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs           | 3 ++-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs b/poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs
index 3fe36ca..1f552d7 100644
--- a/poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs
+++ b/poulpy-schemes/src/tfhe/bdd_arithmetic/blind_rotation.rs
@@ -19,7 +19,6 @@ where
 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 @@ where
 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
diff --git a/poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs b/poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs
index 4613208..360c49a 100644
--- a/poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs
+++ b/poulpy-schemes/src/tfhe/bdd_arithmetic/eval.rs
@@ -146,7 +146,6 @@ pub enum Node {
 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 @@ where
         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);