Symbol: is_on_edwards_curve