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.

Sign up for GitHub

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

Jump to bottom

sage: verify instances are secure using bounds in iacr/2024/310 #55

Merged

redshiftzero merged 1 commit into main from check_iacr_2024310

Mar 1, 2024

Member

redshiftzero commented Feb 29, 2024

Closes #54

This PR adds in Sage the conditions in Eqns 16 and 17 in the paper:

Screenshot 2024-02-29 at 12 06 51 PM

Which are satisfied for our instances:

% sage poseidonperm_x17.sage
instances secure vs iacr/2024/310 generic eigenpolynomial computation?
384.221507077532
True
449.620912537537
True
515.020317997543
True
645.819128917554
True
711.218534377559
True
776.617939837564
True
instances secure vs iacr/2024/310 generic root extraction?
True
True
True
True
True
True
True


          sage: verify instances are secure using bounds in iacr/2024/310

c675803

Member Author

redshiftzero commented Mar 1, 2024

Ci failing only due to unrelated issue #56

redshiftzero merged commit c5c38d6 into main

3 of 4 checks passed

redshiftzero deleted the check_iacr_2024310 branch

March 1, 2024 18:23

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet