add ci

.github/workflows/test.yaml

@@ -0,0 +1,25 @@
+name: test
+
+on:
+  pull_request:
+    branches: [main]
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+jobs:
+  nargo:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Install Nargo
+        uses: noir-lang/[email protected]
+        with:
+          toolchain: nightly
+
+      - name: Run nargo test
+        run: |
+          nargo test

src/poly.nr

@@ -16,7 +16,7 @@ use dep::std::collections::vec::Vec;
 
 /// As the loop needs to be bounded, we restrict the polynomial size. This is highly inefficient and generates more constraints than needed 
 /// if the polynomial is less than MAX_POLY_SIZE.
-global MAX_POLY_SIZE: u112 = 1000000;
+global MAX_POLY_SIZE: u112 = 1000000000;
 
 struct Polynomial {
     coeffs: Vec<PrimeField>