We consider the problem of efficient computation in the Jacobian of a hyperelliptic
curve of genus 3 defined over a field whose characteristic is not 2. For curves with a
rational Weierstrass point, fast explicit formulas are well known and widely available.
Here we address the general case, in which we do not assume the existence of a
rational Weierstrass point, using a balanced divisor approach.