fix BDD Binary Circuits

2026-02-10 21:26:41 +01:00 · 2025-10-08 17:57:40 +02:00
parent 6357a05509
commit 8eafcaff1f
4 changed files with 823 additions and 140 deletions
--- a/poulpy-schemes/src/tfhe/bdd_arithmetic/bdd_2w_to_1w.rs
+++ b/poulpy-schemes/src/tfhe/bdd_arithmetic/bdd_2w_to_1w.rs
@@ -205,7 +205,7 @@ impl_bdd_2w_to_1w_trait!(
    Or,
    or,
    u32,
-    1,
+    32,
    circuits::u32::or_codegen::AnyBitCircuit,
    circuits::u32::or_codegen::OUTPUT_CIRCUITS
 );
@@ -214,7 +214,7 @@ impl_bdd_2w_to_1w_trait!(
    Xor,
    xor,
    u32,
-    1,
+    32,
    circuits::u32::xor_codegen::AnyBitCircuit,
    circuits::u32::xor_codegen::OUTPUT_CIRCUITS
 );