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

Port proofs for constant_time_ops.rs #559

Merged
merged 15 commits into from
Sep 24, 2024
Merged

Port proofs for constant_time_ops.rs #559

merged 15 commits into from
Sep 24, 2024

Commits on Aug 14, 2024

  1. Proof for inz/is_non_zero

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

Commits on Sep 3, 2024

  1. Merge branch 'dev-constant-time' of https://github.com/cryspen/libcrux … 

    …into dev-constant-time
    @mamonet
    mamonet committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    cadb420 View commit details
    Browse the repository at this point in the history

  2. Remove unsafe code from include to avoid being rejected by hax.

    @maximebuyse @mamonet
    maximebuyse authored and mamonet committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    bd25135 View commit details
    Browse the repository at this point in the history

  3. Backport proof for compare in constant_time_ops

    @mamonet
    mamonet committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    e6aa9af View commit details
    Browse the repository at this point in the history

  4. Backport proofs for constant_time_ops.rs

    @mamonet
    mamonet committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    4b5a63b View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Remove curly brackets from Tactics.GetBit.fst

    @mamonet
    mamonet committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    b01cd8c View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge branch 'dev' into dev-constant-time

    @karthikbhargavan
    karthikbhargavan authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    a259ee4 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Merge remote-tracking branch 'origin/dev' into dev-constant-time

    @mamonet
    mamonet committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    db5ff02 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Add proofs for encapsulate/decapsulate in Ind_cca

    @mamonet
    mamonet committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    bc1ba13 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into dev-constant-time

    @mamonet
    mamonet committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6f38bb3 View commit details
    Browse the repository at this point in the history

  3. Add post-condition for entropy_preprocess

    @mamonet
    mamonet committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    15d46eb View commit details
    Browse the repository at this point in the history

  4. Merge branch 'dev' into dev-constant-time

    @karthikbhargavan
    karthikbhargavan authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    ff43a65 View commit details
    Browse the repository at this point in the history

  5. fstar

    @karthikbhargavan
    karthikbhargavan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    970017b View commit details
    Browse the repository at this point in the history

  6. verifies

    @karthikbhargavan
    karthikbhargavan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b1ecb42 View commit details
    Browse the repository at this point in the history

  7. c code refresh

    @karthikbhargavan
    karthikbhargavan committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a1aebab View commit details
    Browse the repository at this point in the history