Exp function for Edwards curves over local fields

Giuseppe Filippone

We extend the map Exp for elliptic curves in short Weierstrass form over $\mathbb{C}$ to Edwards curves over local fields. Subsequently, we compute the map Exp for Edwards curves…