fix prover on servers without solc

lispc · lispc · commit 2456ce127c9c · 2024-06-04T14:03:21.000+08:00
diff --git a/prover/src/common/prover/evm.rs b/prover/src/common/prover/evm.rs
@@ -67,7 +67,7 @@ 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))?;
 
-        if !read_env_var("SCROLL_PROVER_DUMP_YUL", false) {
+        if read_env_var("SCROLL_PROVER_DUMP_YUL", false) {
             crate::evm::gen_evm_verifier::<C>(params, pk.get_vk(), &evm_proof, output_dir);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -67,7 +67,7 @@ impl Prover {`
`67`	`67`	`let proof = gen_evm_proof_shplonk(params, pk, circuit, instances.clone(), rng);`
`68`	`68`	`let evm_proof = EvmProof::new(proof, &instances, num_instance, Some(pk))?;`
`69`	`69`
`70`		`- if !read_env_var("SCROLL_PROVER_DUMP_YUL", false) {`
	`70`	`+ if read_env_var("SCROLL_PROVER_DUMP_YUL", false) {`
`71`	`71`	`crate::evm::gen_evm_verifier::<C>(params, pk.get_vk(), &evm_proof, output_dir);`
`72`	`72`	`}`
`73`	`73`