import "ecc/babyjubjubParams.code" as context
// Function negates a given edwards point.
// Curve parameters are defined with the last argument
// Twisted Edwards Curves, BBJLP-2008, section 2 pg 2
def main(field[2] pt, field[10] context) -> (field[2]):

   	field u = pt[0]
   	field v = pt[1]

	return [0-u, v]