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

Rewrite conditional assignment test for AffineNielsPoints

Browse source
This commit is contained in:
Henry de Valence 2017-03-07 00:55:32 -08:00
parent 9414a2f4db
commit 47143e9114
1 changed files with 7 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
src/curve.rs
View file

@ -1248,24 +1248,17 @@ mod test {
assert_eq!(bp16.compress(), BASE16_CMPRSSD); assert_eq!(bp16.compress(), BASE16_CMPRSSD);
} }
/// Test that the conditional assignment trait works for AffineNielsPoints.
#[test] #[test]
fn AffineNielsPoint_conditional_assign() { fn conditional_assign_for_affine_niels_point() {
let id = AffineNielsPoint::identity(); let id = AffineNielsPoint::identity();
let mut p1 = AffineNielsPoint::identity(); let mut p1 = AffineNielsPoint::identity();
let p2: AffineNielsPoint = AffineNielsPoint{ let bp = constants::BASEPOINT.to_affine_niels();
y_plus_x: FieldElement([1, 2, 3, 4, 5, 6, 7, 8, 9, 10]),
y_minus_x: FieldElement([11, 22, 33, 44, 55, 66, 77, 88, 99, 100]),
xy2d: FieldElement([10, 20, 30, 40, 50, 60, 70, 80, 90, 101]),
};
p1.conditional_assign(&p2, 0); p1.conditional_assign(&bp, 0);
assert_eq!(p1.y_plus_x, id.y_plus_x); assert_eq!(p1, id);
assert_eq!(p1.y_minus_x, id.y_minus_x); p1.conditional_assign(&bp, 1);
assert_eq!(p1.xy2d, id.xy2d); assert_eq!(p1, bp);
p1.conditional_assign(&p2, 1);
assert_eq!(p1.y_plus_x, p2.y_plus_x);
assert_eq!(p1.y_minus_x, p2.y_minus_x);
assert_eq!(p1.xy2d, p2.xy2d);
} }
#[test] #[test]