Tony Arcieri
Tony Arcieri
The `Mul` trait (in combination with the `Group` trait) should work fine for that purpose, once #473 lands
> I believe a standard trait that multiple elliptic curves implement is needed. The difficult part is different use cases require different traits. > implementing a geneeic ECIES is another...
> ECDH is not implemented > in order to do ECDH and therefore ECIES you need to multiply by the secret scalar - and there is no interface (afaik) that...
Pinging @rozbb about HPKE questions
> curve25519-dalek which needs to support the `PrimeCurve` …but that’s a marker trait for prime order curves, which Curve25519 isn’t
> > This point generates a cyclic **subgroup** whose order is the prime... > > What am I missing? ^^^ the subgroup. There are a total of 8 such subgroups,...
> fwiw it's not a prime curve but we already wave this away in > #473 > by restricting to the prime order subgroup. @rozbb that's fine for making the...
That's a possibility, although `CurveArithmetic` is really just a wrapper for the `ff` and `group` traits with a few extra bounds
#473 needs to land first
Nobody is working on it to my knowledge. Feel free to open a PR.