Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature/snarky curves lib #1393
Pulls out the snarky/curves.ml module into a separate library and generalizes it to curves over arbitrary fields.
I did not remove snarky/curves.ml yet as snarky/gm_verifier_gadget.ml depends on it and I didn't want to go through the trouble of then pulling out that into its own library when I'm going to remove it soon anyway.