From 3a22a69e52148fbd1cce1658918a77d52d09c523 Mon Sep 17 00:00:00 2001
From: "Simon B. Carstensen" <simonbc@gmail.com>
Date: Sat, 19 Aug 2023 19:12:15 +0200
Subject: [PATCH] Impl circuit

---
 circuits/src/main.nr | 33 +++++++++++++++++++++++++++++----
 1 file changed, 29 insertions(+), 4 deletions(-)

diff --git a/circuits/src/main.nr b/circuits/src/main.nr
index b67efe0..13bbb81 100644
--- a/circuits/src/main.nr
+++ b/circuits/src/main.nr
@@ -1,8 +1,8 @@
-global CANDIDATES: Field = 2;
-
 use dep::std;
 use dep::ecrecover;
 
+global CANDIDATES: Field = 2;
+
 fn main(
   pub_key: [u8; 64],
   signature: [u8; 64],
@@ -11,11 +11,36 @@ fn main(
   polynomial_commitment: Field,
   nullifier: pub [u8; 32],
 ) {
-  // Write your main logic here
+    let mut pub_key_x: [u8; 32] = [0; 32];
+    let mut pub_key_y: [u8; 32] = [0; 32];
+
+    for i in 0..32 {
+      pub_key_x[i] = pub_key[i];
+      pub_key_y[i] = pub_key[i+32];
+    }
+
+    let address: Field = ecrecover::ecrecover(pub_key_x, pub_key_y, signature, hashed_message);
+
+    let evaluation = evaluate_polynomial(polynomial, address);
+    assert(evaluation == 0);
+
+    let check_polynomial = std::hash::pedersen(polynomial)[0];
+    assert(polynomial_commitment == check_polynomial);
+
+    let check_signature = std::hash::blake2s(signature);
+    assert(nullifier == check_signature);
 }
 
 fn evaluate_polynomial(polynomial: [Field; CANDIDATES + 1], x: Field) -> Field {
-  // Write logic to evaluate polynomial here
+  let mut mult = 1;
+  let mut evaluation = 0;
+
+  for i in 0..CANDIDATES + 1 {
+    evaluation = mult * polynomial[i] + evaluation;
+    mult = mult * x;
+  }
+
+  evaluation
 }
 
 #[test]