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

Expose the SHAKE-128 incremental API in libcrux and add 100,000 Kyber KAT tests using this API #156

Closed
wants to merge 24 commits into from
Closed

Expose the SHAKE-128 incremental API in libcrux and add 100,000 Kyber KAT tests using this API #156

wants to merge 24 commits into from

Commits on Jan 3, 2024

  1. Update hacl-sys crate.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8f23c29 View commit details
    Browse the repository at this point in the history

  2. Refine the allowlist in hacl-sys crate.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    529e230 View commit details
    Browse the repository at this point in the history

  3. Add (only) the SHAKE128 incremental API to the hacl-sys crate.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    d0d3fe0 View commit details
    Browse the repository at this point in the history

  4. Added shake128 incremental API to sha3::hacl module.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    9364c28 View commit details
    Browse the repository at this point in the history

  5. Start adding 10,000 KAT kyber tests.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    c204567 View commit details
    Browse the repository at this point in the history

  6. Renaming and towards adding another KAT test.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    2e40828 View commit details
    Browse the repository at this point in the history

  7. 10,000 KAT test passes.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    b212a4d View commit details
    Browse the repository at this point in the history

  8. Add test for 100,000 Kyber768 KATs.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    08f96b2 View commit details
    Browse the repository at this point in the history

  9. Add python script for generating the 100,000 KAT hash.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    deceb3b View commit details
    Browse the repository at this point in the history

  10. Rename test file.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    58f2191 View commit details
    Browse the repository at this point in the history

  11. Add 5000 KAT test for local testing and rename test file again.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    b916768 View commit details
    Browse the repository at this point in the history

  12. Added feature-gated 100,000 Kyber KAT test.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8a206c2 View commit details
    Browse the repository at this point in the history

  13. Added requirements.txt and updated README in kyber_kats/

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    2bd0770 View commit details
    Browse the repository at this point in the history

  14. Run 100,000 tests in CI.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    7efdc5a View commit details
    Browse the repository at this point in the history

  15. Add note about PyPy.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    01b116d View commit details
    Browse the repository at this point in the history

  16. Comments.

    @xvzcf
    xvzcf committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    0cd02f6 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2024

  1. adapted kyber to use AbsorbOnceSqueezeMany api

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    701da3e View commit details
    Browse the repository at this point in the history

  2. merged

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    b0e3ecc View commit details
    Browse the repository at this point in the history

  3. fixes

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    a9df869 View commit details
    Browse the repository at this point in the history

  4. rust format

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    777e0c8 View commit details
    Browse the repository at this point in the history

  5. added slow kats

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    4fb697a View commit details
    Browse the repository at this point in the history

  6. workflow fix

    @karthikbhargavan
    karthikbhargavan committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    b20a6df View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. added missing includes

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

  2. added missing msvc c files for SHA3 with squeeze API

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