diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index 595991c..b53bfa1 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -101,4 +101,12 @@ mod tests {
         assert_eq!(result, message + message_2);
     }
 
+    #[test]
+    fn execute_bigger_sum() {
+        let message: u64 = 123476;
+        let message_2: u64 = 2342384;
+
+        let result = execute(vec![message, message_2], SUMMATION_ELF);
+        assert_eq!(result, message + message_2);
+    }
 }