Exp function for Edwards curves over local fields

Abstract

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 over the local field $ \mathbb{Q}_{p} $ of $ p $-adic numbers.