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

Use is_identity() in the torsion subgroup tests.

Browse source 
ht @dconnolly for pointing this out
This commit is contained in:
Henry de Valence 2017-02-21 15:11:24 -08:00
parent 9473299d04
commit f93dd4ccf5
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/constants.rs
View file

@ -1573,6 +1573,7 @@ mod test {
use curve::CompressedEdwardsY; use curve::CompressedEdwardsY;
use curve::ExtendedPoint; use curve::ExtendedPoint;
use curve::Identity; use curve::Identity;
use curve::IsIdentity;
use curve::ValidityCheck; use curve::ValidityCheck;
use constants; use constants;
@ -1584,7 +1585,7 @@ mod test {
for i in 0..8 { for i in 0..8 {
let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(3); let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(3);
assert!(Q.is_valid()); assert!(Q.is_valid());
assert!(Q.compress() == compressed_id); assert!(Q.is_identity());
} }
} }
@ -1596,7 +1597,7 @@ mod test {
for i in (0..8).filter(|i| i % 2 == 0) { for i in (0..8).filter(|i| i % 2 == 0) {
let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(2); let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(2);
assert!(Q.is_valid()); assert!(Q.is_valid());
assert!(Q.compress() == compressed_id); assert!(Q.is_identity());
} }
} }
@ -1608,7 +1609,7 @@ mod test {
for i in (0..8).filter(|i| i % 4 == 0) { for i in (0..8).filter(|i| i % 4 == 0) {
let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(1); let Q = constants::EIGHT_TORSION[i].mult_by_pow_2(1);
assert!(Q.is_valid()); assert!(Q.is_valid());
assert!(Q.compress() == compressed_id); assert!(Q.is_identity());
} }
} }