add bigger_sum test

2026-01-02 21:33:09 +00:00 · 2024-11-10 02:12:37 +01:00 · 2024-11-10 02:12:37 +01:00 · 5de99295e6
commit 5de99295e6
parent 721ffa79a0
1 changed files with 14 additions and 0 deletions
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@ -46,4 +46,18 @@ mod tests {
            message + message_2
        );
    }
+
+    #[test]
+    fn bigger_sum() {
+        let message = 123476;
+        let message_2 = 2342384;
+    
+        let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF);
+    
+        verify(receipt, SUMMATION_ID);
+        assert_eq!(
+            digest,
+            message + message_2
+        );
+    }
 }