Do not use randomness on ProverProof::create_recursive

openmina · Sep 26, 2023 · f0b6f1f · f0b6f1f
1 parent debf150
commit f0b6f1f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kimchi/src/prover.rs b/kimchi/src/prover.rs
@@ -171,7 +171,9 @@ where
         let (_, endo_r) = G::endos();
 
         // TODO: rng should be passed as arg
-        let rng = &mut rand::rngs::OsRng;
+        // let rng = &mut rand::rngs::OsRng;
+        let mut rng: rand::rngs::StdRng = rand::SeedableRng::seed_from_u64(0);
+        let rng = &mut rng;
 
         // Verify the circuit satisfiability by the computed witness (baring plookup constraints)
         // Catch mistakes before proof generation.