sam.hadow/tea3-py
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

comment changes

Browse Source
This commit is contained in:
Sam Hadow
2026-06-11 15:43:37 +02:00
parent b85d5a8d8d
commit dad3352444
1 changed files with 8 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/tea3/variable_search.py
+8 -11
View File
@@ -42,14 +42,14 @@ def apply_variable_change_matrix(model, M_binary):
def make_first_row_matrix(coeffs):
"""
| 1 a1 a2 a3 a4 a5 a6 a7 |
| 0 1 0 0 0 0 0 0 |
| 0 0 1 0 0 0 0 0 |
| 0 0 0 1 0 0 0 0 |
| 0 0 0 0 1 0 0 0 |
| 0 0 0 0 0 1 0 0 |
| 0 0 0 0 0 0 1 0 |
| 0 0 0 0 0 0 0 1 |
| 1 a1 a2 a3 a4 a5 a6 a7 |
| 0 1 0 0 0 0 0 0 |
| 0 0 1 0 0 0 0 0 |
| 0 0 0 1 0 0 0 0 |
| 0 0 0 0 1 0 0 0 |
| 0 0 0 0 0 1 0 0 |
| 0 0 0 0 0 0 1 0 |
| 0 0 0 0 0 0 0 1 |
"""
M = identity_matrix(GF(2), 8)
for j, a in enumerate(coeffs, start=1):
@@ -76,8 +76,6 @@ def make_staircase_matrix(coeffs):
def make_staircase2_matrix(coeffs):
"""
y = M x with:
| 1 0 0 0 0 0 0 a1 |
| a2 1 0 0 0 0 0 0 |
| 0 a3 1 0 0 0 0 0 |
@@ -160,7 +158,6 @@ def run_exhaustive(steps: int, target_reg: int = 0, target_bit: int = -1):
target_reg=target_reg, target_bit=target_bit,
)
def run_exhaustive_staircase(steps: int, target_reg: int = 0, target_bit: int = -1):
return run_exhaustive_generic(
steps, make_staircase_matrix, n_params=8,