arXiv subjects
Publications and source records attributed to Jordi Pujolàs.
We generalize the notion of twisting endomorphisms, first defined by Castryck-Panny-Vercauteran, to the setting of $\mathcal{O}$-oriented supersingular elliptic curves. We give an algorithm to find supersingular elliptic curves over $\mathbb{F}_p$ with a twisting endomorphism of prime degree $\ell$, and we use it to compute a basis of their full endomorphism rings.
We give a characterization of the codomain $[\ell]E(k)$ of the multiplication-by-$\ell$ map $[\ell]$ in the case of elliptic curves over a field $k$ of characteristic $\ne 2,3$ with $\ell$-torsion $E[\ell]=\langle W_1,W_2 \rangle$ fully defined over $k$, for primes $\ell$ different from the characteristic. We show that a point $Q\in E(k)$ lies in $[\ell]E(k)$ if and only if $h_{W_1}(-Q)$ and $h_{W_2}(-Q)$ are $\ell$-powers of $k$, where $h_{W_1}$ and $h_{W_2}$ are functions on $E$ with divisor ${\rm div}(h_{W_i})=\ell W_i- \ell P_{\infty}$. Our characterization leads to an effective procedure to find pre-images of $[\ell]$ by solving an order $\ell$ system of linear equations and computing a polynomial gcd.
Distortion maps are a useful tool for pairing based cryptography. Compared with elliptic curves, the case of hyperelliptic curves of genus g > 1 is more complicated since the full torsion subgroup has rank 2g. In this paper we prove that distortion maps always exist for supersingular curves of genus g>1 and we construct distortion maps in genus 2 (for embedding degrees 4,5,6 and 12).