diff --git a/noir/Nargo.toml b/noir/Nargo.toml
new file mode 100644
index 0000000..e1e45b8
--- /dev/null
+++ b/noir/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "noir_test"
+type = "bin"
+authors = [""]
+
+[dependencies]
\ No newline at end of file
diff --git a/noir/Prover.toml b/noir/Prover.toml
new file mode 100644
index 0000000..18680c8
--- /dev/null
+++ b/noir/Prover.toml
@@ -0,0 +1,2 @@
+x = "2"
+y = "3"
diff --git a/noir/proof/proof b/noir/proof/proof
new file mode 100644
index 0000000..c617d3c
Binary files /dev/null and b/noir/proof/proof differ
diff --git a/noir/src/main.nr b/noir/src/main.nr
new file mode 100644
index 0000000..388bed2
--- /dev/null
+++ b/noir/src/main.nr
@@ -0,0 +1,3 @@
+fn main(x: Field, y: Field) {
+    assert(x + y == 5);
+}
\ No newline at end of file
diff --git a/noir/target/noir_test.gz b/noir/target/noir_test.gz
new file mode 100644
index 0000000..836f628
Binary files /dev/null and b/noir/target/noir_test.gz differ
diff --git a/noir/target/noir_test.json b/noir/target/noir_test.json
new file mode 100644
index 0000000..6557a83
--- /dev/null
+++ b/noir/target/noir_test.json
@@ -0,0 +1 @@
+{"noir_version":"1.0.0-beta.7+24c053fba747770cf8d3f813d22cfa003714dfb6","hash":"3737669196968621015","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"return_type":null,"error_types":{}},"bytecode":"H4sIAAAAAAAA/62QQQqAMAwEW/FBSZO0yc2vWE3//wRRe5CCJx1Y9jawG8NN7BmZei+94Rv4pys+XASZ2UtyJFwhWVUBlpoVFUVlT0rkylqsWgFDJscmRt4uttM1D5vDyycjB0jBXyFEAQAA","debug_symbols":"lZDBCoMwDIbfJece3NAdfJUxpNYohZCW2A6G+O6LopsedtgpTf5+f8g/QYdtHhrPfRihvk/QiifyQ0PB2eQD63SaDextkwRRR3DQlYpWkBPUnIkMPC3l9dMYLa81WVG1MIDcaVXD3hMur9l86eI3Wl42trx94Op/urqc6Id21nk5XQsF1Nd5MRNvW8ItgT6zOwSSXnFX9siiBIddFlzsVk0XvAE=","file_map":{"50":{"source":"fn main(x: Field, y: Field) {\n    assert(x + y == 5);\n}","path":"/Users/amirhossein/temp/risc0-proof-verifier/noir_test/src/main.nr"}},"names":["main"],"brillig_names":[]}
\ No newline at end of file
diff --git a/noir/vk/vk b/noir/vk/vk
new file mode 100644
index 0000000..341c1a5
Binary files /dev/null and b/noir/vk/vk differ