saymrwulf/curve25519-dalek-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/curve25519-dalek-source.git synced 2026-09-04 20:24:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add constant for a-d = -1-d

Browse source
This commit is contained in:
Henry de Valence 2017-02-19 19:02:55 -05:00
parent 6fd3028956
commit 363ea405d4
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/constants.rs
View file

@ -32,6 +32,9 @@ pub const d2: FieldElement = FieldElement([
pub const d4: FieldElement = FieldElement([
23454405, -11679213, 5618422, -5756869, 458917,
-1596832, -25103633, -12990876, -7676928, -14666033 ]);
pub const a_minus_d: FieldElement = FieldElement([
10913609, -13857413, 15372611, -6949391, -114729,
8787816, 6275908, 3247719, 18696448, 12055116, ]);
/// Precomputed value of one of the square roots of -1 (mod p)
pub const SQRT_M1: FieldElement = FieldElement([
@ -1530,6 +1533,13 @@ mod test {
assert_eq!(&constants::d * &four, constants::d4);
}
#[test]
fn test_a_minus_d() {
let a = FieldElement([-1,0,0,0,0,0,0,0,0,0]);
let a_minus_d = &a - &constants::d;
assert_eq!(a_minus_d, constants::a_minus_d);
}
/// Test the values in the lookup table of precomputed multiples
/// of the basepoint.
#[test]