github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-09 14:47:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore(ci): deduplicate parameters set to send to lattice estimator

Browse Source 
From SageMath point of view some tfhe-rs parameters set are
equivalent. We deduplicate those by storing their name in the tag
field. Grouping them that way we decrease analysis time
dramatically.
This commit is contained in:
David Testé
2025-02-13 12:26:00 +01:00
committed by David Testé
parent 8756869fe3
commit 7ee49387fe
3 changed files with 103 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
ci/lattice_estimator.sage
View File

@@ -34,12 +34,17 @@ def check_security(filename):
to_update = []
to_watch = []
for param in all_params:
if param.tag.startswith("TFHE_LIB_PARAMETERS"):
for group_index, param in enumerate(all_params):
if "TFHE_LIB_PARAMETERS_lwe" in param.tag or "TFHE_LIB_PARAMETERS_glwe" in param.tag:
# This third-party parameters set is known to be less secure, just skip the analysis.
continue
print(f"\t{param.tag}...\t", end="")
print(f"\tParameters group #{group_index}:")
for param_name in sorted(param.tag):
print(
f"\t\t{param_name}\t",
)
print(f"\tParameters group #{group_index}...\t", end="")
is_n_size_too_low = param.n <= 450
is_noise_level_too_low = param.Xe.stddev < 4.0
@@ -102,7 +107,9 @@ if __name__ == "__main__":
print("Some parameters need attention")
print("------------------------------")
for param, reason in params_to_watch:
print(f"[{param.tag}] reason: {reason} (param: {param})")
params = ",\n\t".join(param.tag)
print("[\n\t", params, "\n]", sep="")
print(f"--> reason: {reason} (param: {param})\n")
if params_to_update:
if params_to_watch:
@@ -111,7 +118,9 @@ if __name__ == "__main__":
print("Some parameters need update")
print("---------------------------")
for param, reason in params_to_update:
print(f"[{param.tag}] reason: {reason} (param: {param})")
params = ",\n\t".join(param.tag)
print("[\n\t", params, "\n]", sep="")
print(f"--> reason: {reason} (param: {param})\n")
sys.exit(int(1)) # Explicit conversion is needed to make this call work
else:
print("All parameters passed the security check")