In this work, we investigate hyperelliptic curves of type $C: y^2 = x^{2g+1}
- ax^{g+1} + bxoverthefinitefieldF_q, q = p^n, p > 2$. For the
case of g=3 and 4 we propose algorithms to compute the number of points
on the Jacobian of the curve with complexity O~(log4p) and
O~(log8p). For curves of genus 2−7 we give a complete list of
the characteristic polynomials of Frobenius endomorphism modulo p.