diff --git a/nexus/README.md b/nexus/README.md
new file mode 100644
index 0000000..43ee33f
--- /dev/null
+++ b/nexus/README.md
@@ -0,0 +1,16 @@
+# Test run instructions
+
+Firstly there is requirements
+
+- [Nexus](https://github.com/nexus-xyz/nexus-zkvm?tab=readme-ov-file#quick-start)
+
+Next, we assume, that one is in `nexus` folder.
+
+To prove execution we need to build one of the tests, let`s use [simple_arithmetic_test](./tests/simple_arithmetic_test/) as an example.
+
+To generate a proof, run the following commands:
+
+```sh
+cd simple_arithmetic_test
+cargo nexus prove
+```
\ No newline at end of file
diff --git a/nexus/mem_alloc_vec_test/src/main.rs b/nexus/mem_alloc_vec_test/src/main.rs
index e5f94e6..ddec332 100644
--- a/nexus/mem_alloc_vec_test/src/main.rs
+++ b/nexus/mem_alloc_vec_test/src/main.rs
@@ -50,5 +50,4 @@ pub fn vec_alloc(n: u32) -> u32 {
 fn main() {
     let n = 7;
     let result = vec_alloc(n);
-    assert_eq!(result, 13);
 }
\ No newline at end of file
diff --git a/nexus/simple_arithmetic_test/src/main.rs b/nexus/simple_arithmetic_test/src/main.rs
index 83e9764..860ab4d 100644
--- a/nexus/simple_arithmetic_test/src/main.rs
+++ b/nexus/simple_arithmetic_test/src/main.rs
@@ -1,13 +1,5 @@
 #![cfg_attr(target_arch = "riscv32", no_std, no_main)]
 
-fn fib(n: u32) -> u32 {
-    match n {
-        0 => 0,
-        1 => 1,
-        _ => fib(n - 1) + fib(n - 2),
-    }
-}
-
 pub fn hept(n: u32) -> u32 {
 
     for i in 0..100 {
@@ -20,5 +12,4 @@ pub fn hept(n: u32) -> u32 {
 fn main() {
     let n = 7;
     let result = hept(n);
-    assert_eq!(result, 13);
 }
\ No newline at end of file