add simple_multiplication test

2026-01-05 14:53:06 +00:00 · 2024-11-10 02:12:55 +01:00 · 2024-11-10 02:12:55 +01:00 · f454687d00
commit f454687d00
parent 5de99295e6
1 changed files with 14 additions and 0 deletions
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@ -60,4 +60,18 @@ mod tests {
            message + message_2
        );
    }
+
+    #[test]
+    fn simple_multiplication() {
+        let message = 1;
+        let message_2 = 2;
+    
+        let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF);
+    
+        verify(receipt, MULTIPLICATION_ID);
+        assert_eq!(
+            digest,
+            message * message_2
+        );
+    }
 }