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

Add Kyber512 and Kyber1024 reference implementation #109

Merged
merged 19 commits into from
Oct 11, 2023
Merged

Add Kyber512 and Kyber1024 reference implementation #109

merged 19 commits into from
Oct 11, 2023

Commits on Oct 10, 2023

  1. Some reorganization and refactoring.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    df1ccac View commit details
    Browse the repository at this point in the history

  2. Added reference implementation of Kyber512.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    c9b5d90 View commit details
    Browse the repository at this point in the history

  3. Added reference implementation of Kyber1024.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    b705249 View commit details
    Browse the repository at this point in the history

  4. cargo fmt

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    403ad3e View commit details
    Browse the repository at this point in the history

  5. Updated kyber tests.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    a67bea5 View commit details
    Browse the repository at this point in the history

  6. Update F-star extraction.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    4890bf9 View commit details
    Browse the repository at this point in the history

  7. chunks -> chunks_exact

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    015bcd7 View commit details
    Browse the repository at this point in the history

  8. Slight refactoring.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    d7ec486 View commit details
    Browse the repository at this point in the history

  9. Don't take needless references.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    8860224 View commit details
    Browse the repository at this point in the history

  10. Ensure secret key is actually modified.

    @xvzcf
    xvzcf committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    22202bc View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. Add python scripts to generate the KATs.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    65aefb6 View commit details
    Browse the repository at this point in the history

  2. Add generic parameter to decompress.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    a053828 View commit details
    Browse the repository at this point in the history

  3. Misc review comments.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    e0d804f View commit details
    Browse the repository at this point in the history

  4. Refactored kyber_nistkats test code.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    2fc1467 View commit details
    Browse the repository at this point in the history

  5. Update F-star extraction script and it's use in CI to reflect the lat… 

    …est hax version.
    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    b185f45 View commit details
    Browse the repository at this point in the history

  6. Update F-star extraction for Kyber reference code.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    f764d5b View commit details
    Browse the repository at this point in the history

  7. Fix bugs in extraction script.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    0a02f62 View commit details
    Browse the repository at this point in the history

  8. Update F-star extraction for Kyber specification.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    d61e642 View commit details
    Browse the repository at this point in the history

  9. More fixing extract_to_fstar.py.

    @xvzcf
    xvzcf committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    01e1ea6 View commit details
    Browse the repository at this point in the history