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

ML-KEM CCA Spec Link #483

Merged
merged 19 commits into from
Aug 13, 2024
Merged

ML-KEM CCA Spec Link #483

merged 19 commits into from
Aug 13, 2024

Commits on Aug 8, 2024

  1. Update MLKEM spec

    @mamonet
    mamonet committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    22de2d0 View commit details
    Browse the repository at this point in the history

  2. ind_cca is panic-free

    @karthikbhargavan
    karthikbhargavan committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    0c800c3 View commit details
    Browse the repository at this point in the history

  3. more modules are panic free

    @karthikbhargavan
    karthikbhargavan committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    fbe147d View commit details
    Browse the repository at this point in the history

  4. propagated preconditions to API modules

    @karthikbhargavan
    karthikbhargavan committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    a0312a2 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. WIP cca proof

    @karthikbhargavan
    karthikbhargavan committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    9e22300 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Set post-condition for MlKemKeyPair::from in types.rs

    @mamonet
    mamonet committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    120a343 View commit details
    Browse the repository at this point in the history

  2. Proof for serialize_kem_secret_key

    @mamonet
    mamonet committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    a6bd01f View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Post-condition for ind_cca::encapsulate

    @mamonet
    mamonet committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    da9ecb2 View commit details
    Browse the repository at this point in the history

  2. Replace v_Hasher with $:Hasher

    @mamonet
    mamonet committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    0cd001e View commit details
    Browse the repository at this point in the history

  3. Set full pre-conditions for ind_cpa::encrypt

    @mamonet
    mamonet committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    6339437 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. ind-cca panic free

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    0d63653 View commit details
    Browse the repository at this point in the history

  2. merged

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    5321797 View commit details
    Browse the repository at this point in the history

  3. refreshed c code

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    643c4df View commit details
    Browse the repository at this point in the history

  4. Merge branch 'ml-kem-spec-cca' of https://github.com/cryspen/libcrux … 

    …into ml-kem-spec-cca
    @mamonet
    mamonet committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    ef393c9 View commit details
    Browse the repository at this point in the history

  5. Set pre/post-conditions for ind_cpa::decrypt

    @mamonet
    mamonet committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    85141bc View commit details
    Browse the repository at this point in the history

  6. verified

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    004ec4a View commit details
    Browse the repository at this point in the history

  7. verified again

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6fb20ad View commit details
    Browse the repository at this point in the history

  8. cargo lock

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    efb652c View commit details
    Browse the repository at this point in the history

  9. restored panic freedom for top-level apis

    @karthikbhargavan
    karthikbhargavan committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6762545 View commit details
    Browse the repository at this point in the history