test: Test concurrent proof verification

TritonVM · Dec 16, 2024 · 0ee3161 · 0ee3161
1 parent b9f78ad
commit 0ee3161
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/triton-vm/src/lib.rs b/triton-vm/src/lib.rs
@@ -426,6 +426,18 @@ mod tests {
         assert!(verdict);
     }
 
+    #[test]
+    fn prove_then_verify_concurrently() {
+        let program = crate::example_programs::FIBONACCI_SEQUENCE.clone();
+        let input = PublicInput::from(bfe_array![100]);
+
+        let (stark, claim, proof) =
+            prove_program(program, input, NonDeterminism::default()).unwrap();
+
+        let verify = || assert!(stark.verify(&claim, &proof).is_ok());
+        rayon::join(verify, verify);
+    }
+
     #[test]
     fn lib_prove_with_incorrect_program_digest_gives_appropriate_error() {
         let program = triton_program!(push 1 assert halt);