Abstract:An analysis is made of the properties and conditions for the existence of 3- and 5-isogenies of complete and quadratic supersingular Edwards curves. For the encapsulation of keys based on the SIDH algorithm, it is proposed to use isogeny of minimal odd degrees 3 and 5, which allows bypassing the problem of singular points of the 2nd and 4th orders, characteristic of 2-isogenies. A review of the main properties of the classes of complete, quadratic, and twisted Edwards curves over a simple field is given. Equations for the isogeny of odd degrees are reduced to a form adapted to curves in the form of Weierstrass. To do this, use the modified law of addition of curve points in the generalized Edwards form, which preserves the horizontal symmetry of the curve return points. Examples of the calculation of 3- and 5-isogenies of complete Edwards supersingular curves over small simple fields are given, and the properties of the isogeny composition for their calculation with large-order kernels are discussed. Equations are obtained for upper complexity estimates for computing isogeny of odd degrees 3 and 5 in the classes of complete and quadratic Edwards curves in projective coordinates; algorithms are constructed for calculating 3- and 5-isogenies of Edwards curves with complexity 6M + 4S and 12M + 5S, respectively. The conditions for the existence of supersingular complete and quadratic Edwards curves of order 4x3mx5n and 8x3mx5n are found. Some parameters of the cryptosystem are determined when implementing the SIDH algorithm at the level of quantum security of 128 bits.

Supersingular Curves With Small Non-integer Endomorphisms

The Endomorphism Rings of Supersingular Elliptic Curves over $\mathbb{F}_p$ and the Binary Quadratic Forms

The supersingular endomorphism ring problem given one endomorphism

Endomorphism Rings of Supersingular Elliptic Curves and Quadratic Forms

Endomorphism Rings of Supersingular Elliptic Curves over F P

ENDOMORPHISM RINGS OF SUPERSINGULAR ELLIPTIC CURVES OVER Fp AND BINARY QUADRATIC FORMS

Endomorphism Rings of Supersingular Elliptic Curves over $ \mathbb{f}_p $ and Binary Quadratic Forms

Superspecial genus-$4$ double covers of elliptic curves

Failing to hash into supersingular isogeny graphs

On the existence of superspecial nonhyperelliptic curves of genus $4$

Supersingular curves of genus five for primes congruent to three modulo four

Computing supersingular endomorphism rings using inseparable endomorphisms

On supercurves of genus 1 with an underlying odd spin structure

The supersingular Endomorphism Ring and One Endomorphism problems are equivalent

Invariants of the singularities of secant varieties of curves

Ellipsoidal superpotentials and singular curve counts

Endomorphism rings of supersingular elliptic curves over and binary quadratic forms

3- and 5-Isogenies of Supersingular Edwards Curves

Connecting Kani's Lemma and path-finding in the Bruhat-Tits tree to compute supersingular endomorphism rings

A note on certain superspecial and maximal curves of genus $5$

Oriented Supersingular Elliptic Curves and Eichler Orders