unit test

succinctlabs · Nov 26, 2024 · e07f8f3 · e07f8f3
1 parent 3544004
commit e07f8f3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/crates/prover/src/lib.rs b/crates/prover/src/lib.rs
@@ -1534,4 +1534,14 @@ pub mod tests {
         setup_logger();
         test_e2e_with_deferred_proofs_prover::<DefaultProverComponents>(SP1ProverOpts::default())
     }
+
+    #[test]
+    fn test_deterministic_setup() {
+        setup_logger();
+        let prover = SP1Prover::<DefaultProverComponents>::new();
+        let program = test_artifacts::FIBONACCI_ELF;
+        let (pk, vk) = prover.setup(&program);
+        let pk2 = prover.setup(&program).0;
+        assert_eq!(pk.pk.commit, pk2.pk.commit);
+    }
 }