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

fixup extendedpoint validity check

Browse source
This commit is contained in:
Henry de Valence 2018-07-16 22:28:22 -07:00
parent 0c58de0367
commit dfc9e7c0b7
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/edwards.rs
View file

@ -271,9 +271,11 @@ impl Identity for EdwardsPoint {
// ------------------------------------------------------------------------ // ------------------------------------------------------------------------
impl ValidityCheck for EdwardsPoint { impl ValidityCheck for EdwardsPoint {
// XXX this should also check that T is correct
fn is_valid(&self) -> bool { fn is_valid(&self) -> bool {
self.to_projective().is_valid() let point_on_curve = self.to_projective().is_valid();
let on_segre_image = (&self.X * &self.Y) == (&self.Z * &self.T);
point_on_curve && on_segre_image
} }
} }