Started Working on Spotify Verifier

Ifechukwudaniel · Dec 21, 2023 · 8d72fa3 · 8d72fa3
1 parent fb5e43d
commit 8d72fa3
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/packages/noir/circuits/SpotifyVerifier/Nargo.toml b/packages/noir/circuits/SpotifyVerifier/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "spotifyVerifier"
+type = "bin"
+authors = [""]
+compiler_version = "0.10.5"
+
+[dependencies]
diff --git a/packages/noir/circuits/SpotifyVerifier/src/main.nr b/packages/noir/circuits/SpotifyVerifier/src/main.nr
@@ -0,0 +1,11 @@
+fn main(x : Field, y : pub Field) {
+    assert(x != y);
+}
+
+#[test]
+fn test_main() {
+    main(1, 2);
+
+    // Uncomment to make test fail
+    // main(1, 1);
+}