## EC add using Plonky3

Use the [plonky3](https://github.com/Plonky3/Plonky3) library to create a circuit that performs an EC add operation on the BN254 curve. A Prover should be able to use the circuit to convince a Verifier that he knows some (secret) points $A$ and $B$ and a (public) point $C$, such that $A + B = C$.

- The implementation should be "from scratch" (not using existing code for EC or field operations in-circuit).
- The circuit must use a field that is implemented in the repository above.
- The Verifier can assume that $A$ and $B$ are valid curve points (bonus points for verifying this in the circuit).

Partial solutions are acceptable, but you will be asked to explain your code in a follow-up interview.