Curves and Points Models

[gbanegas]

We need to add curves ( with the minimal operations:

Points:

• Negation
• Add
• Double
• Scalar Multiplication
• Is identity
• identity

Curves:

• is_on_curve
• j_invariant
• a_invariants
• random_point