From 4ce680d3aaec5d48e62213dd1942dfd3464aaccf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= <francois@garillot.net>
Date: Mon, 17 Feb 2020 09:42:41 -0500
Subject: [PATCH] Update the fiat backend to use the fiat-crypto package

https://crates.io/crates/fiat-crypto
---
 Cargo.toml                       | 4 ++--
 src/backend/serial/fiat/field.rs | 2 +-
 src/lib.rs                       | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 0ceb29d..124069c 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -49,7 +49,7 @@ serde = { version = "1.0", default-features = false, optional = true, features =
 # https://github.com/rust-lang/packed_simd/issues/303#issuecomment-701361161
 packed_simd = { version = "0.3.4", package = "packed_simd_2", features = ["into_bits"], optional = true }
 zeroize = { version = "1", default-features = false }
-curve25519-fiat = { git="https://github.com/calibra/rust-curve25519-fiat.git", version = "0.1.0", optional = true}
+fiat-crypto = { version = "0.1.0", optional = true}
 
 [features]
 nightly = ["subtle/nightly"]
@@ -62,7 +62,7 @@ u32_backend = []
 # The u64 backend uses u64s with u128 products.
 u64_backend = []
 # The fiat-u64 backend uses u64s with u128 products.
-fiat_u64_backend = ["curve25519-fiat"]
+fiat_u64_backend = ["fiat-crypto"]
 # The SIMD backend uses parallel formulas, using either AVX2 or AVX512-IFMA.
 simd_backend = ["nightly", "u64_backend", "packed_simd"]
 # DEPRECATED: this is now an alias for `simd_backend` and may be removed
diff --git a/src/backend/serial/fiat/field.rs b/src/backend/serial/fiat/field.rs
index a2f1a90..25e3649 100644
--- a/src/backend/serial/fiat/field.rs
+++ b/src/backend/serial/fiat/field.rs
@@ -22,7 +22,7 @@ use subtle::ConditionallySelectable;
 
 use zeroize::Zeroize;
 
-use curve25519_fiat::curve25519_64::*;
+use fiat_crypto::curve25519_64::*;
 
 /// A `FieldElement51` represents an element of the field
 /// \\( \mathbb Z / (2\^{255} - 19)\\).
diff --git a/src/lib.rs b/src/lib.rs
index 3f46bd1..982d323 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -46,7 +46,7 @@ extern crate rand_core;
 extern crate zeroize;
 
 #[cfg(feature = "fiat_u64_backend")]
-extern crate curve25519_fiat;
+extern crate fiat_crypto;
 
 // Used for traits related to constant-time code.
 extern crate subtle;