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

Use hacl sha3 mb #149

Merged
merged 17 commits into from
Dec 7, 2023
Merged

Use hacl sha3 mb #149

merged 17 commits into from
Dec 7, 2023

Commits on Dec 1, 2023

  1. bump version to 0.0.2-pre.2 (#139)

    @franziskuskiefer
    franziskuskiefer authored Dec 1, 2023
    Configuration menu
    Copy the full SHA
    52ba3f4 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Merge branch 'main' into franziskus/hacl-sha3-mb

    @franziskuskiefer
    franziskuskiefer committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    4549bf6 View commit details
    Browse the repository at this point in the history

  2. update to hacl-packages dev 6b66fae6cbb28b0627ed63153c32b2dd979dcb3f

    @franziskuskiefer
    franziskuskiefer committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    f3dc5f1 View commit details
    Browse the repository at this point in the history

  3. use sha3-mb in kyber

    @franziskuskiefer
    franziskuskiefer committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    10d8e36 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Update HACL-sys package to 5a098da4c6580d36388a3a237e91cb3db259e20c

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    12b149f View commit details
    Browse the repository at this point in the history

  2. Fixed build issues in HACL crate.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    b55aeb8 View commit details
    Browse the repository at this point in the history

  3. Fixed build on x84-64 systems.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    1b1c137 View commit details
    Browse the repository at this point in the history

  4. Make XOFx4 conditional at compile time.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    a9191c7 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'dev' into franziskus/hacl-sha3-mb

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    6380d11 View commit details
    Browse the repository at this point in the history

  6. Update libcrux dependency in Kyber specification.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    7fdfd26 View commit details
    Browse the repository at this point in the history

  7. Update specification extraction.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    a676463 View commit details
    Browse the repository at this point in the history

  8. Fix reference extraction.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    697d323 View commit details
    Browse the repository at this point in the history

  9. Trying to add an Fstar interface for Hacl SIMD Sha3.

    @xvzcf
    xvzcf committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    d6ecfa0 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. better sha3mb

    @franziskuskiefer
    franziskuskiefer committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    1d82ecb View commit details
    Browse the repository at this point in the history

  2. Revert "Trying to add an Fstar interface for Hacl SIMD Sha3." 

    This reverts commit d6ecfa0.
    @franziskuskiefer
    franziskuskiefer committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    97859f8 View commit details
    Browse the repository at this point in the history

  3. fix extraction for shake128x4

    @franziskuskiefer
    franziskuskiefer committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    eb9ea24 View commit details
    Browse the repository at this point in the history

  4. remove commented code in sha3.rs

    @franziskuskiefer
    franziskuskiefer committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    415a4f0 View commit details
    Browse the repository at this point in the history