From c56e2cee2af2a61432ee52f802d28d47eda97acc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Test=C3=A9?= Date: Wed, 20 Sep 2023 11:07:46 +0200 Subject: [PATCH] chore(ci): print security level in parameters check The devo profile is used to speed up the compilation phase. --- .github/workflows/parameters_check.yml | 2 +- ci/lattice_estimator.sage | 7 ++++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/parameters_check.yml b/.github/workflows/parameters_check.yml index 0c59b9e343..520ba034dd 100644 --- a/.github/workflows/parameters_check.yml +++ b/.github/workflows/parameters_check.yml @@ -32,7 +32,7 @@ jobs: - name: Collect parameters run: | - make write_params_to_file + CARGO_PROFILE=devo make write_params_to_file - name: Perform security check run: | diff --git a/ci/lattice_estimator.sage b/ci/lattice_estimator.sage index 8b2312e59e..a3b74b0560 100755 --- a/ci/lattice_estimator.sage +++ b/ci/lattice_estimator.sage @@ -43,16 +43,17 @@ def check_security(filename): dual_level = LWE.dual_hybrid(param, red_cost_model = model) estimator_level = log(min(usvp_level["rop"], dual_level["rop"]),2 ) + security_level = f"security level = {estimator_level} bits" if estimator_level < 127: - print("FAIL") - reason = f"attained security level = {estimator_level} bits target is 128 bits" + print("FAIL\t({security_level})") + reason = f"attained {security_level} target is 128 bits" to_update.append((param, reason)) continue except Exception as err: print("FAIL") to_update.append((param, f"{repr(err)}")) else: - print("OK") + print(f"OK\t({security_level})") return to_update