doppio
doppio copied to clipboard
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