`Curve448` with full coordinates#1306

Open

daxpedda wants to merge 24 commits intoRustCrypto:masterfrom

khonsulabs:curve448-4

Commits on Sep 14, 2025

Rename to `MontgomeryPoint` to `MontgomeryXpoint`
daxpedda
committed
Move `MontgomeryXpoint` to its own module
daxpedda
committed
Implement `Eq` for `ProjectiveMontgomeryXpoint`
daxpedda
committed
Change `MontgomeryPoint` scalar multiplication output to `ProjectiveMontgomeryXpoint`
daxpedda
committed
Add y-coordinate recovery
daxpedda
committed
Make `ProjectiveMontgomeryXpoint::identity()` an associated const
daxpedda
committed
Add `ProjectiveMontgomeryXpoint::GENERATOR`
daxpedda
committed
Document source of `montgomery::differential_add_and_double`
daxpedda
committed
Expose Montgomery ladder with additional output internally
daxpedda
committed
Add `ProjectiveMontgomeryXpoint::double()`
daxpedda
committed
Add full-coordinate `MontgomeryPoint` skeleton
daxpedda
committed
Drop `CurveArithmetic` requirement from `CurveWithScalar`
daxpedda
committed
Add `MontgomeryScalar`
daxpedda
committed
Add arithmetic operations to Montgomery
daxpedda
committed
Add Montgomery <-> Edwards conversions
daxpedda
committed
Implement `CurveArithmetic` for Curve448
daxpedda
committed
Implement `Reduce` for `MontgomeryScalar`
daxpedda
committed
Implement hash2curve for `Curve448`
daxpedda
committed
Add hash2curve to `ProjectiveMontgomeryXpoint`
daxpedda
committed
Test Montgomery -> Edwards through hash2curve
daxpedda
committed
Rename `MontgomeryPoint` fields from `x|y` to `U|V`
daxpedda
committed
Rename `MontgomeryPoint` to `AffineMontgomeryPoint`
daxpedda
committed
Not every full-coordinate Montgomery point is valid
daxpedda
committed
Add benchmarks
daxpedda
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

`Curve448` with full coordinates#1306

`Curve448` with full coordinates#1306
daxpedda wants to merge 24 commits intoRustCrypto:masterfrom
khonsulabs:curve448-4

Commits on Sep 14, 2025

Rename to `MontgomeryPoint` to `MontgomeryXpoint`

Move `MontgomeryXpoint` to its own module

Implement `Eq` for `ProjectiveMontgomeryXpoint`

Change `MontgomeryPoint` scalar multiplication output to `ProjectiveMontgomeryXpoint`

Add y-coordinate recovery

Make `ProjectiveMontgomeryXpoint::identity()` an associated const

Add `ProjectiveMontgomeryXpoint::GENERATOR`

Document source of `montgomery::differential_add_and_double`

Expose Montgomery ladder with additional output internally

Add `ProjectiveMontgomeryXpoint::double()`

Add full-coordinate `MontgomeryPoint` skeleton

Drop `CurveArithmetic` requirement from `CurveWithScalar`

Add `MontgomeryScalar`

Add arithmetic operations to Montgomery

Add Montgomery <-> Edwards conversions

Implement `CurveArithmetic` for Curve448

Implement `Reduce` for `MontgomeryScalar`

Implement hash2curve for `Curve448`

Add hash2curve to `ProjectiveMontgomeryXpoint`

Test Montgomery -> Edwards through hash2curve

Rename `MontgomeryPoint` fields from `x|y` to `U|V`

Rename `MontgomeryPoint` to `AffineMontgomeryPoint`

Not every full-coordinate Montgomery point is valid

Add benchmarks

`Curve448` with full coordinates#1306daxpedda wants to merge 24 commits intoRustCrypto:masterRustCrypto/elliptic-curves:masterfrom khonsulabs:curve448-4khonsulabs/elliptic-curves:curve448-4Copy head branch name to clipboard

Commits

Commits on Sep 14, 2025

`Curve448` with full coordinates#1306
daxpedda wants to merge 24 commits intoRustCrypto:masterfrom
khonsulabs:curve448-4