Submission

README.md

@@ -59,7 +59,7 @@ __Note: The [file](utils/populate.ts) being used to populate the inputs is also
 yarn
 ```
 
-* Make sure you are using the nargo version `0.7.1`. The libraries being used are only compatible with this version. You can check your nargo version using the below command
+* Make sure you are using the nargo version matches the libraries (`ecrecover`) being used are only compatible with this version. You can check your nargo version using the below command
 
 ```bash
 nargo --version
@@ -85,7 +85,7 @@ noirup -v 0.7.1
     ```
     git checkout -b solution
     ```
-    
+
 -   Make changes to the `circuits/src/main.nr` file.
 
 -   Run Tests

circuits/Nargo.toml

@@ -1,6 +1,7 @@
 [package]
+name = "stealthdrop"
 authors = [""]
-compiler_version = "0.7.1"
+compiler_version = "0.9.0"
 
 [dependencies]
-ecrecover = { tag = "v0.8.0", git = "https://github.com/colinnielsen/ecrecover-noir" }
+ecrecover = { tag = "v0.9.0", git = "https://github.com/colinnielsen/ecrecover-noir" }

circuits/src/main.nr

@@ -11,11 +11,38 @@ fn main(
   polynomial_commitment: Field,
   nullifier: pub [u8; 32],
 ) {
-  // Write your main logic here
+
+  let nullifier_hash = std::hash::blake2s(signature);
+  assert(nullifier_hash == nullifier);
+  std::println("checking nullifier passed");
+
+  let mut pub_key_x = [0; 32];
+  let mut pub_key_y = [0; 32];
+  for i in 0..32 {
+    pub_key_x[i] = pub_key[i];
+    pub_key_y[i] = pub_key[i + 32];
+  }
+  let signer = ecrecover::ecrecover(pub_key_x, pub_key_y, signature, hashed_message);
+  std::println("signer address recovered");
+
+  let polynomial_hash = std::hash::pedersen(polynomial);
+  assert(polynomial_hash[0] == polynomial_commitment);
+  std::println("checking polynomial commitment passed");
+
+  let value = evaluate_polynomial(polynomial, signer);
+  assert(value == 0);
+  std::println("evaluation of address passed");
 }
 
 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]

tsconfig.json

@@ -24,4 +24,4 @@
     "node_modules",
     "**/node_modules/**"
   ]
-}
+}