Removed inequalities for 3-bit XOR

Crypto-TII · Jun 10, 2024 · 18d028f · 18d028f
1 parent cba46de
commit 18d028f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...dels/milp/utils/dictionary_containing_truncated_xor_inequalities_between_n_input_bits.obj b/...dels/milp/utils/dictionary_containing_truncated_xor_inequalities_between_n_input_bits.obj
diff --git a/tests/unit/components/linear_layer_component_test.py b/tests/unit/components/linear_layer_component_test.py
@@ -325,8 +325,8 @@ def test_milp_wordwise_deterministic_truncated_xor_differential_constraints():
 
     assert str(constraints[0]) == '1 <= 1 + x_6 + x_8 + x_9 + x_10 + x_11 + x_13 + x_18 + x_19 - x_25'
     assert str(constraints[1]) == '1 <= 1 + x_6 + x_8 + x_9 + x_10 + x_11 + x_12 + x_13 + x_19 - x_25'
-    assert str(constraints[-2]) == '1 <= 2 - x_6 - x_8'
-    assert str(constraints[-1]) == '1 <= 1 + x_7 - x_8'
+    assert str(constraints[-2]) == '1 <= 1 + x_7 - x_8'
+    assert str(constraints[-1]) == '1 <= 1 + x_1 - x_2'
 
     cipher = AESBlockCipher(number_of_rounds=2)
     cipher_inverse = cipher.cipher_inverse()