Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make dependence on number of openings explicit in security estimator #242

Merged
merged 1 commit into from
Feb 1, 2024

Conversation

Al-Kindi-0
Copy link
Contributor

As the title says and it corrects a few minor mistakes. The security estimates do not change (when rounding to bits) after testing with some of the examples.

Copy link
Collaborator

@irakliyk irakliyk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thank you for updating this!

I think it would be good to add a test for get_proven_security() function at a few sample parameter sets. For example, we could use:base_field_bits = 64, collision_resistance = 128, trace_domain_size = 2^20, and then vary num_queries, blowup_factor, and extension_degree to get 96 bits or 128 bits of security.

These could be good "sanity checks" to make sure the numbers we are getting are as expected.

@Al-Kindi-0
Copy link
Contributor Author

Added some tests for sanity checking things. Let me know if we need to add anything else.

Copy link
Collaborator

@irakliyk irakliyk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The tests look great! Thank you! I left a few small nits inline - but this is basically ready to merge.

air/src/proof/mod.rs Outdated Show resolved Hide resolved
air/src/proof/mod.rs Outdated Show resolved Hide resolved
air/src/proof/mod.rs Outdated Show resolved Hide resolved
air/src/proof/mod.rs Outdated Show resolved Hide resolved
air/src/proof/mod.rs Show resolved Hide resolved
… use

fix: rustfmt

test: add sanity tests for proven security

test: add test for 128 bits of security

test: add 96 bits test and extension degree sanity test

chore: minor nits
Copy link
Collaborator

@irakliyk irakliyk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All looks good! Thank you!

@irakliyk irakliyk merged commit 08c31cb into facebook:main Feb 1, 2024
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants