From 6ebc9a22a6ebdc7f0e5fb7835a719bb7b05482da Mon Sep 17 00:00:00 2001 From: eigmax Date: Sat, 30 Mar 2024 16:38:11 +0800 Subject: [PATCH] fix: remove existing path --- zkvm/src/lib.rs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs index 3f0d820b..eac86e13 100644 --- a/zkvm/src/lib.rs +++ b/zkvm/src/lib.rs @@ -43,6 +43,7 @@ fn generate_verifier( // TODO: don't write it to disk, we should discuss with powdr-labs to provide a function for //pipeline to return the vk directly. let mut tf = tempfile::tempfile().unwrap(); + pipeline = pipeline.with_backend(BackendType::EStark); pipeline.export_verification_key(&mut tf).unwrap(); let mut setup: StarkSetup = serde_json::from_reader(tf).unwrap(); @@ -233,9 +234,12 @@ pub fn zkvm_evm_prove_only( ) .unwrap(); - let verifer_file = Path::new(output_path).join(format!("{}_chunk_{}.circom", task, i)); - let f = fs::File::open(verifer_file)?; - log::debug!("Running circom verifier generation..."); + let verifier_file = Path::new(output_path).join(format!("{}_chunk_{}.circom", task, i)); + log::debug!( + "Running circom verifier generation to {:?}...", + verifier_file + ); + let f = fs::File::create_new(verifier_file)?; generate_verifier(pipeline, f).unwrap(); let duration = start.elapsed();