Curve arithmetic

Curve parameters given here: https://twitter.com/ebfull/status/1087571257057406976
Can use the addition and subtraction formulas (unoptimized) out of HWCD: https://eprint.iacr.org/2008/522
Probably makes sense to use projective coordinates, for machine (non-circuit) performance