Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A subexponential algorithm for discrete logarithms over hyperelliptic curves of large genus over \(\text{GF}(q)\) 