feat: added predefined curves (#8)

* added predefined curves

added fully constrained `hash_to_curve` method

fixed bug where `evaluate_linear_expression` was not working

added `msm` method into `BigCurve`

* fmt

* removed unused code

* updated readme

* update readme

* updated dependency

Author: zac-williamson

.github/workflows/test.yml

@@ -2,8 +2,8 @@ name: Noir tests
 
 on:
   push:
-   branches:
-    - main
+    branches:
+      - main
   pull_request:
 
 env:
@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        toolchain: [nightly, 0.34.0]
+        toolchain: [nightly, 0.35.0]
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
@@ -38,7 +38,7 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/[email protected]
         with:
-          toolchain: 0.34.0
+          toolchain: 0.35.0
 
       - name: Run formatter
         run: nargo fmt --check

Nargo.toml

@@ -2,7 +2,8 @@
 name = "noir_bigcurve"
 type = "lib"
 authors = [""]
-compiler_version = ">=0.34.0"
+compiler_version = ">=0.35.0"
 
 [dependencies]
-bignum = {tag = "v0.3.4", git = "https://github.com/noir-lang/noir-bignum"}
+bignum = {tag = "v0.3.7", git = "https://github.com/noir-lang/noir-bignum"}
+sort = {tag = "v0.1.0", git = "https://github.com/noir-lang/noir_sort"}

README.md

@@ -24,11 +24,11 @@ The most efficient method to evaluate curve operations is `BigCurve::evaluate_li
 
 - When performing MSMs, utilize the Montgomery Ladder to minimize the number of field operations (see `batch_mul` in `barretenberg/src/stdlib/biggroup` for example implementation)
 - `ScalarField` is not properly constrained when constructed from a `BigNum` object
-- Add tests for curves that have a nonzero `a` parameter
-- Add hash to curve method
+- [x] Add tests for curves that have a nonzero `a` parameter
+- [x] Add hash to curve method
 - Add method to check point is in prime-order subgroup for curves with a cofactor
 - Parametrise and test with a degree-2 extension field instead of `BigNum`
-- Add curve parameters for commonly used curves (BN254, BLS12-381, MNT4, MNT6, Pasta, Vella, Secp256K1, Secp256R1)
+- [x] Add curve parameters for commonly used curves (BN254, BLS12-381, MNT4, MNT6, Pasta, Vella, Secp256K1, Secp256R1)
 - Create benchmarks
 - Add support for curve endomorphisms where applicable (if base field and scalar field both contain cube roots of unity, we can reduce the number of point doublings required for an MSM in half)