Reproduce error

Nargo.toml

@@ -0,0 +1,5 @@
+[package]
+authors = [""]
+compiler_version = "0.1"
+
+[dependencies]

Prover.toml

@@ -0,0 +1 @@
+votes = [1, 0, 0, 0, 0, 1]

Verifier.toml

@@ -0,0 +1,2 @@
+return = "0x0000000000000000000000000000000000000000000000000000000000000000"
+votes = ["0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000001"]

src/maci.nr

@@ -0,0 +1,35 @@
+global n_candidates = 3;
+global n_voters = 2;
+
+struct Vote {
+    user_id: Field,
+    vote: [Field; n_candidates],
+    signature: Field,
+}
+
+struct KeyChange {
+    user_id: Field,
+    new_key: Field,
+    signature: Field,
+}
+
+fn main(votes: pub [Field; n_candidates * n_voters]) -> pub Field {
+    let mut candidates = [0; n_candidates];
+    let mut max = 0;
+    let mut max_index = 0;
+    for i in 0..n_voters {
+        let mut sum = 0;
+        for j in 0..n_candidates {
+            let vote = votes[n_candidates * i + j];
+            constrain vote*(vote-1) == 0;
+            sum += vote;
+            candidates[j] = candidates[j] + vote;
+            if candidates[j] as u32 > max as u32 {
+                max = candidates[j];
+                max_index = j;
+            }
+        }
+        constrain sum == 1;
+    }
+    max_index
+}

src/main.nr

@@ -0,0 +1,8 @@
+mod poly;
+
+fn main() {
+  let a = DensePolynomial { coeffs: [1, 2, 3] };
+  let b = DensePolynomial { coeffs: [1, 2, 3] };
+
+  a.mul(b)
+}

src/poly.nr

@@ -0,0 +1,15 @@
+struct DensePolynomial<N> {
+  coeffs: [Field; N],
+}
+
+impl DensePolynomial {
+  fn mul(self, other: DensePolynomial<M>) -> pub DensePolynomial<N+M-1> {
+    let mut coeffs = [0; N+M-1];
+    for i in 0..N {
+      for j in 0..M {
+        coeffs[i + j] += self.coeffs[i] * other.coeffs[j];
+      }
+    }
+    DensePolynomial { coeffs }
+  }
+}