diff --git a/src/circuit.rs b/src/circuit.rs
index d8ce462c..39978bae 100644
--- a/src/circuit.rs
+++ b/src/circuit.rs
@@ -1074,11 +1074,13 @@ mod tests {
 
         if std::env::var_os("ORCHARD_CIRCUIT_TEST_GENERATE_NEW_PROOF").is_some() {
             let create_proof = || -> std::io::Result<()> {
+                let mut rng = OsRng;
+
                 let (circuit, instance) = generate_circuit_instance(OsRng);
                 let instances = &[instance.clone()];
 
                 let pk = ProvingKey::build();
-                let proof = Proof::create(&pk, &[circuit], instances).unwrap();
+                let proof = Proof::create(&pk, &[circuit], instances, &mut rng).unwrap();
                 assert!(proof.verify(&vk, instances).is_ok());
 
                 let file = std::fs::File::create("circuit_proof_test_case.bin")?;
diff --git a/src/circuit_proof_test_case.bin b/src/circuit_proof_test_case.bin
index 79311047..7c3116a0 100644
Binary files a/src/circuit_proof_test_case.bin and b/src/circuit_proof_test_case.bin differ