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.

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

Kyber: add proofs for serialize_uncompressed_ring_element #202

Merged
merged 7 commits into from
Feb 20, 2024
Merged

Kyber: add proofs for serialize_uncompressed_ring_element #202

merged 7 commits into from
Feb 20, 2024

Commits on Feb 20, 2024

  1. feat(kyber/F*): serialize: introduce BitVecEq

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    9e9eaf8 View commit details
    Browse the repository at this point in the history

  2. feat(kyber/F*): proof for serialize_uncompress_ring_element

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d277917 View commit details
    Browse the repository at this point in the history

  3. fix(kyber/F*): spec, force subtype on bit vectors

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f7ecf28 View commit details
    Browse the repository at this point in the history

  4. feat(kyber/F*): utilitary functions

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    9b6e1e5 View commit details
    Browse the repository at this point in the history

  5. fix(kyber/fstar): tweak some Artihmetic.fst proofs & rlimit

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    056d0cb View commit details
    Browse the repository at this point in the history

  6. chore(kyber/F*): bump rlimits

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3886944 View commit details
    Browse the repository at this point in the history

  7. chore(kyber/F*): patches and hints

    @W95Psp
    W95Psp committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d686389 View commit details
    Browse the repository at this point in the history