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

Clarify doc note on degenerate cases for differential addition.

Browse source
This commit is contained in:
Isis Lovecruft 2017-10-05 01:54:26 +00:00
parent 7b378ada6b
commit ca5b58c2b7
Failed to extract signature
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/montgomery.rs
View file

@ -327,8 +327,8 @@ impl MontgomeryPoint {
/// results of this method are not correct, but instead result in `(0:0)`
/// (an invalid projective point in the Montgomery model).
///
/// The doubling case is degenerate, in that using this method to accomplish
/// point doubling is less efficient than using `differential_double()`.
/// The doubling case is degenerate, in that `P ⦵ Q ∉ {O,T}`, where `T` is
/// the two torsion point.
fn differential_add(&self, that: &MontgomeryPoint,
difference: &MontgomeryPoint) -> MontgomeryPoint {
// XXX Do we want these debug assertions? We would need to implement