diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index 4e7d9c6..673d45c 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -74,4 +74,18 @@ mod tests {
             message * message_2
         );
     }
+
+    #[test]
+    fn bigger_multiplication() {
+        let message = 3498;
+        let message_2 = 438563;
+    
+        let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF);
+    
+        verify(receipt, MULTIPLICATION_ID);
+        assert_eq!(
+            digest,
+            message * message_2
+        );
+    }
 }