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

Add spec for Ind_cpa unpacked functions #612

Closed

mamonet wants to merge 2 commits into dev from ind-cpa-proofs

Member

mamonet commented Oct 1, 2024

This PR has the folllowing changes

Add spec for unpacked functions
Add post-conditions for related functions in ind_cpa and mark them as panic free (No proofs yet)
Link sample_ring_element_cbd with spec


          Add spec for Ind_cpa unpacked functions

b93b5a3

mamonet requested a review from karthikbhargavan

October 1, 2024 11:00


          Add proof for sample_ring_element_cbd

53bd075

Member Author

mamonet commented Oct 14, 2024

This PR is part of #630 now

mamonet closed this

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

Labels

None yet