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

Serial backends w/formally-verified field arithmetic for 32 & 64 bits #342

Merged
merged 8 commits into from Apr 13, 2021
Merged

Serial backends w/formally-verified field arithmetic for 32 & 64 bits #342

merged 8 commits into from Apr 13, 2021

Commits on Jan 11, 2021

  1. Add a fiat_u64_backend option to curve25519-dalek 

    This uses https://github.com/calibra/rust-curve25519-fiat/ to implement a new 64bit serial backend for dalek.

Co-authored-by: Zoe Parakevopoulou <zoopar@fb.com>
    @huitseeker
    huitseeker and Zoe Parakevopoulou committed Jan 11, 2021
    Copy the full SHA
    d684e13 View commit details
    Browse the repository at this point in the history

  2. Update the fiat backend to use the fiat-crypto package 

    https://crates.io/crates/fiat-crypto
    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    4ce680d View commit details
    Browse the repository at this point in the history

  3. implement conditional assign with fiat__25519_cmovznz_u64

    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    a9e50ea View commit details
    Browse the repository at this point in the history

  4. bump fiat-crypto version

    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    3422872 View commit details
    Browse the repository at this point in the history

  5. bump fiat-crypto version

    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    756a921 View commit details
    Browse the repository at this point in the history

  6. bump fiat-crypto version

    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    ce2e3f6 View commit details
    Browse the repository at this point in the history

  7. Add a fiat_u32 backend based on fiat-crypto as well. 

    Renames fiat backend directory to fiat_u64 and does the additional plumbing required to make fiat_{u32, u64}_backend equal alternatives.
Adds a few comments.
    @huitseeker
    huitseeker committed Jan 11, 2021
    Copy the full SHA
    abd1922 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2021

  1. add fiat backends to Travis tests

    @huitseeker
    huitseeker committed Jan 21, 2021
    Copy the full SHA
    d1ed427 View commit details
    Browse the repository at this point in the history