Table of Contents
Fetching ...

Efficient Algorithms for Isogeny Computation on Hyperelliptic Curves: Their Applications in Post-Quantum Cryptography

Mohammed El Baraka, Siham Ezzouak

TL;DR

This work targets the efficiency bottleneck of isogeny computations in post-quantum cryptography by exploiting hyperelliptic curves. It introduces a novel genus $2$ isogeny algorithm that reduces the asymptotic cost from $O(g^4)$ to $O(g^3)$ field operations, with extensions to small-degree isogenies in higher genus and comprehensive empirical validation. The manuscript also provides a rigorous mathematical foundation (Jacobian arithmetic, kernel theory, Richelot isogenies), a detailed security analysis (including resistance to Shor’s and Grover’s algorithms), and practical recommendations for parameter selection and implementation on constrained devices. Overall, hyperelliptic isogeny-based cryptography emerges as a promising, efficient, and quantum-resistant alternative for post-quantum cryptographic protocols, supported by both理论ic and empirical evidence.

Abstract

We present e cient algorithms for computing isogenies between hyperelliptic curves, leveraging higher genus curves to enhance cryptographic protocols in the post-quantum context. Our algorithms reduce the computational complexity of isogeny computations from O(g4) to O(g3) operations for genus 2 curves, achieving significant ciency gains over traditional elliptic curve methods. Detailed pseudocode and comprehensive complexity analyses demonstrate these improvements both theoretically and empirically. Additionally, we provide a thorough security analysis, including proofs of resistance to quantum attacks such as Shor's and Grover's algorithms. Our findings establish hyperelliptic isogeny-based cryptography as a promising candidate for secure and e cient post-quantum cryptographic systems.

Efficient Algorithms for Isogeny Computation on Hyperelliptic Curves: Their Applications in Post-Quantum Cryptography

TL;DR

This work targets the efficiency bottleneck of isogeny computations in post-quantum cryptography by exploiting hyperelliptic curves. It introduces a novel genus isogeny algorithm that reduces the asymptotic cost from to field operations, with extensions to small-degree isogenies in higher genus and comprehensive empirical validation. The manuscript also provides a rigorous mathematical foundation (Jacobian arithmetic, kernel theory, Richelot isogenies), a detailed security analysis (including resistance to Shor’s and Grover’s algorithms), and practical recommendations for parameter selection and implementation on constrained devices. Overall, hyperelliptic isogeny-based cryptography emerges as a promising, efficient, and quantum-resistant alternative for post-quantum cryptographic protocols, supported by both理论ic and empirical evidence.

Abstract

We present e cient algorithms for computing isogenies between hyperelliptic curves, leveraging higher genus curves to enhance cryptographic protocols in the post-quantum context. Our algorithms reduce the computational complexity of isogeny computations from O(g4) to O(g3) operations for genus 2 curves, achieving significant ciency gains over traditional elliptic curve methods. Detailed pseudocode and comprehensive complexity analyses demonstrate these improvements both theoretically and empirically. Additionally, we provide a thorough security analysis, including proofs of resistance to quantum attacks such as Shor's and Grover's algorithms. Our findings establish hyperelliptic isogeny-based cryptography as a promising candidate for secure and e cient post-quantum cryptographic systems.

Paper Structure

This paper contains 77 sections, 13 theorems, 36 equations, 1 figure, 1 table, 2 algorithms.

Key Result

Theorem 1.1

Let $C$ be a smooth projective curve of genus $g$ over $\mathbb{F}_q$. For any divisor $D$ on $C$, the dimension $\ell(D)$ of the space of rational functions associated with $D$ satisfies: where $K$ is a canonical divisor on $C$ref-hartshorne.

Figures (1)

  • Figure 1: Comparison of Isogeny Computation Times

Theorems & Definitions (31)

  • Theorem 1.1: Riemann-Roch Theorem for Curves
  • proof
  • Theorem 1.2: Finite Generation of the Jacobian
  • proof
  • Theorem 1.3: Complexity of Cantor's Algorithm
  • proof
  • Theorem 1.4: Properties of Isogenies
  • proof
  • Theorem 1.5: Complexity of Isogeny Computation
  • proof
  • ...and 21 more