fix prover on servers without solc

scroll-tech · Jun 4, 2024 · 6c27375 · 6c27375
1 parent ef56646
commit 6c27375
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/prover/src/common/prover/evm.rs b/prover/src/common/prover/evm.rs
@@ -1,5 +1,5 @@
 use super::Prover;
-use crate::{config::layer_config_path, utils::gen_rng, EvmProof};
+use crate::{config::layer_config_path, utils::{gen_rng, read_env_var}, EvmProof};
 use aggregator::CompressionCircuit;
 use anyhow::{anyhow, Result};
 use halo2_proofs::halo2curves::bn256::Fr;
@@ -63,7 +63,9 @@ impl Prover {
         let proof = gen_evm_proof_shplonk(params, pk, circuit, instances.clone(), rng);
         let evm_proof = EvmProof::new(proof, &instances, num_instance, Some(pk))?;
 
-        crate::evm::gen_evm_verifier::<C>(params, pk.get_vk(), &evm_proof, output_dir);
+        if !read_env_var("SCROLL_PROVER_DUMP_YUL", false) {
+            crate::evm::gen_evm_verifier::<C>(params, pk.get_vk(), &evm_proof, output_dir);
+        }
 
         Ok(evm_proof)
     }