Public-key Cryptography: Theory and Practice

**3.7. Arithmetic on Hyperelliptic Curves

Let be a finite field and C a hyperelliptic curve of genus g defined over K by Equation (2.13), that is, by

C : Y² + u(X)Y = v(X)

for suitable polynomials u, . We want to implement the arithmetic in the Jacobian . Recall from Section 2.12 that an element of can be represented uniquely as a reduced divisor ...