. 2020 Nov 16;27(3):697–713. doi: 10.1007/s00779-020-01475-3

Table 4.

Required mathematical definitions

Definition	Equation
Definition 1: A Hyperelliptic curve C of genus g over finite field F	C: Y² + H(X)Y = F(X) Here, the H(X) is considered a polynomial of the highest degree of g and F(X) is considered a monic polynomial of degree 2 g + 1 [47].
Definition 2: Divisor D is defined via a formal sum of points in C	D = $\sum_{p \in c} m_{p} P, m_{p} \in Z$

Definition

Equation

Definition 1: A Hyperelliptic curve C of genus g over finite field F

C: Y² + H(X)Y = F(X)

Here, the H(X) is considered a polynomial of the highest degree of g and F(X) is considered a monic polynomial of degree 2 g + 1 [47].

Definition 2: Divisor D is defined via a formal sum of points in C

D =

\sum_{p \in c} m_{p} P, m_{p} \in Z