Merge pull request #290 from Crypto-TII/feat/add_hybrid_impossible_xo…

…r_differential_model Feat/add hybrid impossible xor differential model
Crypto-TII · Nov 11, 2024 · 28d11dd · 28d11dd
2 parents 6ae63d5 + 7d3a6a5
commit 28d11dd
Show file tree

Hide file tree

Showing 6 changed files with 965 additions and 20 deletions.
diff --git a/...cipher_modules/models/cp/mzn_models/mzn_deterministic_truncated_xor_differential_model.py b/...cipher_modules/models/cp/mzn_models/mzn_deterministic_truncated_xor_differential_model.py
@@ -435,10 +435,10 @@ def output_inverse_constraints(self, component):
 
         return cp_declarations, cp_constraints
 
-    def propagate_deterministically(self, component, wordwise=False):
+    def propagate_deterministically(self, component, wordwise=False, inverse=False):
         if not wordwise:
             if component.type == SBOX:
-                variables, constraints, sbox_mant = component.cp_deterministic_truncated_xor_differential_trail_constraints(self.sbox_mant)
+                variables, constraints, sbox_mant = component.cp_deterministic_truncated_xor_differential_trail_constraints(self.sbox_mant, inverse)
                 self.sbox_mant = sbox_mant
             else:
                 variables, constraints = component.cp_deterministic_truncated_xor_differential_trail_constraints()