698 research outputs found
Edwards curves and CM curves
Edwards curves are a particular form of elliptic curves that admit a fast,
unified and complete addition law. Relations between Edwards curves and
Montgomery curves have already been described. Our work takes the view of
parameterizing elliptic curves given by their j-invariant, a problematic that
arises from using curves with complex multiplication, for instance. We add to
the catalogue the links with Kubert parameterizations of X0(2) and X0(4). We
classify CM curves that admit an Edwards or Montgomery form over a finite
field, and justify the use of isogenous curves when needed
Implementing the asymptotically fast version of the elliptic curve primality proving algorithm
The elliptic curve primality proving (ECPP) algorithm is one of the current
fastest practical algorithms for proving the primality of large numbers. Its
running time cannot be proven rigorously, but heuristic arguments show that it
should run in time O ((log N)^5) to prove the primality of N. An asymptotically
fast version of it, attributed to J. O. Shallit, runs in time O ((log N)^4).
The aim of this article is to describe this version in more details, leading to
actual implementations able to handle numbers with several thousands of decimal
digits
Computing the cardinality of CM elliptic curves using torsion points
Let E be an elliptic curve having complex multiplication by a given quadratic
order of an imaginary quadratic field K. The field of definition of E is the
ring class field Omega of the order. If the prime p splits completely in Omega,
then we can reduce E modulo one the factors of p and get a curve Ep defined
over GF(p). The trace of the Frobenius of Ep is known up to sign and we need a
fast way to find this sign. For this, we propose to use the action of the
Frobenius on torsion points of small order built with class invariants a la
Weber, in a manner reminiscent of the Schoof-Elkies-Atkin algorithm for
computing the cardinality of a given elliptic curve modulo p. We apply our
results to the Elliptic Curve Primality Proving algorithm (ECPP).Comment: Revised and shortened version, including more material using
discriminants of curves and division polynomial
Discrete logarithm computations over finite fields using Reed-Solomon codes
Cheng and Wan have related the decoding of Reed-Solomon codes to the
computation of discrete logarithms over finite fields, with the aim of proving
the hardness of their decoding. In this work, we experiment with solving the
discrete logarithm over GF(q^h) using Reed-Solomon decoding. For fixed h and q
going to infinity, we introduce an algorithm (RSDL) needing O (h! q^2)
operations over GF(q), operating on a q x q matrix with (h+2) q non-zero
coefficients. We give faster variants including an incremental version and
another one that uses auxiliary finite fields that need not be subfields of
GF(q^h); this variant is very practical for moderate values of q and h. We
include some numerical results of our first implementations
Generalised Weber Functions
A generalised Weber function is given by \w_N(z) = \eta(z/N)/\eta(z), where
is the Dedekind function and is any integer; the original
function corresponds to . We classify the cases where some power \w_N^e
evaluated at some quadratic integer generates the ring class field associated
to an order of an imaginary quadratic field. We compare the heights of our
invariants by giving a general formula for the degree of the modular equation
relating \w_N(z) and . Our ultimate goal is the use of these invariants
in constructing reductions of elliptic curves over finite fields suitable for
cryptographic use
Deterministic elliptic curve primality proving for a special sequence of numbers
We give a deterministic algorithm that very quickly proves the primality or
compositeness of the integers N in a certain sequence, using an elliptic curve
E/Q with complex multiplication by the ring of integers of Q(sqrt(-7)). The
algorithm uses O(log N) arithmetic operations in the ring Z/NZ, implying a bit
complexity that is quasi-quadratic in log N. Notably, neither of the classical
"N-1" or "N+1" primality tests apply to the integers in our sequence. We
discuss how this algorithm may be applied, in combination with sieving
techniques, to efficiently search for very large primes. This has allowed us to
prove the primality of several integers with more than 100,000 decimal digits,
the largest of which has more than a million bits in its binary representation.
At the time it was found, it was the largest proven prime N for which no
significant partial factorization of N-1 or N+1 is known.Comment: 16 pages, corrected a minor sign error in 5.
Computing cardinalities of Q-curve reductions over finite fields
We present a specialized point-counting algorithm for a class of elliptic
curves over F\_{p^2} that includes reductions of quadratic Q-curves modulo
inert primes and, more generally, any elliptic curve over F\_{p^2} with a
low-degree isogeny to its Galois conjugate curve. These curves have interesting
cryptographic applications. Our algorithm is a variant of the
Schoof--Elkies--Atkin (SEA) algorithm, but with a new, lower-degree
endomorphism in place of Frobenius. While it has the same asymptotic asymptotic
complexity as SEA, our algorithm is much faster in practice.Comment: To appear in the proceedings of ANTS-XII. Added acknowledgement of
Drew Sutherlan
Vegetation analysis with radar imagery
Vegetation maps prepared from radar imagery obtained over several climatic environment
An evaluation of fine resolution radar imagery for making agricultural determinations
Evaluation of fine resolution radar imagery for making agricultural determination
- …