scholarly journals Complexity bounds on Semaev’s naive index calculus method for ECDLP

2020 ◽  
Vol 14 (1) ◽  
pp. 460-485
Author(s):  
Kazuhiro Yokoyama ◽  
Masaya Yasuda ◽  
Yasushi Takahashi ◽  
Jun Kogure

AbstractSince Semaev introduced summation polynomials in 2004, a number of studies have been devoted to improving the index calculus method for solving the elliptic curve discrete logarithm problem (ECDLP) with better complexity than generic methods such as Pollard’s rho method and the baby-step and giant-step method (BSGS). In this paper, we provide a deep analysis of Gröbner basis computation for solving polynomial systems appearing in the point decomposition problem (PDP) in Semaev’s naive index calculus method. Our analysis relies on linear algebra under simple statistical assumptions on summation polynomials. We show that the ideal derived from PDP has a special structure and Gröbner basis computation for the ideal is regarded as an extension of the extended Euclidean algorithm. This enables us to obtain a lower bound on the cost of Gröbner basis computation. With the lower bound, we prove that the naive index calculus method cannot be more efficient than generic methods.

2019 ◽  
Vol 13 (3-4) ◽  
pp. 229-237
Author(s):  
Stavros Kousidis ◽  
Andreas Wiemers

Abstract We improve on the first fall degree bound of polynomial systems that arise from a Weil descent along Semaev’s summation polynomials relevant to the solution of the Elliptic Curve Discrete Logarithm Problem via Gröbner basis algorithms.


2019 ◽  
Vol 223 (5) ◽  
pp. 2080-2100
Author(s):  
David Rolnick ◽  
Gwen Spencer

2015 ◽  
Vol 22 (04) ◽  
pp. 567-580
Author(s):  
Ayesha Asloob Qureshi

In this paper we consider Hibi rings and Rees rings attached to a poset. We classify the ideal lattices of posets whose Hibi relations are indispensable and the ideal lattices of posets whose Hibi relations form a quadratic Gröbner basis with respect to the rank lexicographic order. Similar classifications are obtained for Rees rings of Hibi ideals.


10.37236/8565 ◽  
2020 ◽  
Vol 27 (1) ◽  
Author(s):  
Ferenc Szöllősi ◽  
Patric R.J. Östergård

A finite set of vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality exactly $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in $\mathbb{R}^4$, the largest $4$-distance sets in $\mathbb{R}^3$, and the largest $6$-distance sets in $\mathbb{R}^2$. We also construct new examples of large $s$-distance sets in $\mathbb{R}^d$ for $d\leq 8$ and $s\leq 6$, and independently verify several earlier results from the literature.


Sign in / Sign up

Export Citation Format

Share Document