Paper 2019/1048
New point compression method for elliptic $\mathbb{F}_{\!q^2}$-curves of $j$-invariant $0$
Dmitrii Koshelev
Abstract
In the article we propose a new compression method (to $2\lceil \log_2(q) \rceil + 3$ bits) for the $\mathbb{F}_{\!q^2}$-points of an elliptic curve $E_b\!: y^2 = x^3 + b$ (for $b \in \mathbb{F}_{\!q^2}^*$) of $j$-invariant $0$. It is based on $\mathbb{F}_{\!q}$-rationality of some generalized Kummer surface $GK_b$. This is the geometric quotient of the Weil restriction $R_b := \mathrm{R}_{\: \mathbb{F}_{\!q^2}/\mathbb{F}_{\!q}}(E_b)$ under the order $3$ automorphism restricted from $E_b$. More precisely, we apply the theory of conic bundles $\big($i.e., conics over the function field $\mathbb{F}_{\!q}(t)\big)$ to obtain explicit and quite simple formulas of a birational $\mathbb{F}_{\!q}$-isomorphism between $GK_b$ and $\mathbb{A}^{\!2}$. Our point compression method consists in computation of these formulas. To recover (in the decompression stage) the original point from $E_b(\mathbb{F}_{\!q^2}) = R_b(\mathbb{F}_{\!q})$ we find an inverse image of the natural map $R_b \to GK_b$ of degree $3$, i.e., we extract a cubic root in $\mathbb{F}_{\!q}$. For $q \not\equiv 1 \: (\mathrm{mod} \ 27)$ this is just a single exponentiation in $\mathbb{F}_{\!q}$, hence the new method seems to be much faster than the classical one with $x$ coordinate, which requires two exponentiations in $\mathbb{F}_{\!q}$.
Metadata
- Available format(s)
- Category
- Implementation
- Publication info
- Preprint. MINOR revision.
- Keywords
- pairing-based cryptographyelliptic curves of $j = 0$point compressionWeil restrictiongeneralized Kummer surfacesrationality problemsconic bundlescubic rootssingular cubic surfaces
- Contact author(s)
- dishport @ ya ru
- History
- 2020-12-02: last of 5 revisions
- 2019-09-18: received
- See all versions
- Short URL
- https://ia.cr/2019/1048
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2019/1048, author = {Dmitrii Koshelev}, title = {New point compression method for elliptic $\mathbb{F}_{\!q^2}$-curves of $j$-invariant $0$}, howpublished = {Cryptology {ePrint} Archive, Paper 2019/1048}, year = {2019}, url = {https://eprint.iacr.org/2019/1048} }