From dad3352444bf5a375993b6371ae8cb37db01d3f3 Mon Sep 17 00:00:00 2001 From: Sam Hadow Date: Thu, 11 Jun 2026 15:43:37 +0200 Subject: [PATCH] comment changes --- src/tea3/variable_search.py | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/src/tea3/variable_search.py b/src/tea3/variable_search.py index cd90876..83b1c71 100644 --- a/src/tea3/variable_search.py +++ b/src/tea3/variable_search.py @@ -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,